平台类型符号

如上所述，平台类型不能显示的在程序中提及，因此就没有相应的语法。然而，编译器和IDE有时需要展示它们(在错误消息，参数信息等)，因此我们有一个助记符号来帮忙记忆它们：

• T!意味着T或T?
• 可修改的Collection<T>!意味着Java的T类型集合可以不变或可变的，可为空或不为空
• Array<(out) T>!意味着Java的T类型(或者子类型T)数组可以为空或不为空