Kotlin中Type（类型）与Class（类）的区别是什么？是否与Java一致？

一、Kotlin里的核心差异 #

• 类型是更宽泛的范畴：类型涵盖所有能用来约束变量、参数、返回值的定义，除了类之外，还包括接口、泛型类型、函数类型、可空/非空变体、密封类的子类集合、匿名对象类型等。
• 类是类型的一个子集：类是用来定义对象结构与行为的具体蓝图，编译后会生成对应的字节码类文件，是类型系统中最具象的一种。

举几个直观的例子：

// 定义一个类
class User(val name: String)

// 变量类型为User（类，属于类型的一种）
val user: User = User("Alice")

// 变量类型为函数类型（不属于类）
val numberFormatter: (Int) -> String = { it.toString() }

// 变量类型为泛型类型（不是类本身）
val stringList: List<String> = listOf("a", "b")

// String 和 String? 是不同类型，但对应同一个类
val nonNullStr: String = "hello"
val nullableStr: String? = null

特别要注意：Kotlin的可空性是类型的一部分，但类本身不包含可空信息。比如String和String?是两个完全不同的类型，但它们对应的底层类都是java.lang.String（JVM平台）。

二、与Java情况的对比 #

核心逻辑一致 #

不管是Java还是Kotlin，类都是类型的子集：类是定义对象的模板，而类型是描述数据约束的范畴。比如Java中List<String>是类型，ArrayList是类；int是基本类型，Integer是类，这和Kotlin的核心逻辑完全一致。

差异点 #

Kotlin的类型系统比Java更丰富：

• Kotlin原生支持函数类型，Java只能通过Function接口等方式模拟；
• Kotlin的可空性是类型层面的强制约束，Java的可空性靠注解或开发者约定，编译期不做强制检查；
• Kotlin还有密封类、匿名对象类型等Java类型系统没有的特殊类型。

内容的提问来源于stack exchange，提问作者Julian A.