g++ 可变参数模板问题

所以我把这个程序交给了 g++ 和 clang （都在 Linux，x86_64 上）：

#include <iostream>

using namespace std;

template<char... Cs>
struct A {
  static const string s;
  static A a;
  ~A() {
    cout << "s = " << s << "\n";
  }
};

template<char... Cs>
const string A<Cs...>::s = {{Cs...}};

template<char... Cs>
A<Cs...> A<Cs...>::a;

int main(void)
{
  (void)A<'a', 'a', 'a', 'a', 'a', 'a', 'a', 'a', 'a', 'a', 'a', 'a', 'a', 'a', 'a', 'a'>::a;

  return 0;
}

叮当输出s = aaaaaaaaaaaaaaaa（如预期）。

g++（版本 5 到 8）输出s = s = aaaaaaaa（相当出乎意料）。

如果您不使用可变参数模板（如果删除所有 代码并内联字符列表来初始化，则不会发生这种情况A::s.

如果您更换也不会发生这种情况std::string通过字符数组（并使用A<Cs...>::s = {Cs...}反而）。

这段代码是不是本意如此，还是编译器错误？

您的代码不正确。标准的重要部分是6.6.3/1 [basic.start.dynamic] 在 N4659 中：

如果变量是一个具有静态存储持续时间的非局部变量，则该变量的动态初始化是无序的 隐式或显式实例化专业化[...]

因为初始化是无序的，所以不能依赖销毁的顺序。无论施工顺序如何，任何顺序都是合法的。参见 6.6.4/3 [basic.start.term]

因此海湾合作委员会被允许摧毁s在它摧毁之前a, 这就是发生的情况并导致奇怪的输出。Live.