为什么 C# 不允许泛型属性？

Question

我想知道为什么我不能像拥有泛型方法那样在非泛型类中拥有泛型属性。即：

public interface TestClass
{
   IEnumerable<T> GetAllBy<T>(); //this works

   IEnumerable<T> All<T> { get; } //this does not work
}

我读过@Jon Skeet 的answer，但这只是一个声明，很可能在规范中的某个地方。

我的问题是为什么实际上是这样的？这个限制是否避免了一些问题？

Answer 1

从技术上讲，CLR 只支持泛型类型和方法，而不支持属性，所以问题是为什么它没有被添加到 CLR。对此的答案可能很简单，“它被认为没有带来足够的收益来值得付出代价”。

但更根本的是，它被认为没有带来任何好处，因为将属性通过类型参数化在语义上没有意义。 Car 类可能具有 Weight 属性，但拥有 Weight<Fruit> 和 Weight<Giraffe> 属性是没有意义的。

Answer 2

Julian Bucknall 的这篇 Generic Properties 博客文章是一个很好的解释。本质上这是一个堆分配问题。

Answer 3

我的猜测是它有一些令人讨厌的极端情况，使语法模棱两可。副手，这似乎很棘手：

foo.Bar<Baz>=3;

应该被解析为：

foo.Bar<Baz> = 3;

或者：

foo.Bar < Baz >= 3;

Answer 4

我认为不使用自动 getter/setter 说明了为什么没有在类级别定义“T”是不可能的。

尝试编码，自然会是这样：

IEnumerable<T> _all;
IEnumerable<T> All
{
    get { return _all; }
}

因为您的字段使用“T”，所以“T”需要在类上，CLR 知道“T”是什么。

当您使用方法时，您可以延迟“T”的定义，直到您实际调用该方法。但是对于字段/属性，“T”需要在一个地方声明，在类级别。

在类上声明 T 后，创建属性就变得非常容易。

public class TestClass<T>
{
    IEnumerable<T> All { get; }
}

用法：

var myTestClass = new TestClass<string>();
var stuff = myTestClass.All;

就像方法上的“T”类型参数一样，您可以等到实际实例化您的 TestClass 来定义“T”将是什么。

Answer 5

我做了类似的东西。 它在运行时键入检查。

public class DataPackage
{
    private dynamic _list;

    public List<T> GetList<T>()
    {
        return (List<T>)_list;
    }

    public void SetList<T>(List<T> list)
    {
        _list = list;
    }

    public string Name { get; set; }
}