将泛型与可能是值或引用类型的 null 进行比较？

Question

public void DoFoo<T>(T foo) where T : ISomeInterface<T>
{
    //possible compare of value type with 'null'.
    if (foo == null) throw new ArgumentNullException("foo");
}

我故意只检查 null，因为我不想限制 ValueType 等于其 default(T)。我的代码以这种方式编译并运行得很好（ReSharper 抱怨，但 CodeAnalysis 不抱怨）。尽管我确实想知道：

• 是否有更标准的方法来处理这种情况？
• 这是否有可能引发问题？
• 当我进行调用并传入值类型时，幕后到底发生了什么？

Answer 1

不，不会有任何问题，但如果您希望警告消失，您可以使用以下命令：

public void DoFoo<T>(T foo) where T : ISomeInterface<T>
{
    if (ReferenceEquals(foo, null)) throw new ArgumentNullException("foo");
}

或者您可以执行以下操作：

// when calling this with an actual T parameter, you have to either specify the type
// explicitly or cast the parameter to T?.
public void DoFoo<T>(T? foo) where T : struct, ISomeInterface<T>
{
    if (foo == null)
    {
        // throw...
    }

    DoFooInternal(foo.Value);
}

public void DoFoo<T>(T foo) where T : class, ISomeInterface<T>
{
    if (foo == null)
    {
        // throw...
    }

    DoFooInternal(foo); 
}

private void DoFooInternal<T>(T foo) where T : ISomeInterface<T>
{
    // actual implementation
}

Answer 2

我故意只检查 null 因为我不想限制 ValueType 等于其 default(T)

这是一个很好的见解，但不要'不用担心，您已经被覆盖了。首先使用 == 将 T 与 default(T) 进行比较是不合法的；重载解析不会找到唯一的最佳 == 运算符。

当然，您可以与 .Equals 进行比较，但是如果接收器为空，您就会面临崩溃的风险，这正是您试图避免的。

有没有更标准的方法来处理这种情况？

不。与 null 进行比较是正确的做法。

正如 C# 规范在第 7.10.6 节中所述：“即使 T 可以表示值类型，x == null 构造也是允许的，并且当 T 时结果简单地定义为 false是一个值类型。”

这是否有可能引发问题？

当然。仅仅因为代码可以编译并不意味着它具有您想要的语义。写一些测试。

当我进行调用并传入值类型时，幕后到底发生了什么？

这个问题是模棱两可的。让我把它改写成两个问题：

当我使用不可为空值类型的类型参数调用泛型方法时，幕后到底发生了什么？

抖动会在第一次调用时使用该构造来编译该方法。当抖动检测到 null 检查时，它会将其替换为“false”，因为它知道任何不可为 null 的值类型都不会等于 null。

当我使用引用类型的类型参数但结构类型的参数调用泛型方法时，到底发生了什么？例如：

interface IFoo : ISomeInterface<IFoo> {}
struct SFoo : IFoo { whatever }
...
DoFooInternal<IFoo>(new SFoo());

在这种情况下，抖动无法消除空检查，并且调用站点无法避免装箱。 SFoo 实例将被装箱，并且将检查对装箱的 SFoo 的引用是否为 null。