如何以循环展开方式遍历编译时seq，使变量保持static string类型？

要在遍历编译时已知的seq时保留元素的static string类型（用于宏操作），普通循环无法满足需求——它会将元素转为动态string类型。你可以通过模板或宏在编译时直接展开序列元素，实现类似fieldPairs的编译时遍历效果。

方法1：用模板实现简洁的编译时遍历 #

写一个模板来处理编译时常量seq，逐个将元素包装为static string：

import macros

template iterStaticSeq*(seqExpr: untyped, body: untyped): untyped =
  when seqExpr is ConstSeq:
    for i in 0..<seqExpr.len:
      let s = staticStr(seqExpr[i].strVal)
      body
  else:
    error("传入的seq必须是编译时常量")

# 测试示例
const x: seq[string] = @["s1", "s2", "s3"]

iterStaticSeq(x):
  echo s is static string  # 输出 true
  echo typeof(s)           # 输出 static[string]

这个模板会在编译时检查传入的seq是否为常量序列（ConstSeq），然后逐个提取元素的字符串值，用staticStr包装为static string，再执行你传入的代码块。

方法2：用宏实现更灵活的编译时逻辑 #

如果需要更复杂的编译时操作（比如动态生成代码），可以用宏来实现：

import macros

macro iterateStaticSeq*(seqIdent: ident, varName: ident, body: untyped): untyped =
  let seqSym = getSym(seqIdent)
  # 校验seq是编译时常量
  if not seqSym.isConst:
    error(seqIdent & " 必须是编译时常量")
  let seqVal = seqSym.getConst
  # 校验是seq类型
  if seqVal.kind != nkSeq:
    error(seqIdent & " 必须是seq类型")

  result = newStmtList()
  for elem in seqVal:
    # 将元素转为static string
    let staticStrExpr = newCall(parseStmt("staticStr"), elem)
    let letStmt = newLetStmt(newIdentNode(varName), staticStrExpr)
    result.add(letStmt)
    result.add(body)

# 测试示例
const x: seq[string] = @["s1", "s2", "s3"]

iterateStaticSeq(x, s):
  echo s is static string  # 输出 true
  # 可直接在编译时上下文使用s
  static:
    echo "编译时输出：", s

为什么普通循环不行？ #

普通for s in x是运行时遍历逻辑，即便x是编译时常量，Nim也会将每个元素复制为动态string实例，丢失static string的编译时类型信息。只有通过模板/宏在编译时直接展开每个元素，才能保留static string类型，供后续宏操作使用。

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