Why doesn’t C# infer my generic types?

by

A bunch of people have pointed out that C# does not make inferences based on constraints. That is correct, and relevant to the question. Inferences are made by examining arguments and their corresponding formal parameter types and that is the only source of inference information.

A bunch of people have then linked to this article:

https://docs.microsoft.com/en-us/archive/blogs/ericlippert/c-3-0-return-type-inference-does-not-work-on-method-groups

That article is both out-of-date and irrelevant to the question. It is out-of-date because it describes a design decision we made in C# 3.0 which we then reversed in C# 4.0, mostly based on the response to that article. I’ve just added an update to that effect to the article.

It is irrelevant because the article is about return type inference from method group arguments to generic delegate formal parameters. That is not the situation the original poster asks about.

The relevant article of mine to read is rather this one:

https://docs.microsoft.com/en-us/archive/blogs/ericlippert/constraints-are-not-part-of-the-signature

UPDATE: I have heard news that C# 7.3 has slightly changed the rules for when constraints are applied, making the above ten-year-old article no longer accurate. When I have time I’ll review the changes my former colleagues have made and see if it is worthwhile to post a correction on my new blog; until then, use caution and see what C# 7.3 does in practice.

More Related Contents:

  1. Why covariance and contravariance do not support value type
  2. What is the ‘dynamic’ type in C# 4.0 used for?
  3. Why isn’t there generic variance for classes in C# 4.0?
  4. What are the true benefits of ExpandoObject?
  5. Generic methods in .NET cannot have their return types inferred. Why?
  6. Parse Math Expression [duplicate]
  7. Why must I provide explicitly generic parameter types While the compiler should infer the type?
  8. C# Create New T()
  9. Does Parallel.ForEach limit the number of active threads?
  10. C# 4.0, optional parameters and params do not work together
  11. Why are C# 4 optional parameters defined on interface not enforced on implementing class?
  12. creating WCF ChannelFactory
  13. method overloading vs optional parameter in C# 4.0 [duplicate]
  14. Why is AddRange faster than using a foreach loop?
  15. How to check if a user belongs to an AD group?
  16. Does the System.Windows.Forms.Timer run on a different thread than the UI?
  17. C# operator overload for `+=`?
  18. Dynamically implementing an interface in .NET 4.0 (C#)
  19. DataGridView column footer c#.net winforms
  20. How to get current working directory path c#?
  21. How to get content type of a web address?
  22. C#: Default implementation for == and != operators for objects
  23. Button inside a WinForms textbox
  24. Directly sending keystrokes to another process via hooking
  25. Is there an IEnumerable implementation that only iterates over it’s source (e.g. LINQ) once?
  26. C# int, Int32 and enums
  27. TLS 1.2 not negotiated in .NET 4.7 without explicit ServicePointManager.SecurityProtocol call
  28. Get values between curly braces c#
  29. The ObjectContext instance has been disposed and can no longer be used for operations that require a connection [duplicate]
  30. When should one use Environment.Exit to terminate a console application?

Leave a Comment