为什么我不能将"as"与被限制为接口的泛型类型参数一起使用？

Question

在下面的示例中(仅用于演示目的(，如果T不受类的约束，则此转换：

var ret = objectA as T;

..将导致以下编译错误：

类型参数"T"不能与"as"运算符一起使用，因为 它没有类类型约束，也没有"类"约束。

我不明白为什么我不能这样做。由于我已将T约束为接口IObject，编译器应该知道T必须是接口类型，并且as操作应该是有效的。

public interface IObject
{
    string Id { get; set; }
}
public class ObjectA : IObject
{
    public string Id { get; set; }
}
public class ObjectFactory
{
    public T CreateObject<T>(string id) where T : IObject
    {
        ObjectA objectA = new ObjectA();
        var x = objectA as IObject; // this is good
        var ret = objectA as T; // why this 'as' cannot compile?
        return ret;
    }
    public T CreateClassObject<T>(string id) where T : class, IObject
    {
        ObjectA objectA = new ObjectA();
        var ret = objectA as T; // if T is class, this 'as' can compile
        return ret;
    }
}

Answer 1

由于我已将 T 约束为接口 IObject，因此编译器应该知道 T 必须是接口类型，并且"as"操作应该是有效的。

不，T不一定是接口类型。它必须是实现接口的类型。考虑：

public struct Foo : IObject
{
    public string Id { get; set; }
}

现在你期望CreateObject<Foo>("ff")做什么？

在CreateObject上class约束的情况下，该调用将无效，因为Foo不是引用类型 - 编译器知道T是引用类型，所以objectA as T是可以的。