Slang编译器默认成员初始化导致崩溃问题分析

问题背景

在Slang编译器的最新版本(v2025.5)中，开发者报告了一个关于默认成员初始化导致的编译器崩溃问题。这个问题出现在使用SPIR-V目标编译时，当结构体包含默认初始化的纹理成员时，即使相关条件判断为false，编译器仍会在处理该纹理访问时崩溃。

问题表现

具体表现为：当结构体包含一个默认初始化的纹理成员和一个布尔标志时，即使布尔标志为false且不会执行纹理采样操作，编译器仍会在IR链接阶段崩溃。这个问题在从v2024.17.4升级到v2025.5版本后出现。

技术细节分析

问题的根本原因与Slang的初始化机制变更有关。在SP004初始化方案中，Slang移除了对未定义显式构造函数的结构体的隐式构造函数调用。这意味着对于没有定义__init的结构体，像Foo foo;这样的语句不再被转换为Foo foo = Foo();或Foo foo = {};。

在IR链接阶段，编译器会尝试消除未初始化的变量。例如：

Foo foo;
const let result = process(foo);

会被转换为：

const let result = process();

这个转换过程在legalizeResourceTypes阶段导致了崩溃。

解决方案

要解决这个问题，开发者需要显式初始化结构体变量。以下是正确的写法：

Foo foo = Foo();  // 显式调用构造函数
// 或者
Foo foo = {};     // 使用空初始化列表

版本影响

这个问题在以下版本中表现不同：

• v2025.5：存在崩溃问题
• v2025.4及之前版本：正常运行
• 最新master分支：已修复

最佳实践建议

1. 对于包含资源类型(如纹理)的结构体，始终显式初始化变量
2. 升级到最新版本以获得修复
3. 注意编译器警告，特别是关于未初始化变量的警告
4. 在条件判断中使用资源前，确保资源已被正确初始化

这个问题提醒我们，在使用现代着色器语言特性时，理解初始化语义的重要性，特别是在涉及资源类型时更应谨慎处理。