c# - 报价实际用途

Question

我遇到了“引用”一词，我正试图找出一些现实生活中使用它的例子。为每个代码表达式提供 AST 的能力听起来很棒，但如何在现实生活中使用它？

有人知道这样的例子吗？

Answer 1

F# 和 Nemerle 引用都用于元编程，但方法不同:Nemerle 在编译时使用元编程来扩展语言，而 F# 在运行时使用它们。

内梅尔

在 Nemerle 中，引用在宏中用于拆分代码片段并生成新代码。许多语言本身就是以这种方式实现的。例如，这里有一个来自官方库的示例——实现 when 条件结构的宏。 Nemerle 没有语句，所以 if 必须有 else 部分:when 和 unless 宏提供速记对于一个 if，分别有一个空的 then 和 else 部分。 when 宏还具有扩展的模式匹配功能。

macro whenmacro (cond, body)
syntax ("when", "(", cond, ")", body)
{
    match (cond)
    {
    | <[ $subCond is $pattern ]> with guard = null
    | <[ $subCond is $pattern when $guard ]> =>
        match (pattern)
        {
        | PT.PExpr.Call when guard != null =>
            // generate expression to replace 'when (expr is call when guard) body'
            <[ match ($subCond) { | $pattern when $guard => $body : void | _ => () } ]>
        | PT.PExpr.Call =>
            // generate expression to replace 'when (expr is call) body'
            <[ match ($subCond) { | $pattern => $body : void | _ => () } ]>
        | _ =>
            // generate expression to replace 'when (expr is pattern) body'
            <[ match ($cond) { | true => $body : void | _ => () } ]>
        }
    | _ =>
            // generate expression to replace 'when (cond) body'
            <[ match ($cond : bool) { | true => $body : void | _ => () } ]>
    }
}

代码使用引号来处理看起来像一些预定义模板的模式，并将它们替换为相应的 match 表达式。例如，匹配给宏的 cond 表达式:

<[ $subCond is $pattern when $guard ]>

检查它是否遵循 x is y when z 模式，并为我们提供组成它的表达式。如果匹配成功，我们可以从我们得到的部分生成一个新的表达式:

<[
    match ($subCond)
    {
    | $pattern when $guard => $body : void
    | _ => ()
    }
]>

这会将 when (x is y when z) body 转换为基本的模式匹配表达式。所有这些都是自动类型安全的，并且在使用不当时会产生合理的编译错误。因此，如您所见，引号提供了一种非常方便且类型安全的代码操作方式。