Question

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

var ret = objectA as T;

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

类型参数＆＃39; T＆＃39;不能用于＆＃39; as＆＃39;算术因为它没有类类型约束，也没有“类”＃39;约束

我无法理解为什么我不能这样做。由于我已将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没问题。

为什么我不能使用＆＃39;作为＆＃39;使用被限制为接口的泛型类型参数？

1 个答案: