C 35;“=”运算符:具有不同结构的编译器行为

说明代码:

    public struct MyStruct
    {
        public int SomeNumber;
    }

    public string DoSomethingWithMyStruct(MyStruct s)
    {
        if (s == null)
            return "this can't happen";
        else
            return "ok";
    }

    private string DoSomethingWithDateTime(DateTime s)
    {
        if (s == null)
            return "this can't happen";  // XX
        else
            return "ok";
    }

现在,“doSomethingWithStruct”编译失败:“operator”='不能应用于'mystruct'和' <null> “。这是有意义的,因为尝试将引用与值类型struct进行比较是没有意义的。

otoh,“doSomethingWithDateTime”编译,但编译器警告:“检测到无法访问的代码”,位于标记为“xx”的行。现在,我假设这里没有编译器错误,因为datetime结构重载了“==”运算符。但是编译器如何知道代码是不可访问的呢?例如,它是否在重载“==”运算符的代码中查找?(这是使用visual studio 2005,以防发生变化)。

注:我对以上的一切都很好奇。我通常不尝试使用“==”来比较结构和空值。

编辑:我会尽量简化我的问题-为什么“dosomethingwithdatetime”要编译,而“dosomethingwithmystruct”不编译。两个参数都是结构。