我能否通过泛型约束来区分仅在泛型类型约束上有所不同的重载方法？
以下代码无法编译：
void Foo<T>(T bar) where T : class
{
}
void Foo<T>(T bar) where T : struct
{
}
由于这些是“开放”的方法，当在代码中使用具体类型T引用时，实际方法应该被关闭/构造/完全定义，然后就可以清楚地调用哪个重载。
显而易见的解决方案是不要重载它们，但我想知道为什么这在C#中行不通？
附加问题：如果这只是C#编译器的限制，那么IL是否允许这样的重载？
我是否可以通过泛型类型约束来实现仅在泛型类型上有所不同的重载方法？
不行。就像返回类型一样，在重载方面它不是方法签名的一部分。
在某些情况下，有可怕的“伪重载”方式，但我不建议走这条路。
欲了解更多信息，请阅读：
T?。与例如 Drawing.Rectangle? 不同，它需要 20 字节，该接口仅需要四个字节。至于它为什么“可怕”，它将恶劣性限制在小型辅助方法中，在大多数情况下，性能损失不应太严重。 - supercatbool TryConvert<T>(o as Object, out T result)），让编译器自动选择仅结构体、仅类或通用方法似乎比要求调用代码使用不同名称更清晰（特别是因为如果在可以推断出更快的方法的情况下使用了较慢的通用方法，则不会有诊断）。 - supercat这是不可能的。
泛型约束不被视为方法签名的一部分，不能用于重载。
如果您想允许值类型和引用类型，为什么还要进行约束呢？
if (typeof(T)... 的繁琐步骤（顺便说一下，这应该在静态解析时得到解决并优化掉）。此外，它不仅仅是类/结构体组合，还包括 where T:Foo/where T:Bar。 - Boris B.bool TryCasting<T>(object it, out T result);。如果 T 是类类型，则该方法可以尝试 it as T；如果是值类型，则为 it as T?。如果无法推断出 T 的类型，则可能需要使用反射来选择方法，但如果可以在编译时推断出，这样做将提高性能。 - supercat更新。在 C# 7.3 中，泛型约束现在是重载决策的一部分。
因此，这段代码将被编译：
class Animal { }
class Mammal : Animal { }
class Giraffe : Mammal { }
class Reptile : Animal { }
static void Foo<T>(T t) where T : Reptile { }
static void Foo(Animal animal) { }
static void Main()
{
Foo(new Giraffe());
}
struct _Val_Trait<T> where T:struct { }
struct _Ref_Trait<T> where T:class { }
static void Foo<T>(T bar, _Ref_Trait<T> _ = default(_Ref_Trait<T>)) where T:class
{
Console.WriteLine("ref");
}
static void Foo<T>(T bar, _Val_Trait<T> _ = default(_Val_Trait<T>)) where T:struct
{
Console.WriteLine("val");
}
static void Main()
{
Foo(1); // -->"val"
Foo(DateTime.Now); // -->"val"
Foo(""); // -->"ref"
//but:
//Foo(null); - error: type cannot be inferred
}