如何实现带text前缀的字符串字面量插值（如text"Hi $(1+2)"）？

你提供的代码已经可以实现text"Hi $(1+2)"输出Hi 3的需求，以下是对代码逻辑的拆解和验证：

代码核心逻辑 #

• @bind_doc()宏负责封装定义两个关键元素：
  • text(s::AbstractString)函数：接收字符串并执行打印操作（若需返回字符串而非打印，可修改为text(s::AbstractString) = s）
  • @text_str字符串宏：专门处理带text前缀的字符串字面量，流程如下：
    1. 自动拆分输入的字符串字面量为静态片段和插值表达式，比如text"Hi $(1+2)"会被拆分为["Hi ", 1+2]
    2. 对拆分后的片段做处理：静态字符串直接保留，插值表达式用esc()确保在调用环境中正确求值，避免宏展开的作用域问题
    3. 生成text(string($(xs...)))的表达式，将所有片段拼接为完整字符串后传给text函数执行

运行验证 #

执行你提供的完整代码：

macro bind_doc()
  quote
    text(s::AbstractString) = println(s)

    macro text_str(parts...)
      xs = map(p -> p isa String ? p : esc(p), parts)
      :( text(string($(xs...))) )
    end
  end |> esc
end

@bind_doc()

text"Hi $(1 + 2)"

运行后会直接输出：Hi 3，完全符合预期效果。

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