1

我提出了一个我认为是 MSVC 中的错误的问题，但结果是实现定义的行为。我想确保我完全理解原因。我在一个翻译单元中有这个：

#include <limits>
#include <utility>
#include <type_traits>
#include <cmath>
#include <iostream>

struct MyClass {
  double value_of;
  MyClass(double d): value_of(d) {}
};

template<class T> struct MyTraits { static constexpr bool do_enable = false; };
template<> struct MyTraits<MyClass> { static constexpr bool do_enable = true; typedef double value_type; };

template<typename T> using EnableIfFP = std::enable_if_t<std::is_floating_point<T>::value>;
template<typename T> using EnableIfMyClass = std::enable_if_t<MyTraits<T>::do_enable>;

template<typename T> constexpr int EXP = std::numeric_limits<T>::max_exponent / 2;

template<typename T, typename Enabler = void> const T huge = T{ 0 };
template<typename T> const T huge<T, EnableIfFP<T> > = std::scalbn(1.0, EXP<T>);
template<typename T> const T huge<T, EnableIfMyClass<T> > = T{ huge<typename MyTraits<T>::value_type> };

int main() {
  // huge<double>; // PRESENCE OF THIS LINE AFFECTS OUTPUT IN MSVC
  std::cout << huge<MyClass>.value_of << std::endl;
  return 0;
}

https://godbolt.org/z/Iwpwzf

我的期望是huge<MyClass>.value_of1.34078e+154：第 3 个定义huge应该使用第 2 个定义作为它的 init。Clang 7、GCC 8 和 ICC 19 都这样做，但 MSVC 2017 打印 0（来自T{ 0 }初始化或零初始化，idk），除非启用了注释行。

正如我现在所理解main()的，隐式实例化了huge<MyClass>and (indirectly) huge<double>，但它们的初始化是无序的：

如果变量是隐式或显式实例化的特化，则具有静态存储持续时间的非局部变量的动态初始化是无序的，如果变量是不是隐式或显式实例化的特化的内联变量，则是部分排序的，否则是有序的. [注意：显式专门化的非内联静态数据成员或变量模板专门化已订购初始化。— 尾注] [basic.start.dynamic]

这个场景属于我加粗的标准，所以它是无序的。最后有那个注释，我认为它读作“一个明确专门化的变量模板专门化已订购初始化”，但我没有完全（明确）专门化，所以它不适用。

我也看到了这个答案，这似乎与规范的上述部分冲突：

单个翻译单元（源文件）中的全局变量按照定义的顺序进行初始化。

  1. 上述推理是否正确？
  2. 会constexpr std::scalbn解决这个问题吗？
  3. 就使代码合法/可移植而言，当我尝试通过添加template const MyClass huge<MyClass>. 假装使用huge<double>专业化有效，但未使用代码（GCC 警告）。我知道我可以在函数中创建这些静态局部变量（冒着添加锁/防护的风险）或返回函数或类模板的值，但如果它是合法的，这个选项是最简洁的。
4

1 回答 1

1
  1. 你是对的——“冲突”的答案完全早于变量模板。（鉴于变量模板不是“全局变量”，并且它的实例化没有以文本方式定义（即声明），该陈述仍然正确。）
  2. 是的，std::scalbn作为 constexpr 会有所帮助——它只是（有时）无序的动态非局部初始化，并且如果使用常量表达式初始化变量模板（文字类型）的部分特化，则不会发生这种动态初始化。方便的是，这种解释已经被批准用于 C++20，尽管它可能会或可能不会及时通过措辞审查。
  3. 再多的隐式或显式实例化在这里都无济于事 - 正如您所引用的那样，只有显式的专业化才能做到这一点，或者将事物埋在函数中的各种技巧。您当然可以使用这些函数来初始化变量（以及可能在它们之前初始化的任何其他内容）并在其他任何地方使用这些变量。
于 2019-06-05T05:46:24.737 回答