泛型类，结构约束，生成编译时错误“使用未分配的局部变量”

Question

我有下一个代码：

class GenericStruct<T> where T : struct
{
    public void M()
    {
        T temp1;
        T temp2;
        string s = temp1.ToString();
        Type t = temp1.GetType();
        bool b = temp1.Equals(temp2);
    }
}

调用方法时出现两个错误“使用未分配的局部变量”：ToString 和 Equals，但 GetType 没问题。 “打扰”我是事实，是

where T : struct

但是，如果我写了：

struct NotGenericStruct
{
    public void M()
    {
        NotGenericStruct temp1;
        NotGenericStruct temp2;
        string s = temp1.ToString();
        Type t = temp1.GetType();
        bool b = temp1.Equals(temp2);
    }
}

没问题，编译时没有错误。 我明白了，struct 数据类型有默认构造函数并且所有成员都被初始化，所以不需要写显式的 new。

两种代码之间到底有什么区别？请解释一下我的不理解

谢谢

Answer 1

在声明中

class GenericStruct<T> where T : struct

struct 表示T 是按值类型。

类型参数必须是值类型。可以指定除Nullable 之外的任何值类型。

所以T 可以是例如int。在这种情况下，声明

T temp1;

使temp1 未初始化。

Answer 2

这两段代码行为不同的原因在于，在一般情况下，我们只知道 T 是一个结构体。除此之外，我们不能再做任何假设。我们不知道结构是否有方法、字段、属性、构造函数或其他任何东西。

在第二种情况下，我们知道该结构的类型为NotGenericStruct，并且我们知道有关该结构的所有信息。特别是我们可以看到它所拥有的只是一个方法。这意味着我们知道这个对象实际上没有需要初始化的状态。

我无法引用语言规范中允许这样做的确切部分，但很明显编译器允许一个统一化的结构，因为它知道它与您执行 new NotGenericStruct 时完全一样。

很容易看出行为上的差异，因为如果您将 int 字段（或任何其他类型）添加到 NotGenericStruct，那么它将立即开始抱怨使用未初始化的局部变量（现在参考 NotGenericStruct有字段）。

虽然这是一种非常特殊的情况，但通常只适用于没有字段的结构。任何类或任何具有字段 needs 的结构都需要初始化，因此通常最好和最简单的方法是假设 all 局部变量需要初始化。它肯定会产生更易读的代码。

Answer 3

试试：

class GenericStruct<T> where T : struct
{
    public void M()
    {
        T temp1 = default(T);
        T temp2 = default(T);
        string s = temp1.ToString();
        Type t = temp1.GetType();
        bool b = temp1.Equals(temp2);
    }
}