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;
}

Clang输出s = aaaaaaaaaaaaaaaa（按预期）。

g ++（版本5到8）输出s = s = aaaaaaaa（非常意外）。

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

如果您将其替换std::string为字符数组（并A<Cs...>::s = {Cs...}改为使用），也不会发生这种情况。

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