为什么我不能将 int 转换为 T，但可以将 int 转换为 object，然后再将 object 转换为 T？

Question

此代码无法编译：

public T Get<T>()
{
    T result = default(T);
    if(typeof(T) == typeof(int))
    {    
        int i = 0;
        result = (T)i;
    }

    return result;
}

但是，这段代码可以编译：

public T Get<T>()
{
    T result = default(T);
    if(typeof(T) == typeof(int))
    {    
        int i = 0;
        result = (T)(object)i;
    }

    return result;
}

代码也可以正常工作。我不明白为什么编译器可以将对象（实际类型可以是任何类型）转换为 T，但不能将 int（从对象继承）转换为 T。

Answer 1

正如SLaks 所说，编译器知道T 可以转换为对象，但这只是其中的一半。编译器还知道T 类型的任何对象都派生自object，因此它需要允许从object 向下转换为T。 Collections pre v2.0 需要这个。当然不是T，而是能够从对象向下转换为任何类型。除了对象之外，不可能从集合中获取任何东西。

T 和 int 的情况并非如此。由于 if 语句，您的代码在运行时当然不会出现这些问题，但编译器看不到这一点。一般来说（虽然不是在这种情况下）证明在某些外部条件为真的情况下你永远不会到达 if 的主体是 NP-complete 并且因为我们希望编译器在某个时候完成，所以它不会尝试基本解决millennium prize problem

在许多情况下，非泛型代码中不允许用特定类型替换 T。

如果您不能将代码编写为非泛型代码，以用特定类型替换 T，那么它是无效的，不仅在这种情况下，而且在一般情况下。如果您知道该方法的所有用例实际上都是有效的，则可以将constraints 用于您的泛型方法。

Answer 2

编译器不知道T 是int。 （即使您刚刚在您的if 中证明了它是int）

相比之下，编译器确实知道T 始终可以转换为object。

例如，如果T 是string，它仍然可以转换为object，但不能转换为int。