平台类型

平台类型不能在程序中显式表述，因此在语言中没有相应语法。 然而，编译器和 IDE 有时需要（在错误信息中、参数信息中等）显示他们，所以我们用一个助记符来表示他们：

• T! : 表示 T 或者 T?
• (Mutable) Collection<T>! : 表示 “可以可变或不可变、可空或不可空的 T 的 Java 集合”
• Array<(out) T>! : 表示“可空或者不可空的 T（或 T 的子类型）的 Java 数组”