相关疑难解决方法(0)

我想区分以下情况:

1. 普通值类型(例如int)
2. 可以为null的值类型(例如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

但是,如果我尝试像这样检测case(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, …

我有一个带有一些泛型方法的接口,我想实现一个带有重载的方法来接受一个类的实例,或者它的PK值(它是一个int或GUID但确实有所不同).

我添加了类似这些示例的方法:

    void DoSomething<TKey>(TKey key) where TKey: struct;
    void DoSomething<TModel>(TModel model) where TModel : class;

其中第二个上的"DoSomething"方法名称突出显示,错误是

类型'ISomeStuff'已经定义了一个名为'DoSomething'的成员,它具有相同的参数类型.

我对此感到惊讶,因为我已经通过参数明确定义了不同类型:一个是类,另一个是结构.

为什么这不足以使签名不同？