技术疑问：什么是reified String（具体化字符串）而非null？

我来帮你把这个概念掰明白哈！其实"reified String"这个说法，本质上就是指非可空的String类型的实际有效值——也就是实实在在的字符串内容，绝对不会是null。

结合Swift/Kotlin的可空类型理解 #

在Swift和Kotlin的类型系统里，变量的「可空性」是类型本身的一部分，这是它们和很多传统语言的核心区别之一：

• 类型为String的变量：只能存储reified String（真实的字符串值），语言规则严格禁止给它赋值null。
• 类型为String?的变量：属于可空类型，它既可以存储reified String，也可以存储null。

可空变量的使用规则 #

因为String?类型的变量可能是null，所以这两种语言都强制要求：使用可空变量的成员（比如调用方法、访问属性）前，必须先确认它不是null，否则代码会编译失败。

举个实际的例子（以Kotlin为例）：

错误写法（无法编译）：

var s: String? = "hello"
var l = s.length() // 直接调用会报错，因为s可能是null

正确的写法有两种：

1. 使用空合并运算符?:（结合安全调用?.）：

   var l = s?.length ?: 0
   

   （逻辑：如果s不为null，就取它的长度；如果是null，就默认用0）
2. 使用条件判断显式检查：

   var l = if (s != null) s.length else 0
   

内容的提问来源于stack exchange，提问作者Drocchio