DirectXShaderCompiler 模板类型 sizeof 操作导致段错误问题分析

问题概述

在 DirectXShaderCompiler 的 2025 年 5 月发布版本(v1.8.2505)中，当开发者在 HLSL 着色器代码中对模板类型使用 sizeof 操作符时，编译器会出现段错误(SIGSEGV)。这个问题影响跨平台使用，在 Windows 和 MacOS 系统上均能复现。

问题重现条件

该问题可以通过以下最小化代码重现：

template<typename T> struct Encoded{
    // 结构体内容不影响问题复现
};

[numthreads(8, 8, 1)]
void main(uint2 tid : SV_DispatchThreadID) {
    uint s = sizeof(Encoded<int>);
}

关键特征：

1. 定义一个模板结构体，即使不包含任何成员变量
2. 在着色器函数中对其实例化类型使用 sizeof 操作符
3. 问题与编译目标(DXIL 或 SPIR-V)无关

技术背景

在 HLSL 中，sizeof 操作符用于获取类型或变量的大小(以字节为单位)。对于模板类型，编译器需要先实例化模板，然后才能正确计算其大小。DirectXShaderCompiler 在处理这个过程中出现了问题。

问题根源

经过开发团队分析，这个问题是在某个特定提交(#7452)引入的回归问题。根本原因是编译器在对模板类型进行 HLSL 特定测试前，没有正确实例化模板结构。

解决方案

开发团队已经提供了临时解决方案，并正在修复该问题。对于遇到此问题的开发者，可以采取以下措施：

1. 暂时避免在模板类型上直接使用 sizeof
2. 等待官方发布修复版本
3. 如果需要立即使用，可以考虑回退到之前的稳定版本

影响范围

该问题影响：

• 使用模板元编程的 HLSL 代码
• 需要计算模板类型大小的场景
• 跨平台开发项目

不影响：

• 非模板类型的 sizeof 操作
• 不使用 sizeof 操作的模板代码

总结

这个问题展示了编译器在处理模板元编程时的一个边界情况。对于 HLSL 开发者来说，在使用高级语言特性时需要注意编译器版本兼容性。DirectXShaderCompiler 团队已经确认问题并正在积极修复，建议开发者关注后续更新。