Crystal含Nil联合类型声明：简化语法疑问及文档缺失咨询

嘿，我来帮你理清这个Crystal里的实用小细节！你提到的String?其实是Crystal内置的语法糖，用来简化String | Nil这类包含Nil的联合类型声明，虽然官方文档里可能没特意单独做详细说明，但这是日常开发里非常常用的写法。

下面具体对比两种写法的等价性：

• 常规联合类型声明
  这是官方文档明确提到的标准写法，用来定义可以接受String或者Nil的参数类型：

  def foo(id : String | Nil) end
  

  编译器会将这个方法重载为对应类型的处理逻辑，参数id既可以传入字符串值，也可以传入nil。

• 简化语法糖写法
  而String?就是String | Nil的简写形式，功能完全等价，代码更简洁：

  def foo(id : String?) end
  

  这段代码和上面的常规写法没有任何功能差异，编译器在处理时会自动将String?解析为String | Nil，对应的方法重载逻辑也完全一致。

这种语法糖的设计目的是让处理可能为空的类型时代码更紧凑，很多静态类型语言都有类似的设计思路，Crystal借鉴了这个模式，属于默认支持的语法特性，只是可能在官方文档里没有单独开辟章节讲解而已。

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