嵌套Crystal对象的Null Type过滤：为何if类型过滤表达式不等价？

嘿，这个问题我之前也踩过坑，Crystal的类型推断在处理嵌套Nil检查的时候确实有个容易忽略的细节，咱们一步步理清楚。

首先先把问题用具体代码还原出来，方便理解：

假设我们有两个嵌套类：

class Address
  property street : String?
end

class User
  property address : Address?
end

user = User.new(address: Address.new(street: "Main St"))

为什么两种写法不等价？ #

先看你说的不生效的写法：

# 尝试一次性检查嵌套Nil，但类型推断没生效
if user.address && user.address.street
  # 编译器会报错：undefined method 'upcase' for Nil
  puts user.address.street.upcase
end

再看生效但冗长的嵌套写法：

if user.address
  if user.address.street
    # 这里完全正常，类型推断正确
    puts user.address.street.upcase
  end
end

核心原因是Crystal的类型推断是路径敏感但依赖变量跟踪的：

• 当你用user.address && user.address.street这种单一条件表达式时，编译器虽然知道第一个user.address是非Nil，但它无法保证第二次访问user.address时状态和第一次一致（比如如果address是个动态返回值的方法，而非只读属性，两次调用可能返回不同结果）。所以编译器不会把前一个检查的非Nil状态传递到后一个链式调用里，user.address仍然被视为Address?，street自然还是String?。
• 而嵌套if的写法中，外层if已经确认了user.address是非Nil，进入内层代码块后，编译器会把这个代码路径里的user.address类型固定为Address，此时再检查user.address.street，就能正确过滤掉Nil类型了。

嵌套对象用if过滤Nil的正确方式 #

其实不用写冗长的嵌套if，有两种简洁且正确的写法：

1. 缓存中间对象到局部变量

把嵌套的中间对象赋值给局部变量，编译器能完美跟踪变量的非Nil状态：

if address = user.address && street = address.street
  puts street.upcase # street的类型明确为String
end

或者拆分得更清晰（和嵌套if逻辑一致，但更简洁）：

if address = user.address
  if street = address.street
    puts street.upcase
  end
end

2. 使用try链式调用（Crystal 1.10+）

如果你的Crystal版本够新，可以用try方法链式处理，它会自动跳过Nil值：

user.address.try &.street.try do |street|
  puts street.upcase
end

这种写法更函数式，但如果需要处理Nil分支的逻辑，还是if的写法更直接。

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