编译器如何将 Nullable<T> 识别为“特殊类型”？

Question

Nullable<T> 是一个具有以下定义的结构：

public struct Nullable<T> where T : struct

其中struct 是一个类型约束，因此 T 被约束（根据规范 §4.4.4）：

• 结构类型或枚举类型
• 不是可以为空的类型。

在源代码中查找Nullable<T> 没有特殊属性（除了[Serializable]），那么编译器如何将其识别为“可空类型”？

针对以下cmets：

int 是Int32 的别名：

(§4.1.4) 简单类型通过保留字标识，但这些 保留字只是 aliases 中预定义的结构类型 系统命名空间

T? 是Nullable<T> 的简写：

(§4.1.10) - 可空类型写为 T?，其中 T 是底层 类型。此语法是 System.Nullable 的简写，两者 表格可以互换使用。

这似乎是一个明显的区别，下面没有反映出来。

那么编译器如何将一个简单的结构（没有特殊代码）识别为“可空类型”，结构名称？

Answer 1

基于Shared Source CLI 2.0，Nullable<T> 通过PREDEFTYPEDEF 宏变得“特殊”，该宏采用名称“System.Nullable”并将其映射到属性PT_G_OPTIONAL，该属性在其余部分进行检查编译器。

关于int→System.Int32等的别名，见“好名字”一栏。

来自sscli20\csharp\inc\predeftype.h：

//         id            full type name       required  simple     numer    AggKind  fund type   elementtype,      nice name,    zero, quasi simple numer, attribute arg size serialization type,  predef attribute, arity, in mscorlib)
PREDEFTYPEDEF(PT_BYTE,   "System.Byte",         1,            1,      1,     Struct,   FT_U1,   ELEMENT_TYPE_U1,      L"byte",      0,                 0,      1,      SERIALIZATION_TYPE_U1,      PA_COUNT, 0, 1)
PREDEFTYPEDEF(PT_SHORT,  "System.Int16",        1,            1,      1,     Struct,   FT_I2,   ELEMENT_TYPE_I2,      L"short",     0,                 0,      2,      SERIALIZATION_TYPE_I2,      PA_COUNT, 0, 1)
PREDEFTYPEDEF(PT_INT,    "System.Int32",        1,            1,      1,     Struct,   FT_I4,   ELEMENT_TYPE_I4,      L"int",       0,                 0,      4,      SERIALIZATION_TYPE_I4,      PA_COUNT, 0, 1)
PREDEFTYPEDEF(PT_LONG,   "System.Int64",        1,            1,      1,     Struct,   FT_I8,   ELEMENT_TYPE_I8,      L"long",      &longZero,         0,      8,      SERIALIZATION_TYPE_I8,      PA_COUNT, 0, 1)
// ... snip ...
// Nullable<T>
PREDEFTYPEDEF(PT_G_OPTIONAL, "System.Nullable",  0,     0,     0,   Struct,   FT_STRUCT,  ELEMENT_TYPE_END,      NULL,          0,                 0,      0,      0,                          PA_COUNT, 1, 1)

然后它在其他地方像这样使用：

来自sscli20\csharp\sccomp\nullable.cpp：

/***************************************************************************************************
    Return true iff the method is the nullable ctor taking one parameter.
***************************************************************************************************/
bool FUNCBREC::IsNubCtor(METHSYM * meth)
{
    return meth && meth->getClass()->isPredefAgg(PT_G_OPTIONAL) && meth->params->size == 1 &&
        meth->params->Item(0)->isTYVARSYM() && meth->isCtor();
}

对于阅读此问题的读者，您可能是Shared Source CLI 2.0 Internals 的目标受众，该书以免费电子书形式发布。