如何让Nim的dedent proc同时支持编译时与运行时调用

你碰到的问题根源在于compileTime pragma会把proc限制为仅能在编译上下文执行，没法在运行时调用。要实现编译器自动对常量输入做编译时处理，同时保留运行时调用能力，不需要额外模块或者复杂配置，只需要调整pragma并利用Nim的内置常量折叠机制即可。

核心原理 #

Nim的编译器会对标记了{.noSideEffect.}的proc自动做常量折叠：

• 当传入的参数是编译时常量（比如你写在代码里的多行字符串字面量），编译器会直接在编译阶段计算出去缩进后的结果，把调用替换成最终的字符串，和你加compileTime pragma的效果完全一致；
• 当传入的是运行时才能确定的变量（比如命令行参数、用户输入），编译器会保留proc的运行时调用逻辑，不会报错。

修改后的代码 #

import strutils

proc dedent(s: string): string {.noSideEffect.} =
  var prefix = ""
  for line in s.splitLines(keepEol=true):
    if prefix == "" and line.len > 0:
      for j in 0..<line.len:
        if line[j] != ' ':
          prefix = line[0..j-1]
          break
    if line.startsWith(prefix):
      result.add(line[prefix.len .. high(line)])
    else:
      result.add(line)

when isMainModule:
  # 编译时自动处理：编译器会提前计算好去缩进的结果
  echo dedent """
    cat:
      - meow
      - purr

    dog:
      - bark
      - drool
  """

  # 运行时调用：处理命令行传入的字符串
  if paramCount() > 0:
    echo dedent(paramStr(1))

效果验证 #

1. 编译时优化：查看生成的C代码，你会发现第一个echo中的多行字符串已经被提前处理成去缩进后的版本，和之前加compileTime pragma的效果完全一致；
2. 运行时调用：编译后运行程序，传入带缩进的参数测试：

   ./your_executable "  hello\n  world"
   

   程序会正确在运行时执行去缩进操作，输出不带前缀空格的两行文本，不会出现编译错误。

为什么这个方案可行？ #

{.noSideEffect.} pragma向编译器承诺：这个proc不会修改任何全局状态，相同输入一定会得到相同输出。基于这个保证，编译器可以安全地对常量输入做编译时求值，而对变量输入保留运行时调用逻辑——完美实现了你想要的“自动编译优化+运行时调用支持”的需求，完全不需要依赖static语句。

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