如何区分具有相同参数的两个构造函数？

Question

假设我们想要一个表示复数的类的两个构造函数:

Complex (double re, double img)  // construct from cartesian coordinates
Complex (double A, double w) // construct from polar coordinates

但参数(数量和类型)是相同的:确定目标是什么的更优雅的方法是什么？将第三个参数添加到其中一个构造函数中？

Answer 1

最好添加具有适当名称的静态方法,并让它们创建对象.

static Complex createFromCartesian(double re, double img);
static Complex createFromPolar(double A, double w);

Answer 2

您不能拥有两个具有相同签名的构造函数(或任何函数).最好的解决方案可能是为您的坐标类型创建类,并在这些类上重载.例如:

struct CartCoord {
    CartCoord( double re, double img ) : mRe(re), mImg(img) {}
    double mRe, mImg;
};

struct PolarCoord {
    PolarCoord( double a, double v ) : mA(a), mV(v) {}
    double mA, mV;
};

然后您的构造函数变为:

Complex( const CartCoord & c );
Complex( const PolarCoord & c);

正在使用:

Complex c( CartCoord( 1, 2 ) );

您还可以将它们与Complex类的重载运算符一起使用.例如,假设您有一个二进制+运算符,该类定义为:

Complex operator+( const Complex &, const Complex & );

然后:

Complex a( CartCoord( 0, 0 ) );
Complex b = a + PolarCoord( 1, 1 );

由于我们有一个从PolarCoord到Complex的转换构造函数,因此将在+表达式中使用.这比调用静态函数创建临时函数更自然(恕我直言).

这是Koenig的格言(或至少是它的一个版本)的一个例子 - 每当遇到一个难题时,引入一个新级别的类来解决它.

Answer 3

在Parashift C++ FAQ中使用此处描述的命名构造函数.

Answer 4

你不能 - 如果方法签名是相同的,你就被塞满了.

当然,你总是可以为每种类型的坐标系创建一个子类,但这远非理想 - 特别是如果你以后找到一个很好的理由想要将Complex复制为其他原因......