C# 8 新提案让泛型 Attribute 成为现实
2019-01-30 07:00
351 查看
从一开始, Attribute 就是.NET 的一部分。因此,它们在引入泛型之前就已经被创建好,这意味着如果要引用属性中的类型,必须暴露一个 Type 参数或属性。例如:
[p][TypeConverter(typeof(X))]这种模式存在一些限制。在上面的示例中,X 必须有一个无参数的构造函数,并继承 TypeConverter。编译器不会强制这些,所以开发人员只能在运行时发现错误。相反,如果我们使用泛型类型参数,那么就可以在编译器强制执行这些规则,而且语法会稍微清晰一些。
[TypeConverter<X>]理论上,“Allow Generic Attributes”提案是一个非常简单的变更。CLR 已经支持这个概念,问题是如何在.NET 语言中使用它。但有时候理论和现实是两条平行线,而且即使 CLR 可以支持,并不代表就一定会支持。Jan Kotas 解释说:[/p]
我认为这个问题的本质与局部引用和 return 类似。局部引用和 return 不受任何 API 的限制,理论上它们在现有的运行时、工具和库上都能正常运行。但在实际当中,它们可能不能正常运行,因为它们暴露了预先存在的错误和限制,可能是因为它们的处理路径从未被执行过,或者它们明显不在预期之内。与引用 return 相关的错误和问题刚刚开始出现,因为人们开始使用这项功能,并发现了一些不奏效的地方。我认为这在预期之内。我们应该承认这些事实,并且不会采取之前我们撤回默认值类型构造函数功能那样的行动。
这个功能非常类似。ECMA 并没有针对禁止使用泛型 Attribute 的内容,在理论上应该可以正常运行,但实际上却没有。如果要正常运行,必须更新整个系统中的很多部件:
存在多个运行时(Mono、CoreRT、整个框架);
IL 的一些工具也可能会受到影响(编译器、基于 Cecil 或基于 CCI2 的工具);
可能需要用于访问泛型 Attribute 的 API(例如,现有的反射 API 不允许你访问泛型 Attribute——你必须进行枚举)。
该提案的一个限制是在编译时必须“关闭”Attribute 功能。下面是提案中提供的一个启用泛型 Attribute 的例子。
[p][SomeAttribute<T>]
public void DoSomething<T>(T input) { }因为 T 不是在编译时定义的,因此反射机制就不知道这个表达式会返回什么。
typeof(GenericClass<>).GetMethod("DoSomething").GetCustomAttributes()
状态目前,泛型 Attribute 功能列在C# 8 路线图中,状态为“进行中”。查看英文原文:https://www.infoq.com/news/2019/01/Generic-Attributes[/p]
相关文章推荐
- C# - 泛型
- 使用c# 2.0泛型实现单例模式重用_c#应用
- C# 泛型List的定义、作用、用法
- [转]Anders Hejlsberg谈C#、Java和C++中的泛型
- C#学习笔记-泛型
- c# 泛型和委托
- 如何成为人尽皆知的C#开发人员
- C#之数组、集合与泛型
- C# 特性(Attribute)
- C#中Attribute的应用
- C# 泛型的协变和逆变
- 泛型方法(C# 编程指南)
- c#利用链表模拟实现泛型集合List﹤T﹥
- C#笔记25:比较和排序(IComparable和IComparer以及它们的泛型实现)
- 编写高质量代码改善C#程序的157个建议[为泛型指定初始值、使用委托声明、使用Lambda替代方法和匿名方法]
- c# 泛型
- C# 2.0 Specification (泛型三)
- 将工作流JBPM4.3的XML使用VSTO(C#)加载成为Visio
- C# 泛型
- C# 找出泛型集合中的满足一定条件的元素 List<T>.Wher()