例如，表示非空容器的任何类在构造函数中必然使用表示其元素的参数。
For instance, any class representing a non-empty container would naturally take arguments representing its elements in the constructor.
其他的特性还包括类不变量、非空引用类型和加强的静态分析功能。
Other features include class invariants, non-nullable reference types, and enhanced static analysis capabilities.
应用推荐