为什么教科书使用初始化程序列表作为operator-(complex a)的返回值?

时间:2019-07-09 13:09:42

标签: c++ class constructor operator-overloading initializer-list

我正在阅读complex类的(Bjarne Stroustrup的教科书)定义

class complex {
    double re, im; // representation: two doubles
public:
    complex(double r, double i) :re{r}, im{i} {} // construct complex from two scalars
    complex(double r) :re{r}, im{0} {}           // construct complex from one scalar
    complex() :re{0}, im{0} {}                   // default complex: {0,0}

    double real() const { return re; }
    void ral(double d) { re = d; }
    double imag() const { return im; }
    void imag(double d) { im = d; }

    complex& operator+=(complex z) { re+=z.re, im+=z.im; return *this; } // add to re and im
                                                                         // and return the result
    complex& operator-=(complex z) { re-=z.re, im-=z.im; return *this; }


    complex& operator*=(complex); // defined out-of-class somewhere
    complex& operator/=(complex); // defined out-of-class somewhere
};

这本书还定义了复杂的操作:

complex operator+(complex a, complex b) { return a+=b; }
complex operator-(complex a, complex b) { return a-=b; }
complex operator-(complex a) { return {-a.real(), -a.imag()}; } // unary minus
complex operator*(complex a, complex b) { return a*=b; }
complex operator/(complex a, complex b) { return a/=b; }

我不明白上面的第三行,它涉及一元减号。为什么使用初始化列表作为operator-(complex a);的返回值有意义?

3 个答案:

答案 0 :(得分:4)

您必须拥有

return {-a.real(), -a.imag()};

因为要返回从这两个值创建的complex。如果您尝试使用

return -a.real(), -a.imag();

相反,您将返回仅从complex创建的-a.imag(),因为逗号运算符仅返回最后一个值。本质上,代码与

完全相同
return -a.imag();

为了更加明确,作者可以写

return complex{-a.real(), -a.imag()};
//or
return complex(-a.real(), -a.imag());

但这实际上不是必需的,因为返回值总是转换为返回类型,并且带有初始化列表,它们的使用就像您键入return_type{ initializers }一样。

答案 1 :(得分:2)

没有初始化程序列表,您不必编写

complex operator-( complex a ) { return complex( -a.real(), -a.imag() ); }

使用初始化列表,操作符的定义看起来更简单。

无论如何,编译器都会选择构造函数

complex( double, double );

请注意,通常应将函数声明为

complex operator-( const complex &a ) { return { -a.real(), -a.imag() }; }

答案 2 :(得分:1)

该函数的返回类型是complex对象,因此将intitializer列表中的那些参数作为参数推导到complex构造函数,并返回一个新对象。