在 Crystal 中用 nil 声明联合类型答案

【问题标题】：Declaring union types with nil in Crystal在 Crystal 中用 nil 声明联合类型
【发布时间】：2018-04-18 18:24:23
【问题描述】：

我一直在关注Crystal 的官方文档，但找不到任何详细信息。声明联合类型时的常规语法是String | Int32。但是，我注意到 Nil 类型有所不同。

声明联合的常规方式仍然有效：

def foo(id : String | Nil)
end

# Overloads are:
#  - foo(id : String | Nil)

但是，我也看到了一个缩短的语法，但我找不到任何文档：

def foo(id : String?)
end

# Overloads are:
#  - foo(id : String | ::Nil)

结果几乎完全一样，除了Nil如果前缀有2个冒号。我猜这与Nil 的全局范围有关，因为我在其他语言中看到过类似的语法。

【问题讨论】：

【解决方案1】：

是的，它们完全一样，人们通常使用Foo? 版本，因为它更短。
::Nil 表示“根命名空间中的 Nil 类”。这意味着，如果您在不同的命名空间中定义不同的 Nil 类，::Nil 始终引用 stdlib 中的 nil。

【讨论】：