Nim中proc内return后when语句报错，要求关联when/else是否合理？

哎，这个问题我之前踩过坑！核心原因是你没搞清楚Nim里when和if/elif的本质区别——when是编译期的条件判断，它的分支逻辑和运行时的if完全不一样。

咱们先看你写的代码为什么报错：

proc myproc(T: typedesc): string = 
  when T is bool: return "bool" 
  when T is float: return "float" 
echo myproc(bool)

当编译器处理myproc(bool)的时候，第一个when分支会被激活，执行return "bool"，但后面那个when T is float语句，编译器仍然会做语法检查！因为每个when都是独立的编译单元，不是互斥分支。return之后跟着另一个语句，自然就触发了"return后不允许有语句"的错误。

那要怎么用when实现需求又不报错？其实只要把多个when变成关联的编译分支就行，两种写法都可以：

写法一：嵌套when+else

把后续的when放到else块里，确保每个编译路径下return之后没有多余代码：

proc myproc(T: typedesc): string =
  when T is bool:
    return "bool"
  else:
    when T is float:
      return "float"
    else:
      return "unknown" # 加个默认分支更稳妥，避免编译失败

echo myproc(bool)  # 输出 "bool"
echo myproc(float) # 输出 "float"

写法二：编译期elif（和when配套）

Nim其实支持when ... elif ... else的写法，这里的elif也是编译期的，和when是一套的，写起来更清爽：

proc myproc(T: typedesc): string =
  result = 
    when T is bool: "bool"
    elif T is float: "float"
    else: "unknown"

echo myproc(bool)

关于"必须用关联when/else是否合理"的疑问 #

一点都不不合理！因为when是编译期指令，它不是运行时的分支结构。编译器需要明确知道每个编译路径下的代码都是合法的，如果每个when都是独立的，就可能出现"某个编译路径下return后还有代码"的情况，这显然不符合语法逻辑。

这种设计是为了保证编译期代码的严谨性——毕竟编译期代码的错误很难排查，Nim通过这种规则强制你把when分支组织成清晰的互斥结构，避免编译期逻辑混乱。所以要求用关联的when/else是完全合理的，这是由when的编译期特性决定的。

内容的提问来源于stack exchange，提问作者v.oddou