编程语言编译器云原生语言运行时【免费下载链接】wingA programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡项目地址https://gitcode.com/gh_mirrors/wi/wing点击查看免费下载在 Wing 语言中preflight 阶段创建的资源与变量默认无法被 inflight 代码直接访问编译器必须为它们生成「捕获」capture / lift代码把对象与权限安全地传递到运行时。capture_in_binary.test.w正是围绕这一机制设计的最小验证用例它专门检验二进制表达式中的操作数是否也能被正确捕获。本文以 Hangar 测试套件的 sim 平台快照tools/hangar/__snapshots__/test_corpus/valid/capture_in_binary.test.w_test_sim.md为入口逐层拆解该用例的源码、运行输出、tf-aws 编译产物以及 wingc 编译器底层LiftVisitor的实现原理帮助你理解 Wing 的 lift 语义并学会如何利用 Hangar 快照验证这类行为。快照文件是什么Hangar 测试套件的产物Wing 仓库用自研的 Hangar 作为端到端测试套件。它把每个.w测试文件在指定平台上的真实运行输出固化为 Markdown 快照存放在tools/hangar/__snapshots__/test_corpus/目录下命名规则为${测试文件名}_${场景}_${平台}.md。本篇文章对应的快照文件路径tools/hangar/__snapshots__/test_corpus/valid/capture_in_binary.test.w_test_sim.md场景test运行测试平台sim本地模拟器快照标题# [capture_in_binary.test.w] | test | sim快照的 Markdown 标题中原文档使用相对链接指向被测源码../../../../../tests/valid/capture_in_binary.test.w换算到仓库根目录后即为 tests/valid/capture_in_binary.test.w这是该快照对应的一切验证的源头。被测用例capture_in_binary.test.w 源码解读快照对应的 Wing 测试源码位于 tests/valid/capture_in_binary.test.w全文如下bring cloud; let b new cloud.Bucket(); let x 12; // make sure capture happens in binary expressions test binary expressions { b.put(file, foo); assert(b.get(file) foo); assert(12 x); }逐行拆解其用意bring cloud;引入云端标准库用于实例化cloud.Bucket。let b new cloud.Bucket();在 preflight 阶段创建一个云存储桶资源。它是被捕获的「对象型」变量后续在 inflight 代码里调用其方法时必须携带操作权限限定。let x 12;在 preflight 阶段定义一个普通数值变量。它是被捕获的「数据型」变量属于不可变常量捕获。test binary expressions { ... }声明一个测试用例。块体内部的代码默认运行在 inflight 阶段编译器需要为其中引用的b、x生成 lift 代码。b.put(...)/b.get(...)对捕获对象的方法调用属于操作型捕获需要记录put、get这两个操作限定符。assert(12 x)这是本用例的验证核心——在二进制表达式12 x中左侧是字面量、右侧是被捕获的 preflight 变量。源码注释直接点明测试目的// make sure capture happens in binary expressions即确保捕获逻辑在表达式深度遍历时不会漏掉二进制表达式内部的操作数。sim 平台运行输出stdout.log 解读快照文件的正文部分是## stdout.log代码块记录了该用例在 sim 平台上执行wing test的真实标准输出pass ─ capture_in_binary.test.wsim » root/Default/test:binary expressions Tests 1 passed (1) Snapshots 1 skipped Test Files 1 passed (1) Duration DURATION输出中的关键信息pass ─ capture_in_binary.test.wsim » root/Default/test:binary expressions测试通过。root/Default/test:binary expressions是测试节点在应用树中的完整路径root 为根作用域test:binary expressions即test语句声明的测试名。Tests 1 passed (1)共 1 个测试全部通过证明二进制表达式中的变量捕获正常生效。Snapshots 1 skippedHangar 在快照比对模式下对本次运行做了跳过处理见下文「快照生成机制」。Duration DURATIONDURATION并非真实耗时而是 utils.ts 中sanitizeOutput的规范化产物——它会把Duration \dm[\d.]s形式的耗时统一替换为DURATION消除跨机器、跨平台的随机差异保证快照可稳定比对。tf-aws 编译快照捕获机制的可视化证据仅看 sim 运行日志无法说明「捕获如何发生」。同目录下的编译快照 tools/hangar/snapshots/test_corpus/valid/capture_in_binary.test.w_compile_tf-aws.md 记录了wing compile -t tf-aws的完整产物是理解 lift 机制的直观证据。捕获后的 inflight 代码## inflight.$Closure1-1.cjs展示了测试闭包被编译后的运行时实现module.exports function({ $b, $x }) { class $Closure1 { ... async handle() { (await $b.put(file, foo)); $helpers.assert($helpers.eq((await $b.get(file)), foo), b.get(\file\) \foo\); $helpers.assert($helpers.eq(12, $x), 12 x); } } return $Closure1; }这里能看到捕获的最终形态闭包工厂函数以{ $b, $x }为参数两个被捕获的 preflight 实体以$前缀的 token 形式注入b.put(...)、b.get(...)变成$b.put(...)、$b.get(...)资源方法调用被代理到捕获对象上二进制表达式12 x被翻译为$helpers.eq(12, $x)字面量12原样保留被捕获的变量x则替换为$xtoken。这正是「二进制表达式中的捕获」在代码生成层面的直接体现。捕获清单_liftMap## preflight.cjs中的_liftMap精确记录了每个方法需要哪些捕获与操作限定get _liftMap() { return ({ handle: [ [b, [].concat([put], [get])], [x, []], ], $inflight_init: [ [b, []], [x, []], ], }); }含义为方法handle需要捕获bBucket 对象并限定put、get两个操作捕获x数值无操作限定[]$inflight_init也要访问这两个对象因此同样登记捕获用于 inflight 运行时初始化对应的_toInflightType()中通过$stdlib.core.liftObject(b)/liftObject(x)生成闭包工厂的注入代码。注意assert(b.get(file) foo)中的同样是一个二进制表达式其左侧是方法调用结果、右侧是字面量。编译后该方法调用被注册了get操作限定与put一起被记录在_liftMap中——可见二进制表达式内部的任意子表达式都会被 lift 逻辑扫描到这正是capture_in_binary.test.w想验证的行为。资源定义main.tf.json## main.tf.json展示了 preflight 阶段真正生成的 Terraform 资源resource: { aws_s3_bucket: { Bucket: { //: { metadata: { path: root/Default/Default/Bucket/Default, uniqueId: Bucket } }, bucket_prefix: bucket-c88fdc5f-, force_destroy: false } }, aws_s3_bucket_cors_configuration: { ... } }cloud.Bucket在 tf-aws 平台下被合成为aws_s3_bucket资源并附带默认的 CORS 配置x 12这类普通变量不会产生资源而是直接以常量形式进入捕获清单。这印证了 Wing「preflight 生成基础设施、inflight 消费运行时数据」的分相模型。底层原理LiftVisitor 如何发现二进制表达式中的捕获捕获决策由编译器wingc中的LiftVisitor完成实现位于 packages/winglang/wingc/src/lifting.rs。表达式遍历Binary 节点被递归展开LiftVisitor本身不特殊处理二进制表达式它依靠通用表达式访问器递归进入每个子表达式。在 packages/winglang/wingc/src/visit.rs 中ExprKind::Binary { op: _, left, right } { v.visit_expr(left); v.visit_expr(right); }二进制表达式被拆分为左、右两个操作数分别继续访问。因此12 x的右操作数x会作为一个普通引用被继续遍历从而进入捕获判定流程——这就是二进制表达式捕获能够生效的结构性前提。捕获判定visit_expr 中的 lift 逻辑在 lifting.rs 的visit_expr中核心判定逻辑依次为仅处理 inflight 代码current_phase() Phase::Preflight时直接放行第 235 行因为 preflight 代码本身就在 preflight 环境执行无需捕获表达式阶段判定get_expr_phase(node)判断当前表达式的求值阶段实现于 type_check.rs。当 inflight 表达式求值结果为preflight 类型时进入 lift 分支第 261 行读取操作限定通过current_property()获取正在访问的属性名如put、get用于生成_liftMap中的操作限定数组jsify 表达式v.jsify_expr(node)把 preflight 表达式编译为 JS 代码字符串如x、b作为捕获的唯一标识登记 lift 与 capture调用lifts.lift(method, qualification, code)和lifts.capture(...)见下节。对于12 x这种整体在 inflight 阶段求值的表达式visit_expr会在第 297-298 行通过visit::visit_expr(v, node)递归深入其子节点最终命中右操作数x这个 preflight 阶段表达式并完成 lift。捕获仓库Lifts 数据结构lift 结果保存在 packages/winglang/wingc/src/type_check/lifts.rs 定义的Lifts结构中lifts_qualifications方法名 → preflight 代码 → 操作限定集合IndexSetString的映射最终渲染为_liftMapcaptureslift token如$x→ 捕获记录是否字段、对应 preflight 代码的映射供 inflight jsify 阶段把代码中的x替换为$xtoken_for_liftable被 lift 的 AST 表达式/类型 → token 的映射。关键方法lift(method, qualification, code)lifts.rs为指定方法登记一次 lift同时为$inflight_init追加一条 lift确保 inflight 类实例化时能访问到该对象this除外capture(lifted_thing, code, is_field)lifts.rs生成形如$x的 tokenrender_token会把非字母数字字符替换为$并建立 token ↔ 捕获代码的映射。正是这两步把「二进制表达式右操作数x」一步步变成了 inflight 代码里的$x。数据型 vs 对象型捕获本用例恰好覆盖两种捕获类型与 lifts.rs 中LiftQualification.ops操作限定和Capture捕获记录的语义一一对应被捕获实体类型操作限定证据_liftMapbcloud.Bucket对象型资源put、get[b, [].concat([put], [get])]x数值常量数据型变量无[][x, []]对象型捕获必须限定具体方法最小权限原则数据型捕获只需传递值本身。capture_in_binary.test.w同时验证了两者在二进制表达式场景下都能被正确登记。Hangar 快照是如何生成的理解快照本身还需要知道它是如何被生产出来的相关逻辑集中在 tools/hangar/src/generated_test_targets.ts 与 tools/hangar/src/utils.ts。测试执行入口generated_test_targets.ts 中的testTest定义了 sim 平台测试快照的生成流程平台固定为sim命令为wing test调用runWingCommand见 utils.ts实际执行带--no-update-check、--no-analytics等参数的 wing CLI设置WING_HIDE_CONTAINER_LOGS1隐藏容器日志避免环境相关噪音进入快照将stdout写入stdout.log、stderr写入stderr.log一并放入fileMap调用createMarkdownSnapshot(fileMap, absoluteWingPath, test, sim)生成_test_sim.md。快照文件生成utils.ts 的createMarkdownSnapshot负责拼装快照 Markdown快照路径 __snapshots__/test_corpus/相对目录/wing文件_场景_目标平台.md即本篇文章capture_in_binary.test.w_test_sim.md的来历标题行 # wing文件 | test | sim其中相对链接从快照目录回指tests/下的源码每个文件以## 文件名 对应语言代码块的形式依次写入。输出规范化快照里的DURATION、PORT、TIMESTAMP等占位符来自 utils.ts 的sanitizeOutput。它把耗时、端口、IP、时间戳、绝对路径等环境相关输出统一替换为稳定占位符使快照在不同机器、不同时间下都能通过比对——这是「快照即断言」测试范式在 Wing 仓库中的具体落地。本地复现与验证在仓库环境中你可以通过以下命令复现本用例的行为无需修改任何仓库文件仅作查看与运行# 在 sim 平台运行测试观察二进制表达式捕获的实际输出 wing test -t sim tests/valid/capture_in_binary.test.w # 在 tf-aws 平台编译查看捕获后的 inflight 代码与 _liftMap wing compile -t tf-aws tests/valid/capture_in_binary.test.w运行结果的 stdout 应与快照中的stdout.log一致测试全部通过编译产物中的inflight.$Closure1-1.cjs与preflight.cjs应与_compile_tf-aws.md快照中的内容一致。若改动capture_in_binary.test.w导致捕获行为变化Hangar 的快照比对会立即捕获到差异。更宏观地看capture_in_binary.test.w只是 Wing 仓库捕获测试矩阵中的一员同类验证遍布 tests/valid 目录如capture_primitives.test.w、capture_mutables.test.w、capture_resource_and_data.test.w等而 wingc 内部还维护着大量捕获场景的快照见 packages/winglang/wingc/src/jsify/snapshots/lift_binary_preflight_expression.snap 等。读者若想深入捕获机制的更多边界情况可直接研读这些用例及 lifting.rs 的完整实现。小结通过capture_in_binary.test.w_test_sim.md这一份小小的 sim 平台快照我们完整还原了 Wing 语言捕获机制的一条验证链路测试源码声明意图二进制表达式中的变量也要被捕获→ 编译器 LiftVisitor 递归遍历表达式并登记 lift 与操作限定 → jsify 生成带$token 的 inflight 代码 → Hangar 固化运行输出与编译产物作为回归断言。核心结论可归纳为Wing 的捕获lift机制作用于 inflight 代码中引用的每个 preflight 实体二进制表达式通过visit_expr的递归遍历天然覆盖其全部操作数对象型资源捕获携带操作限定如put、get数据型变量捕获仅传递值两者共同构成_liftMapHangar 快照测试通过规范化输出DURATION等占位符保证了捕获行为的跨平台稳定回归验证。理解这一机制是正确编写 Wing 测试、诊断 inflight 编译错误、以及二次开发 wingc 编译器时绕不开的基础。赞分享编程语言编译器云原生语言运行时【免费下载链接】wingA programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡项目地址https://gitcode.com/gh_mirrors/wi/wing点击查看免费下载相关推荐Wing 中 inflight class 捕获 preflight 对象基于 hangar tf-aws 编译快照的 lift 机制深度剖析Wing 中 inflight class 捕获 preflight 对象基于 hangar tf aws 编译快照的 lift 机制深度剖析 导读 Wing编程语言编译器云原生语言运行时Wing 语言 inflight 类捕获常量从测试用例到 Hangar 快照的机制解析Wing 语言 inflight 类捕获常量从测试用例到 Hangar 快照的机制解析 导读 Wing 是一种面向云的一体化编程语言它把基础设施定义pre编程语言编译器云原生语言运行时Wing 语言中 Inflight 调用 Inflight 的机制与验证基于 hangar 测试快照的源码级解析Wing 语言中 Inflight 调用 Inflight 的机制与验证基于 hangar 测试快照的源码级解析 本文以仓库中的 inflights_call编程语言编译器云原生语言运行时上一篇ctf-wiki 中的 Linux Pwn 地址获取技术直接获取、信息泄漏、偏移推测与暴力猜测的完整思路下一篇Open Battery Information终极开源电池修复工具完整指南创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考