Visual Studio 2017中变量模板除法返回零的问题咨询

没错，这确实是Visual Studio 2017里一个和优化器相关的已知bug——具体就是编译器在处理变量模板定义内的浮点除法时，优化逻辑出现了错误，导致本该正确计算的结果被错误地置为0.0，而GCC 6.3这类编译器能正常处理这类运算。

针对这个问题，有几个可行的解决办法：

• 临时禁用目标代码段的优化：你可以用VS特有的编译指令，暂时关闭有问题代码的优化，避免编译器的错误逻辑干扰。示例代码如下：

// 关闭当前代码段的优化
#pragma optimize("", off)

template<typename T>
constexpr T pi = T(3.14159265358979323846);

template<typename T>
constexpr T deg2rad = pi<T> / T(180);

// 恢复全局优化设置
#pragma optimize("", on)

这种方法能精准规避bug，同时不影响其他代码的优化效果。

• 改用乘法替代除法：如果不想禁用优化，可以把除法运算转换成乘以倒数的形式，比如把pi<T> / T(180)改成pi<T> * T(1.0 / 180)。这种写法能绕过VS2017的优化bug，同时保留编译器对其他代码的优化能力。

• 升级Visual Studio版本：最彻底的解决方式是升级到更高版本的Visual Studio（比如VS2019及以后），这个bug在后续版本中已经被官方修复了，升级后就能正常编译这类代码。

这个bug属于VS2017编译器常量表达式优化模块的逻辑缺陷，和你的代码逻辑没有关系，不用怀疑自己的写法问题。

内容的提问来源于stack exchange，提问作者Jonathan Mee