g++ 5-8版本可变参数模板初始化std::string输出异常问询

我在Linux x86_64环境下测试了一段包含可变参数模板的C++代码，分别用Clang和GCC 5到8版本编译运行，结果出现了明显差异——这是GCC的编译器bug，而非代码写法错误。

测试代码 #

#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
  

• GCC 5~8版本输出异常：

  s = s = aaaaaaaa
  

问题分析 #

这个异常是GCC特定版本的bug导致的，原因在于：

1. 静态模板对象A<...>::a的析构函数被重复调用了两次，所以输出里出现了两次s = 前缀；
2. 静态std::string s的内容被错误截断为8个字符，这应该是编译器在处理可变参数展开到std::string构造时，对字符序列长度的计算出现了错误，或者在静态成员的内存管理逻辑上有漏洞。

验证佐证 #

当做以下调整时，异常会消失：

• 去掉可变参数模板的使用，改用固定参数的结构体；
• 将std::string替换为普通字符数组（比如const char s[] = {Cs...};）。

这说明问题完全集中在GCC对可变参数模板 + 静态std::string成员的特殊处理流程上，和代码的语法正确性无关。

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