类型可以同时是引用类型和值类型吗？

Question

如果没有,并且引用类型和值类型的集合是互斥的,为什么不编译:

public static void Do<T>(T obj) where T : struct { }
public static void Do<T>(T obj) where T : class { }

编译器声明:"Type已经定义了一个名为'Do'的成员,它具有相同的参数类型."但是T和T在这里不一样.一个是约束结构,另一个是类的约束.对函数的调用应该始终是可解析的.有反例吗？

Answer 1

通用约束不被视为重载匹配的一部分。它与返回类型相同。

例如，这将导致相同的错误（重载仅在返回类型上有所不同）：

public static int Do<T>(T obj) { }
public static bool Do<T>(T obj) { }

在这两种情况下，匹配重载的规则仅考虑参数类型，忽略约束和返回类型等附加信息。