Odin语言中union类型的.?运算符：官方定义与正确用法咨询

一、明确定义 #

.?是Odin语言针对union类型（包括Maybe(T)）设计的类型推断式类型提取运算符，是显式类型提取语法.(<类型>)的简写形式——编译器会根据代码上下文自动推断需要从union中提取的目标类型，无需手动指定。

二、核心使用场景与示例 #

1. 结合or_else处理默认值 #

// Example 1
v: union{int, f64}
i: int
i = v.? or_else 123

这段代码中，编译器通过左侧的int类型变量i，自动推断v.?要提取union{int, f64}中的int类型值；如果v当前存储的不是int类型，就会执行or_else后的逻辑，用默认值123赋值给i。

2. 解构Maybe(T)类型的结果 #

// Example 2
halve :: proc(n: int) -> Maybe(int) {
    if n % 2 != 0 do return nil
    return n / 2
}
half, ok := halve(2).?

Maybe(T)本质是union{T, nil}的语法糖，.?在这里会自动推断提取int类型值，同时返回一个布尔状态ok：

• 如果halve返回有效值（非nil），half会拿到n/2的计算结果，ok为true；
• 如果halve返回nil，half会被赋值为int类型的零值，ok为false。

三、官方规范依据 #

在Odin语言概览文档中，.?运算符的行为在两个章节有明确规范：

• or_else表达式：.?作为union类型提取的简写，配合or_else实现提取失败时的默认值回退；
• Maybe(T)类型：.?是处理Maybe(T)类型的标准语法，用于安全提取包裹的有效值并获取提取状态。

内容的提问来源于stack exchange，提问作者Slava.In