ISO/IEC TR 25438:2006
Information technology — Common Language Infrastructure (CLI) — Technical Report: Common Generics
发布时间:2006-07-28 实施时间:


通用泛型是一种编程技术,它允许开发人员编写可重用的代码,而不必考虑数据类型的具体实现。通用泛型可以在编译时进行类型检查,从而提高代码的安全性和可靠性。通用泛型还可以提高代码的可读性和可维护性,因为它可以使代码更加抽象和通用化。

通用泛型在CLI中的实现是通过参数化类型来实现的。参数化类型是一种特殊的类型,它可以接受一个或多个类型参数。这些类型参数可以在编译时指定,从而使得参数化类型可以适应不同的数据类型。例如,List是一个参数化类型,它可以接受一个类型参数T,表示列表中的元素类型。当我们创建一个List对象时,T将被替换为int,从而创建一个整数列表。

通用泛型还支持泛型方法和泛型委托。泛型方法是一种可以接受一个或多个类型参数的方法,它可以在编译时进行类型检查。泛型委托是一种可以接受一个或多个类型参数的委托,它可以在运行时动态地创建一个委托实例。

通用泛型在CLI中的实现是基于共享类型系统(STS)的。STS是CLI中的一个重要特性,它定义了一组公共的类型和规则,使得不同的编程语言可以在同一个运行时环境中运行。通用泛型可以利用STS中的类型信息,从而实现跨语言的泛型支持。

总之,通用泛型是CLI中的一个重要特性,它可以提高代码的可重用性、可读性和可维护性。通用泛型的实现是基于参数化类型、泛型方法、泛型委托和共享类型系统的。

相关标准
- ISO/IEC 23271:2006 Information technology — Common Language Infrastructure (CLI)
- ISO/IEC 23270:2006 Information technology — Common Language Infrastructure (CLI) — Partitions
- ISO/IEC 23272:2006 Information technology — Common Language Infrastructure (CLI) — Technical Report on Information Derived from Partition IV XML File
- ISO/IEC 23273:2006 Information technology — Common Language Infrastructure (CLI) — Common Language Specification
- ISO/IEC 23274:2006 Information technology — Common Language Infrastructure (CLI) — C++ Language Specification