c 11标准对模板工会有什么看法吗？ (我在
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3242.pdf找不到任何东西,但我没有仔细阅读.)
我有
template<typename T>
union u {
T a;
char b;
};
template<typename T>
u<T> make_u(T t) {
return { .a = t };
}
int main() {
return make_u<int>(1).a;
}
此代码导致icpc -std = c 11说错误：不允许将指定符转换为模板相关类型,g -std = c 0x表示错误：’.’标记之前的预期主表达式,g -std = c 11(版本4.8.0(实验))说内部编译器错误：在lookup_field_1中,在cp / search.c：387.我可以通过用t替换{.a = t}来解决这个问题.但是,我不能这样做,这不是工会的第一个成员的领域.有没有办法在模板化联盟中选择除第一个成员之外的其他成员,相关成员在哪个模板依赖？ (我当然可以在堆栈上声明一个联合,并将该成员设置为我想要的值,但是我不能在初始化列表或constexpr函数中执行此操作.)
解决方法
{.a = t}语法是非标准GNU扩展,因此与其他C功能的交互超出了C标准的范围.
解决方案：写标准C：
u<T> make_u(T t) {
u<T> r;
r.a = t;
return r;
}
编辑：AFAIK,在C 11中,你可以给你的工会一个构造函数(一个constexpr,如果你喜欢)执行你需要的初始化.示例：http://ideone.com/s4GHjU
