为什么我不能将'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")做什么？

由于class上的CreateObject约束，该调用无效，因为Foo不是引用类型 - 编译器知道T是引用类型，所以objectA as T没问题。