终极指南：深入理解Wing语言Preflight和Inflight执行阶段

终极指南：深入理解Wing语言Preflight和Inflight执行阶段

【免费下载链接】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双执行阶段模型，实现了基础设施代码与运行时代码的无缝统一。本文将带你全面掌握这两个核心阶段的工作原理，轻松解锁云开发新范式。

什么是Preflight和Inflight？

Wing语言最革命性的特性在于将云应用开发明确划分为两个互补的执行阶段：Preflight（预飞阶段）和Inflight（飞行阶段）。这种分离不仅解决了传统云开发中基础设施与业务逻辑割裂的痛点，还通过统一的编程模型显著提升了开发效率。

图：Wing语言Preflight与Inflight双阶段执行模型示意图，左侧展示Preflight阶段的基础设施构建过程，右侧呈现Inflight阶段的运行时交互

Preflight：构建云基础设施的魔法阶段

Preflight阶段是Wing应用的编译时阶段，主要负责定义和配置云基础设施资源。在这个阶段，Wing编译器会将代码转换为特定云平台的配置文件（如AWS CloudFormation或Terraform脚本），这些文件描述了应用所需的所有云资源（存储桶、函数、网络等）。

图：Wing语言Preflight阶段编译过程展示，左侧为代码编辑区，右侧显示生成的AWS S3 Bucket配置详情

Preflight代码通常包括：

• 云资源声明（如new cloud.Bucket()）
• 资源间依赖关系定义
• 访问权限和安全策略配置
• 部署参数设置

这些代码会被编译为目标云平台的原生配置格式，由Terraform、CloudFormation等工具负责实际资源的创建和管理。你可以在docs/docs/02-concepts/01-preflight-and-inflight.md中找到官方对这一阶段的详细说明。

Inflight：驱动应用逻辑的运行时阶段

Inflight阶段对应传统编程中的运行时，负责处理实际的业务逻辑和数据处理。在这个阶段，代码会在已经部署好的云基础设施上执行，处理用户请求、响应事件、操作数据等动态任务。

Inflight代码的特点包括：

• 事件处理函数（如API请求处理、队列消息消费）
• 数据处理和业务逻辑实现
• 与云资源的运行时交互
• 跨资源的数据流动和转换

Wing语言通过特殊的语法标记（如inflight关键字）明确区分这两个阶段，确保编译时和运行时逻辑不会混淆，同时又能无缝协作。

为什么需要双阶段模型？

传统云开发中，基础设施即代码（IaC）和应用代码通常是分离的，使用不同的工具和语言（如Terraform+Python），这导致了开发效率低下、上下文切换成本高、资源与代码一致性难以保证等问题。

Wing的双阶段模型通过以下方式解决这些痛点：

1. 统一编程模型：使用单一语言描述整个云应用，避免上下文切换
2. 类型安全：编译时验证资源访问和依赖关系，减少运行时错误
3. 云平台无关：相同的Wing代码可编译到不同云平台，实现真正的云中立
4. 开发效率：通过wing-console/提供的交互式模拟器，可在本地同时测试Preflight和Inflight逻辑

实际应用：Preflight与Inflight协同工作

让我们通过一个简单示例理解两个阶段如何协同工作：

在Preflight阶段，你可能定义一个云存储桶和处理文件上传的函数：

bring cloud; // Preflight代码：定义云资源 let bucket = new cloud.Bucket(); let processor = new cloud.Function(inflight (file: str) => { // Inflight代码：处理上传的文件 log("Processing file: {file}"); // 实际处理逻辑... }); // Preflight代码：建立资源间关系 bucket.onUpload(processor);

在这个例子中：

• new cloud.Bucket()和new cloud.Function()是Preflight操作，定义了需要部署的云资源
• inflight关键字标记的函数体是Inflight代码，将在运行时处理文件上传事件
• bucket.onUpload(processor)是Preflight操作，定义了资源间的事件关系

这种紧密结合使开发者能在一个文件中完整描述应用的静态结构和动态行为，极大简化了云应用的开发流程。

开发工作流：从编码到部署

Wing语言的双阶段模型带来了清晰高效的开发工作流：

1. 本地开发：使用Wing CLI和wing-console/console/app/提供的模拟器，同时测试Preflight和Inflight逻辑
2. 编译验证：Wing编译器检查阶段间依赖和类型安全，生成目标云平台配置
3. 部署基础设施：通过Preflight生成的配置文件部署云资源
4. 运行时监控：通过docs/docs/06-tools/02-wing-console.md中描述的工具监控Inflight代码执行

这种工作流确保了从开发到部署的每个环节都能无缝衔接，显著提升云应用开发效率。

总结：重新定义云开发体验

Wing语言的Preflight和Inflight双阶段模型，通过统一的编程模型将基础设施定义和运行时逻辑完美融合，解决了传统云开发的核心痛点。无论是docs/by-example/14-async-functions.md中的异步操作，还是tests/sdk_tests/bucket/中的存储桶交互，都体现了这种双阶段模型的强大优势。

通过本文的介绍，你已经了解了Wing语言的核心执行模型。现在，不妨通过docs/docs/01-start-here/02-getting-started.md开始你的Wing云开发之旅，体验这种革命性编程模型带来的效率提升！

要开始使用Wing语言，只需克隆仓库：

git clone https://gitcode.com/gh_mirrors/wi/wing

然后按照docs/docs/01-start-here/04-run-locally.md中的指南进行本地环境设置。

【免费下载链接】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