编程语言编译器云原生语言运行时【免费下载链接】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 仓库中 counter/set.test.w 测试用例及其在 tf-aws 目标下的 编译快照 为主线系统讲解cloud.Counter的set()运行期方法包括其正数、负数、零值及自定义 key 的完整语义以及它落地为 AWS DynamoDB 表时的真实 Terraform 配置结构。读完本文你将掌握如何编写与验证 Counter 的 set 场景测试并能从基础设施层面理解 Wing 云资源声明的实际形态。一、关联文档解读一次 tf-aws 编译快照关联文档 set.test.w_compile_tf-aws.md 是 Hangar 测试框架针对tests/sdk_tests/counter/set.test.w在tf-aws目标上执行wing compile后生成的main.tf.json快照。它展示了两个cloud.Counter实例被编译为真实 AWS 基础设施的全部细节。1.1 快照结构与 Terraform 元数据快照的核心是main.tf.json其根级结构包含三个部分{ //: { metadata: { backend: local, stackName: root }, outputs: {} }, provider: { aws: [ {} ] }, resource: { aws_dynamodb_table: { ... } } }//.metadata记录后端类型local与栈名root对应 Wing 编译器生成的 Terraform 栈元信息provider.aws声明使用 AWS provider空配置表示使用默认凭证链resource真正的基础设施资源声明。1.2 两个 Counter 对应的 DynamoDB 表源码中创建了两个计数器因此快照里生成了两张aws_dynamodb_table资源二者结构完全一致counter1: { //: { metadata: { path: root/Default/Default/counter1/Default, uniqueId: counter1 } }, attribute: [ { name: id, type: S } ], billing_mode: PAY_PER_REQUEST, hash_key: id, name: wing-counter-counter1-c8e8f5f5 }关键字段逐一解读字段值含义attribute{ name: id, type: S }主键属性名为id类型为字符串Shash_keyid分区键哈希键为idbilling_modePAY_PER_REQUEST按需计费模式无预置吞吐量namewing-counter-counter1-c8e8f5f5表名由命名规则自动生成两张表分别被命名为counter1与counter2uniqueId与资源 key 一一对应方便在 Terraform 状态与 Wing 应用树之间互相追溯。二、源码测试set() 方法的完整语义2.1 测试用例全景set.test.w 构造了两个计数器来覆盖两类场景bring cloud; bring expect; // implicit initial (0) let counter1 new cloud.Counter() as counter1; // explicit initial let counter2 new cloud.Counter(initial: -1) as counter2; test set() { // set (positive int) counter1.set(42); expect.equal(counter1.peek(), 42); ... }counter1未传initial隐式初始值为 0counter2显式传入initial: -1初始值为 -1。测试主体分为两大组默认 key 与自定义 key。2.2 默认 key 下的 set 行为// set (positive int) counter1.set(42); expect.equal(counter1.peek(), 42); // set (negative int) counter1.set(-100); expect.equal(counter1.peek(), -100); // set (0) counter1.set(0); expect.equal(counter1.peek(), 0);验证了三个关键点正值写入set(42)后peek()返回 42负值写入set(-100)后peek()返回 -100证明 set 不是增量操作而是覆盖操作零值写入set(0)后peek()返回 0。与inc()/dec()不同set()的返回值类型为void它只负责把值覆盖为指定数字不返回旧值。2.3 自定义 key 下的 set 行为let key custom-key; // set (positive int) counter2.set(42, key); expect.equal(counter2.peek(key), 42); // set (negative int) counter2.set(-100, key); expect.equal(counter2.peek(key), -100); // set (0) counter2.set(0, key); expect.equal(counter2.peek(key), 0);第二个参数key用于在多值计数器场景中定位具体槽位。set(value, key)只覆盖该 key 对应的值而peek(key)也只读取该 key 的值。测试特意在counter2初始值 -1上使用自定义 key说明 key 维度下的读写完全独立于默认 key 槽位。2.4 set 在模拟器中的验证结果同一用例在模拟器sim目标下执行测试的快照见 set.test.w_test_sim.mdpass ─ set.test.wsim » root/Default/test:set() Tests 1 passed (1) Snapshots 1 skipped Test Files 1 passed (1)root/Default/test:set()表明该 test 在应用树中的路径1 个用例全部通过。也就是说同一份.w源码在模拟器与 tf-aws 两种目标下均可编译运行这正是 Wing 多平台multi-target设计的具体体现。三、set() 的底层实现DynamoDB 的原子覆盖3.1 预检阶段的接口定义cloud/counter.ts 是跨平台抽象层。它定义了CounterProps.initial初始值默认 0源码中this.initial props.initial ?? 0CounterInflightMethods枚举INC、DEC、PEEK、SET其中SET set飞行期接口ICounterClient.set(value: number, key?: string): Promisevoid。可以看到set是 Counter 的四个运行期方法之一接口签名与测试用例中的调用完全对应。3.2 tf-aws 目标的 DynamoDB 表声明tf-aws 目标的 Counter 实现 把cloud.Counter落到 DynamoDBthis.table new DynamodbTable(this, Default, { name: ResourceNames.generateName(this, NAME_OPTS), attribute: [{ name: COUNTER_HASH_KEY, type: S }], hashKey: COUNTER_HASH_KEY, billingMode: PAY_PER_REQUEST, });其中COUNTER_HASH_KEY定义在 shared-aws/counter.ts 中值为id。这解释了快照里attribute与hash_key均为id的原因——不是随机选择而是 SDK 的固定约定。表名生成规则在 target-tf-aws/counter.ts 的NAME_OPTS中定义前缀wing-counter-最大长度 255 字符仅允许字母、数字、点、短横线与下划线。这解释了快照中wing-counter-counter1-c8e8f5f5这类名字的构成。3.3 set() 的飞行期实现UpdateItemCommandshared-aws/counter.inflight.ts 中CounterClient.set使用 DynamoDB 的UpdateItemCommand实现覆盖写public async set(value: number, key: string COUNTER_ID): Promisevoid { const command new UpdateItemCommand({ TableName: this.tableName, Key: { [COUNTER_HASH_KEY]: { S: key } }, UpdateExpression: SET ${VALUE_ATTRIBUTE} :${SET_VALUE}, ExpressionAttributeValues: { [:${SET_VALUE}]: { N: ${value} }, }, ReturnValues: UPDATED_NEW, }); await this.client.send(command); }要点默认 key 为常量COUNTER_ID counter与测试中不传 key 即操作默认槽位的行为吻合主键{ id: { S: key } }对应快照中的hash_key: id更新表达式SET counter_value :set_value是无条件覆盖因此负值和 0 都能正确写入——这正对应测试对负整数与零的验证数值以字符串{ N: ... }形式传给 DynamoDB。与之对比inc()使用的更新表达式是SET counter_value if_not_exists(counter_value, :initial) :amount属于存在则加、不存在则用初始值的原子增量而peek()则用GetItemCommand读取。三个方法共用id作为哈希键与counter_value作为值属性完整对应了快照中的表结构。3.4 IAM 权限的自动生成tf-aws 目标的 onLift 钩子 会在飞行期代码被提升lift时自动向宿主机注入 DynamoDB 权限与表名环境变量DYNAMODB_TABLE_NAME_addr。权限计算逻辑在 shared-aws/permissions.ts使用inc/dec/set任一方法 → 授予dynamodb:UpdateItem使用peek→ 授予dynamodb:GetItem。也就是说只要你的飞行期代码调用过set()编译产物中的 IAM 策略就会自动包含dynamodb:UpdateItem无需手工配置。四、编译产物与应用树的对应关系快照中//.metadata.path字段如root/Default/Default/counter1/Default记录了资源在 Wing 应用树中的位置root应用根Default默认作用域容器counter1源码中as counter1声明的显式 id最后一个Default资源内部子作用域本例中是 DynamoDB 表的构造节点。源码中两个计数器的声明let counter1 new cloud.Counter() as counter1; let counter2 new cloud.Counter(initial: -1) as counter2;与快照中counter1、counter2两个资源块一一对应。counter2声明时传入的initial: -1虽然不会出现在main.tf.json表结构里初始值在飞行期由环境变量$initial携带但会通过_liftedState注入到飞行期客户端这也是counter2与counter1生成的表结构相同的原因——表的 schema 不随initial变化。五、如何复现与验证5.1 在模拟器中运行测试仓库根目录执行模拟器无需任何 AWS 凭证wing test tests/sdk_tests/counter/set.test.w预期输出与 set.test.w_test_sim.md 一致Tests 1 passed (1)。5.2 在 tf-aws 目标上编译wing compile -t tf-aws tests/sdk_tests/counter/set.test.w编译产物main.tf.json即对应关联快照。仓库中同类的 tf-aws 编译快照还包括 inc.test.w_compile_tf-aws.md验证增量语义与 peek.test.w_compile_tf-aws.md 等可以对照阅读理解同一资源在不同方法组合下生成的基础设施一致性。5.3 同目录下的其他测试tests/sdk_tests/counter 目录还包含inc.test.winc()的默认与自定义 key 增量语义peek.test.wpeek()读取语义initial.test.winitial属性默认值、正负初始值的验证aws-counter.test.w通过aws.Counter.from()获取 DynamoDB 表名与 ARN 的 AWS 专有能力。将set.test.w与这些用例组合即可覆盖 Counter 的完整行为面。六、小结围绕 set.test.w 与其 tf-aws 编译快照可以归纳出 Wing 云开发的三个核心机制一次编写、多目标产出同一份.w测试源码既能跑在模拟器上也能编译出面向真实 AWS 的 Terraform 配置抽象资源有明确落地cloud.Counter在 tf-aws 上固定编译为aws_dynamodb_table哈希键id、按需计费、自动命名其 schema 不随initial或方法调用而改变权限与配置自动推导set/inc/dec 自动获得dynamodb:UpdateItempeek 自动获得dynamodb:GetItem表名通过环境变量注入飞行期代码开发者无需关心底层 IAM 与连接细节。对希望深入了解 Wing 运行时与编译产物的读者建议继续阅读 cloud/counter.md官方 Counter 用法文档以及 cloud/counter.ts抽象层接口定义并结合本文的快照逐字段对照即可快速建立源码 → 基础设施的完整心智模型。赞分享编程语言编译器云原生语言运行时【免费下载链接】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 云对象存储 rename 测试从 SDK 语义到 tf-aws 编译产物的完整剖析Wing 云对象存储 rename 测试从 SDK 语义到 tf aws 编译产物的完整剖析 导读 本文以 Wing 开源仓库中 Hangar 测试工具链生成编程语言编译器云原生语言运行时Wing 云编程语言实战基于 SDK 测试与 tf-aws 快照解析 cloud.Bucket.signedUrl 预签名 URL 机制Wing 云编程语言实战基于 SDK 测试与 tf aws 快照解析 cloud.Bucket.signedUrl 预签名 URL 机制 导读 在 Wing编程语言编译器云原生语言运行时Wing 云计数器 cloud.Counter 的 tf-aws 编译产物解析从 inc() 测试到 DynamoDB 表Wing 云计数器 cloud.Counter 的 tf aws 编译产物解析从 inc 测试到 DynamoDB 表 本篇技术指南以仓库中 hangar 测编程语言编译器云原生语言运行时上一篇ComfyUI ControlNet Aux预处理器终极指南5个专业策略彻底解决功能异常下一篇hey-api 版本演进全解析从 CHANGELOG 读懂 openapi-ts 两年来的架构变迁与升级要点创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考