c# - 通用约束，其中 T : struct and where T : class

Question

我想区分以下情况:

1. 普通值类型(例如 int)
2. 可空值类型(例如 int?)
3. 引用类型(例如 string)- 可选，我不关心它是否映射到上面的 (1) 或 (2)

我想出了以下代码，它适用于情况 (1) 和 (2):

static void Foo<T>(T a) where T : struct { } // 1

static void Foo<T>(T? a) where T : struct { } // 2

但是，如果我尝试像这样检测案例 (3)，它不会编译:

static void Foo<T>(T a) where T : class { } // 3

错误消息是类型“X”已经用相同的参数类型定义了一个名为“Foo”的成员。好吧，不知何故，我无法区分 where T : struct 和 where T : class。

如果我删除第三个函数 (3)，则以下代码也不会编译:

int x = 1;
int? y = 2;
string z = "a";

Foo (x); // OK, calls (1)
Foo (y); // OK, calls (2)
Foo (z); // error: the type 'string' must be a non-nullable value type ...

如何让 Foo(z) 进行编译，将其映射到上述函数之一(或具有另一个约束的第三个函数，我没有想到)？

Answer 1

约束不是签名的一部分，但参数是。并且在重载决策期间强制执行参数中的约束。

所以让我们将约束放在参数中。这很丑陋，但它确实有效。

class RequireStruct<T> where T : struct { }
class RequireClass<T> where T : class { }

static void Foo<T>(T a, RequireStruct<T> ignore = null) where T : struct { } // 1
static void Foo<T>(T? a) where T : struct { } // 2
static void Foo<T>(T a, RequireClass<T> ignore = null) where T : class { } // 3

(迟到六年总比没有好？)