DirectXShaderCompiler中HLSL 2021对三元运算符行为的改进

在DirectXShaderCompiler项目中，HLSL 2021版本对三元运算符(?:)的行为进行了重要改进，使其更符合C语言的预期行为。这一改变对于处理纹理采样等GPU操作尤为重要。

问题背景

在早期HLSL版本中，三元运算符的实现方式会导致两个分支都被求值，然后根据条件选择其中一个结果。这种实现方式在某些情况下会产生不符合预期的行为，特别是当其中一个分支包含潜在危险操作时。

例如，在纹理采样场景中：

float3 N = normalTexture ? 
    normalize(_textures[NonUniformResourceIndex(normalTexture - 1)].SampleLevel(...)) : 
    float3(0, 0, 1);

在HLSL 2021之前，无论normalTexture是否为0，都会执行纹理采样操作。当normalTexture为0时，会导致访问_textures[-1]，这显然是不安全的。

HLSL 2021的改进

HLSL 2021将三元运算符的行为改为与C语言一致，即只对选中的分支进行求值。这一改变带来了以下优势：

1. 安全性提升：避免了不必要的潜在危险操作执行
2. 性能优化：减少了不必要的计算
3. 行为一致性：与主流编程语言的行为保持一致

实际影响

这一行为改变对开发者意味着：

1. 在条件分支中包含昂贵操作(如纹理采样)时，可以放心使用三元运算符
2. 不再需要为了安全而将简单条件改写为冗长的if-else结构
3. 代码行为更加直观，减少了意外情况的发生

迁移建议

对于现有项目：

1. 考虑升级到HLSL 2021以获取更安全的三元运算符行为
2. 检查现有代码中是否有依赖旧行为的特殊情况
3. 在性能敏感区域，可以利用新行为进行优化

结论

DirectXShaderCompiler中HLSL 2021对三元运算符行为的改进是一个重要的语言增强，它使HLSL更安全、更高效，也更符合开发者的直觉。对于新项目，建议直接使用HLSL 2021；对于现有项目，评估升级带来的好处并适时迁移。