[英]Why some types does not work with uniform initialization syntax?
在将我的一些C ++ 98代码更新为C ++ 11时,我注意到统一的初始化不是那么统一。 其中一些与不完整类型(例如void
,而其他一些与pod相关。 例如,对于琐碎的可复制类型,当初始化涉及复制/移动构造函数时,统一初始化对直接初始化或复制初始化均无效。
例如
template<class T>
T foo() { return T("Hello World");}
foo<void>();
foo<std::string>();
--------
template<class T>
T foo() { return T{"Hello World"};}
foo<void>();
foo<std::string>();
在第一部分编译时,第二部分失败并error: compound literal of non-object type 'void'
struct pod { int x;int y;};
pod p{1,2}; //ok pod p(1,2) is error as usual
pod p2(p);
struct foo
{
foo(foo const& rhs) : p_(rhs.p_){}
pod p_;
};
--------
struct pod { int x;int y;};
pod p{1,2};
pod p2{p};
struct foo
{
foo(foo const& rhs) : p_{rhs.p_}{}
pod p_;
};
同样在这里,后半部分在复制构造上失败并error: cannot convert 'pod' to 'int' in initialization
。 尽管我认为,此pod
类是c ++ 11中的普通类型(甚至可以是普通复制类型),但是除了原始类型之外 ,问题仍然相同
注意:
尽管以下工作有效,
struct conv
{
operator int()const { return 1;}
};
pod p{1,2};
pod p2{conv{}};
这不是
struct conv
{
operator pod()const { return pod{1,2};}
};
pod p{1,2};
pod p2{conv{}};
我还注意到C数组确实适用于统一初始化,但不适用于复制/移动构造函数。 但这可能是由于数组是一个没有复制/移动构造函数或赋值的聚合。 虽然我不知道为什么在c ++ 11中不允许使用这些语法(特别是当它们是类成员时,隐式复制/移动确实可以做到这一点)。
那么,为什么我不能盲目地将所有C ++ 98初始化更改为C ++ 11样式统一初始化(好,除了具有初始化列表的类型!)?
我正在使用GCC 4.8.1
“统一初始化”是一个非标准术语,不幸的是,在提议阶段,该术语在促进初始化列表功能时使用。
不,您不能在任何地方使用它。 以我的经验,最好将其限制为
initializer_list
) return
调用非显式构造函数 盲目地改变一切并且不期望语义上的改变只是争论的论据–做某事是因为它是新的和与众不同的,而不是因为它是适当的。
对于泛型编程,是的,很难正确地支持上述类别的情况。 将特定的投诉发布到http://isocpp.org上的留言板,也许负责该语言的人将更加努力地恢复“统一初始化”应该改善的通用顺序,而不是加重:v)。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.