为带有大括号的非数组对象赋值合法吗

Is it legitimate to assign values to non-array objects with braces?

本文关键字:对象 数组 赋值      更新时间:2023-10-16

我偶然发现这在程序主体中有效:(目前使用g++5.2.0)

Vector4  pos;  
pos = {0.0, 1.1, 2.2, 3.3};  

Vector4类将这些数据声明为命名变量:

double  t, x, y, z;  

不是作为数组,并且没有自动转换cnstrs。

我想内存存储是连续的,所以编译器可以弄清楚该怎么办。但这种使用是否合法,或者是否可以使用未分配的内存,或者可能存在其他问题?

引用cppreference.com

如果右边的操作数是一个支持的初始化列表

  • 表达式E1={}等价于E1=T{},其中T是E1的类型。

  • 表达式E1={E2}等价于E1=T{E2},其中T是E1的类型。

对于类类型,语法E={e1,e2,e3}生成对赋值的调用运算符,该运算符以braked init list作为参数,然后选择遵循重载规则的适当赋值运算符分辨率

因此,您的代码相当于

pos = Vector4{0.0, 1.1, 2.2, 3.3};

编译器执行临时对象的聚合初始化,然后使用Vector4的赋值运算符将生成的对象赋值给pos

使用非常安全。请注意,如果您的Vector4是非聚合的(例如,具有用户定义的构造函数),那么聚合初始化将不起作用(即,您会遇到编译时错误)。因此,代码编译的事实意味着你是安全的。

各位,感谢您的解释。一个琐碎的测试程序显示了调用两次的默认cnstr,后跟赋值运算符。这些是:

Vector4() : t(0.0), x(0.0), y(0.0), z(0.0) {}

Vector4 const &operator =(const Vector4 &v) {
    if(this != &v) {t=v.t; x=v.x; y=v.y; z=v.z;}
    return *this;  
}