使用递归可变参数模板bitset创建g ++和clang不同的行为(可能的gcc bug？)

Question

使用g ++或clang ++编译时,以下代码会产生截然不同的结果.很抱歉这个很长的例子,但我还没能做到更短.

程序应将特定位位置分配给特定类型,然后构建std::bitset包含多个类型位.

#include <bitset>
#include <iostream>

using namespace std;
using Bts = bitset<32>;

int getNextId() { static int last{0}; return last++; }

template<class T> struct IdStore{ static const int bitIdx; };
template<class T> const int IdStore<T>::bitIdx{getNextId()};

template<class T> void buildBtsHelper(Bts& mBts) { 
    mBts[IdStore<T>::bitIdx] = true; 
}
template<class T1, class T2, class... A> 
void buildBtsHelper(Bts& mBts) { 
    buildBtsHelper<T1>(mBts); buildBtsHelper<T2, A...>(mBts); 
}
template<class... A> Bts getBuildBts() { 
    Bts result; buildBtsHelper<A...>(result); return result; 
}

template<class... A> struct BtsStore{ static const Bts bts; };
template<class... A> const Bts BtsStore<A...>::bts{getBuildBts<A...>()};
template<> const Bts BtsStore<>::bts{};

template<class... A> const Bts& getBtsStore() { 
    return BtsStore<A...>::bts; 
}

struct Type1 { int k; };
struct Type2 { float f; };
struct Type3 { double z; };
struct Type4 { };

int main()
{
    cout << getBtsStore<Type1, Type2, Type3, Type4>() << endl;
    return 0;
}

• g ++ 4.8.2打印-----: 00000000000000000000000000000001
• clang ++ SVN打印:( 00000000000000000000000000001111 如预期的那样)

只有编译标志-std=c++11.

怎么了？我是否引入了未定义的行为？g ++错了吗？

Answer 1

您的代码依赖于两个声明的初始化顺序:

template<class T> const int IdStore<T>::bitIdx{getNextId()};

template<class... A> const Bts BtsStore<A...>::bts{getBuildBts<A...>()};
// getBuildBts uses IdStore<T>::bitIdx as indexes to assign

如果IdStore<T>::bitIdx在此之前发生了所有初始化,BtsStore<A...>::bts那么您将获得预期的行为.如果所有这些都发生在BtsStore<A...>::bts那之后你就会得到g ++行为.标准允许两种排序:

3.6.2非局部变量的初始化

2(...)具有静态存储持续时间的非局部变量的动态初始化是有序的或无序的.显式专用类模板的定义静态数据成员已经有序初始化.其他类模板静态数据成员(即,隐式或显式实例化的特化)具有无序初始化.