msvc 和 gcc 不同的行为答案

【问题标题】：msvc and gcc different behaviormsvc 和 gcc 不同的行为
【发布时间】：2021-03-09 00:14:03
【问题描述】：

#include <iostream>
template<typename T>
const T unit{ 1 };

template<typename T>
struct data
{
    typename T::value_type val;
};

struct decimal_def
{
    using  value_type = int;
    static const value_type unit_val() {
        return 10;
    }
};

template<typename T>
const data<T> unit<data<T>> { T::unit_val() };

auto decimal_data_unit = unit<data<decimal_def>>;

int main(){
    std::cout << decimal_data_unit.val << std::endl;
    return 0;
}

输出：10
海湾合作委员会：10
msvc: 0

我认为gcc和msvc不同的原因是编译器对unit_val()的优化不同。

【问题讨论】：

decimal_data_unit 似乎在 unit<data<decimal_def>> 之前初始化
转为constexprDemo时没有问题...
有趣 - 我使用 MSVC (Visual Studio 2019) 获得 10，使用 clang-cl 获得 0。看起来像静态/全局构造函数顺序的问题。我认为可能有重复...

标签： c++ templates gcc visual-c++

【解决方案1】：

模板化非局部变量的动态初始化是always unordered，甚至相对于同一翻译单元中定义的其他变量（部分是因为模板化变量可能在其他翻译单元中定义）。在这种简单的情况下，您可以改用 constant 初始化来避免该问题：将 constexpr 添加到 decimal_def::unit_val 以启用它，并添加到变量模板定义中以清楚起见。

【讨论】：