Crystal语言Union类型运行时处理的编译器实现问询

示例代码 #

def myfunc : Int32 | String
  if Time.utc.to_unix % 2 == 0
    return 1
  else
    return "a"
  end
end

x : (Int32 | String) = myfunc
puts x * 2

问题描述 #

我定义了一个返回Int32或String类型的函数，返回值类型要到运行时才能确定。而*操作针对不同类型有不同行为：整数是数值翻倍（得到2），字符串是拼接（得到"aa"）。既然运行时没有类型信息，编译器是怎么生成代码来在运行时确定对x执行哪种操作的？

解答 #

• Crystal会给Union类型的值附加运行时类型标签：编译器处理Union类型时，会将每个值包装成包含原始数据和类型标识的结构，让运行时能识别当前值的具体类型。
• 编译myfunc时，返回值会嵌入类型标签：返回整数1时标记为Int32类型，返回字符串"a"时标记为String类型。
• 处理x * 2时，编译器自动生成类型分支判断逻辑：运行时先检查x的类型标签，若为Int32则调用整数的*方法，若为String则调用字符串的*方法。这个过程等价于手动写case分支，但由编译器自动完成。

编译器会将Union类型的操作展开为类似以下的伪代码逻辑：

case x
when Int32
  puts x * 2  # 执行整数乘法
when String
  puts x * 2  # 执行字符串重复
end

另外，Crystal的Union是有限Union，编译器必须提前知晓Union包含的所有类型，才能生成对应的分支逻辑。如果Union包含未知类型，编译器会直接报错，这是静态类型语言的特性。

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