我正在阅读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);
的返回值有意义?
答案 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
构造函数,并返回一个新对象。