• 转换与类类型

可用一个实参调用的非 explicit 构造函数定义一个隐式转换。当提供了实参类型的对象而需要一个类类型的对象时,编译器将使用该转换。这种构造函数定义了到类类型的转换。除了定义到类类型的转换之外,我们还可以定义从类类型的转换。即,我们可以定义转换操作符,给定类类型的对象,该操作符将产生其他类型的对象。像其他转换一样,编译器将自动应用这个转换。在介绍如何定义这种转换之前,将说明它们为什么可能有用。

假定想要定义一个名为 SmallInt 的类,该类实现安全小整数,这个类将使我们能够定义对象以保存与 8 位 unsigned char 同样范围的值,即,0 到 255。这个类可以捕获下溢和上溢错误,因此使用起来比内置 unsigned char 更安全。我们希望这个类定义 unsigned char 支持的所有操作。具体而言,我们想定义 5 个算术操作符(+-*/%)及其对应的复合赋值操作符,4 个关系操作符(<<=>>=),以及相等操作符(==!=)。显然,需要定义 16 个操作符。而且,我们希望可以在混合模式表达式中使用这些操作符。例如,应该可以将两个 SmallInt 对象相加,也可以将任意算术类型加到 SmallInt。通过为每个操作符定义三个实例来达到目标:

int operator+(int, const SmallInt&);
int operator+(const SmallInt&, int);
SmallInt operator+(const SmallInt&, const SmallInt&);

因为存在从任意算术类型到 int 的转换,这三个函数可以涵盖支持 SmallInt 对象的混合模式使用的要求。但是,这个设计仅仅接近内置整数运算的行为,它不能适当处理浮点类型混合模式操作,也不能适当支持 longunsigned intunsigned long 的加运算。问题在于这个设计将所有算术类型(甚至包括那些比 int 大的)转换为 int 并进行 int 加运算。即使忽略浮点或大整型操作数的问题,如果要实现这个设计,也必须定义 48 个操作符!幸好,C++ 提供了一种机制,利用这种机制,一个类可以定义自己的转换,应用于其类类型对象。对 SmallInt 而言,可以定义一个从 SmallIntint 类型的转换。如果定义了该转换,则无须再定义任何算术、关系或相等操作符。给定到 int 的转换,SmallInt 对象可以用在任何可用 int 值的地方。//弊端:必须对加减乘除等所有操作符进行重载;必须对与整型、浮点型、double型等所有类型的操作都进行重载。

如果存在一个到 int 的转换,则以下代码:

SmallInt si(3);
si + 3.14159; // convert si to int, then convert to double

可这样确定:

si 转换为 int 值。将所得 int 结果转换为 double 值并与双精度字面值常量 3.14159 相加,得到 double 值。

  • 转换操作符

转换操作符是一种特殊的类成员函数。它定义将类类型值转变为其他类型值的转换。转换操作符在类定义体内声明,在保留字 operator 之后跟着转换的目标类型:

class SmallInt {
public:
SmallInt(int i = 0): val(i)
{ if (i < 0 || i > 255)
throw std::out_of_range("Bad SmallInt initializer");
}
operator int() const { return val; }
private:
std::size_t val;
};

转换函数采用如下通用形式:

operator type();

这里,type 表示内置类型名、类类型名或由类型别名定义的名字。对任何可作为函数返回类型的类型(除了 void 之外)都可以定义转换函数。一般而言,不允许转换为数组或函数类型,转换为指针类型(数据和函数指针)以及引用类型是可以的。转换函数必须是成员函数,不能指定返回类型,并且形参表必须为空

虽然转换函数不能指定返回类型,但是每个转换函数必须显式返回一个指定类型的值。例如,operator int 返回一个 int 值;如果定义 operator Sales_item,它将返回一个 Sales_item 对象,诸如此类。转换函数一般不应该改变被转换的对象。因此,转换操作符通常应定义为 const 成员

  • 使用类类型转换

只要存在转换,编译器将在可以使用内置转换的地方自动调用它

在表达式中:

SmallInt si;
double dval;
si >= dval // si converted to int and then convert to double

在条件中:

if (si)                // si converted to int and then convert to bool

将实参传给函数或从函数返回值:

int calc(int);
SmallInt si;
int i = calc(si); // convert si to int and call calc

作为重载操作符的操作数:

// convert si to int then call opeator<< on the int value
cout << si << endl;

在显式类型转换中:

int ival;
SmallInt si = 3.541; //
instruct compiler to cast si to int
ival = static_cast<int>(si) + 3;

使用转换函数时,被转换的类型不必与所需要的类型完全匹配。必要时可在类类型转换之后跟上标准转换以获得想要的类型。例如,在一个 SmallInt 对象与一个 double 值的比较中:

SmallInt si;
double dval;
si >= dval // si converted to int and then convert to double
  • 只能应用一个类类型转换

类类型转换之后不能再跟另一个类类型转换。如果需要多个类类型转换,则代码将出错。例如,假定有另一个类 Integral,它可以转换为 SmallInt 但不能转换为 int

// class to hold unsigned integral values
class Integral {
public:
Integral(int i = 0): val(i) { }
operator SmallInt() const { return val % 256; }//已经被定义为转换为SmallInt了,就不能再转换为int了
private:
std::size_t val;
};

可以在需要 SmallInt 的地方使用 Integral,但不能在需要 int 的地方使用 Integeral

int calc(int);
Integral intVal;
SmallInt si(intVal); // ok: convert intVal to SmallInt and copy to si
int i = calc(si); // ok: convert si to int and call calc
int j = calc(intVal); // error: no conversion to int from Integral

创建 si 时使用 SmallInt 复制构造函数。首先调用 Integral 转换操作符产生一个 SmallInt 类型的临时值,将 int_val 对象转换为 SmallInt。然后(合成的)复制构造函数使用该对象值初始化 si第一个 calc 调用也是正确的:将实参 si 自动转换为 int,然后将 int 值传给函数第二个 calc 调用是错误的:没有从 Integralint 的直接转换。从 int 需要两次类类型转换:首先从 IntegralSmallInt,然后从 SmallIntint。但是,语言只允许一次类类型转换,所以该调用出错

标准转换可放在类类型转换之前。使用构造函数执行隐式转换的时候,构造函数的形参类型不必与所提供的类型完全匹配。例如,下面的代码调用 SmallInt(int) 类中定义的构造函数(SmallInt(int))将 sobj 转换为 SmallInt 类型:

void calc(SmallInt);
short sobj;
// sobj promoted from short to int
// that int converted to SmallInt through the SmallInt(int) constructor
calc(sobj);

如果需要,在调用构造函数执行类类型转换之前,可将一个标准转换序列应用于实参。为了调用函数 calc(),应用标准转换将 dobjdouble 类型转换为 int 类型,然后调用构造函数 SmallInt(int) 将转换结果转换为 SmallInt 类型。

  • 实参匹配和转换

类类型转换可能是实现和使用类的一个好处。通过为 SmallInt 定义到 int 的转换,能够更容易实现和使用 SmallInt 类。int 转换使 SmallInt 的用户能够对 SmallInt 对象使用所有算术和关系操作符,而且,用户可以安全编写将 SmallInt 和其他算术类型混合使用的表达式。定义一个转换操作符就能代替定义 48 个(或更多)重载操作符,类实现者的工作就简单多了。类类型转换也可能是编译时错误的一大来源。当从一个类型转换到另一类型有多种方式时,问题就出现了。如果有几个类类型转换可以使用,编译器必须决定对给定表达式使用哪一个。如果小心使用,类类型转换可以大大简化类代码和用户代码。如果使用得太过自由,类类型转换会产生令人迷惑的编译时错误,这些错误难以理解而且难以避免。

  • 实参匹配和多个转换操作符

为了举例说明类类型值的转换怎样与函数匹配相互作用,我们给 SmallInt 类加上另外两个转换,包括接受一个 double 参数的构造函数和一个将 SmallInt 转换为 double 的转换操作符:

// unwise class definition:
// multiple constructors and conversion operators to and from the built-in types
// can lead to ambiguity problems
class SmallInt {
public:
// conversions to SmallInt from int and double
SmallInt(int = );
SmallInt(double);
// Conversions to int or double from SmallInt
// Usually it is unwise to define conversions to multiple arithmetic types
operator int() const { return val; }
operator double() const { return val; }
// ...
private:
std::size_t val;
};

一般而言,给出一个类与两个内置类型之间的转换是不好的做法,在这里这样做是为了举例说明所包含的缺陷。//这个类既能和int双向转换,又能和double双向转换

考虑最简单的调用非重载函数的情况:

void compute(int);
void fp_compute(double);
void extended_compute(long double);
SmallInt si;
compute(si); // SmallInt::operator int() const
fp_compute(si); // SmallInt::operator double() const
extended_compute(si); // error: ambiguous

任一转换操作符都可用于 compute 调用中:operator int 产生对形参类型的完全匹配;//直接把si转换为int首先调用 operator double 进行转换,后跟从 doubleint 的标准转换与形参类型匹配//先将si转变为double类型,再转变为int类型

完全匹配转换比需要标准转换的其他转换更好,因此,第一个转换序列更好,选择转换函数 SmallInt::operator int() 来转换实参。类似地,在第二个调用中,可用任一转换调用 fp_compute。但是,到 double 的转换是一个完全匹配,不需要额外的标准转换。最后一个对 extended_compute 的调用有二义性。可以使用任一转换函数,但每个都必须跟上一个标准转换来获得 long double//如果是将si转变为int,需要再将int转变为long double;如果将si转变为double,需要再将double转变为long double,因此,没有一个转换比其他的更好,调用具有二义性。如果两个转换操作符都可用在一个调用中//如extended_computer(si),既可以调用si的double转换,又可以调用si的int转换,而且在转换函数之后存在标准转换//需要将int转为long double,需要将double转换为long double,则根据该标准转换的类别选择最佳匹配。

运行:

class SmallInt {
public:
// conversions to SmallInt from int and double
SmallInt(int = ){};
SmallInt(double){};
// Conversions to int or double from SmallInt
// Usually it is unwise to define conversions to multiple arithmetic types
operator int() const {
cout << "convert int" << endl;
return val;
}
operator double() const {
cout << "convert double" << endl;
return val;
}
// ...
private:
std::size_t val;
}; void compute(int){};
void fp_compute(double){};
void extended_compute(long double){}; int main()
{ SmallInt si;
compute(si); // SmallInt::operator int() const
fp_compute(si); // SmallInt::operator double() const
extended_compute(si); // error: ambiguous system("pause");
return ;
}

报错:

aaarticlea/png;base64,iVBORw0KGgoAAAANSUhEUgAAAroAAABOCAIAAABAAyJoAAATiElEQVR4nO2dv44jNxLG5wkcHc5+AEu2D2fAgfN14s36CXzJJAMc4EQDGE4FKDGcdixg36EBAxYGjvYJWtCElznZM2C3g8uMvaD/sIqsKpJSS93SfIsfFjOabrJIFsmvi1Tz7vPPv3j16jUAAAAAgMYd5AIAAAAAbCAXAAAAABBBkAv/U/5NbisAAAAAJoHJhVYW/PnLz+++KX79293Au2+KP3/5GaIBAAAAeJk4udCqgf/++19UKFB++/5bKAYAAADgBcLkwm/ff/vr3+7effXFu6++YNGF/pNWMUxu9C1z/+bQPG/vg8/XT83hzf2EhmUZMLm1J7HZNU/ruVWp42F7aHbr6cwGt8bD9tA0jehU82Rw9Tn4/AsaLjq50K5BtMrgrz9+/+uP3wfF4H3SrkoIJZmvt212Tf9vt+k+vH9zGD6jZq+f+o9JVYof9okctg9m1tLcbwC5MB332+dmt7nJ/r/eUUfNd0tw1Zjjc+/2Z8qdOpsbik+bLHy5cL99zkl2FP8fErnB4UKrIicX2v0KrTh4//59qw+8X9t9DFwuPGwPTXN42sk2TY3XT9ZPh+3Dq1eb3VDv928OQ62J7aE20sP28Hw4ROXCSJ500gSseczZDJidXEiogfs3h87mm+z/D9sDHbUnfybLb6AXasyJNsfHZy4lR4dO7YMND9vDKR4oRBdipaD1I/p/bqNfPMJxabkg/NXJBbr0MEgETyu0SOsR8+xg1EGN2myHUTqehn/1ud8+H7YPMR+FXJgJ8RpY7+zR5AxcOLq4fuofIiEXrsiYUWy2/nohueDk+HhpQi7EObNcoIoh1ArjyQUXmOqbuU1ks2ua5vDm3v+V3ULWBcLLsuqXefN2x00SP3zlXN/5qLaI0Fs43Hu/fbaKQ6Md7IKgdEo13m+fG9KFmt3Tzk8hrPnNrnnebp/8YqoGhCkkWqvlHjbrZtc8b9fdmtFu7ZaEBG+hcUhagd3Pm4Qa0B6+ddus6nrebjXfi1ep7AzuZ6Xgitmh08odQXXgIClhIU+skBSncs+dutvkOAzLLt7vpJHn+WAYI5TdGKaIG8hNGXXyxN5qV+BrY3xeuzuf1qlDborZsiMFNiQkJfubIReOqB9riPDXoIV7b3G4kJhKLtClkeHedscN0wG80klh1k8NqQ65RRPkgnMyumwxDJ3ih6SwaXKBWjLcqxSHDSWuStc7bSQNq7G3SshUu2Wza/qNHa4gmgFqCjFrg1JbzUrGrHYEceZJ7S5UYNhn7BqgnuZsUG2zqquNAMszn1KltjMkFJyZLXhF5HlCduCwvR62u75cCRUifqj1YuUZKMdhvOzkfpc08siBfaHswjAluIEqF2wnT++to0QXEofcqNkKnRSg1yR0c9nfbLmQWz9hTxELLnKrw4XARIsRbvMgFTVeIvxXf+5nXV3OOiYX1juy+ZFfHMy47kO6Myg5jtc3ydCKWnG0C7R9FUI19g4qOoF8i+cx3lDLDRBTSLFW/Fxt1g3fIRX+rHhLVC6I9rMn774jJdkWqy6jsLRKbWfQyuJb1Zste4W6smb1U6kdh51ljTziDANirJaivfhIhwlsoN0qd+SJlN0cptYJ0QXDydN763hyIWHIjfZNi64C3bpYPCnJ32LRhbz6ee0PEXLBRW51uBA4fatjSoUGyMNQrlyI+oHlvkwrvPJDtZ3zCR9utofG/5ewr3iQGi6YIRYnVy5YISxFLsSjFDG5kO7ZUYPVZj2nXJBrIIguJNl2pv7PnUErC/tVM1ssYxphUvTbQOpDcJZcMHvxkQ7jhFGs3wUdRPjVLvuZ5UJib72QXEjsm1GG5+ZYUqq/XVguGOW61eFCYKQvUh6zGEHDLHbB3C0sAiNE2n3ut88N9eDumxFsUZNmF6wsiB86Uhcj2gsOTzu2QC4VR16MSIxWsZ5DFmv9OFtwizbciwZoKUSt9S7bbPtlRalZk+TCINTcjg3SEGQbR1YN6NFFeTnmuOiiX6WKM8hlEQrOzQ69IhIr1hcjWHuRwYVnnSYXsnvxcQ5Dxnep32WOPK+DvDTX0ptYbsqok6f31jPIheP7puJg7rGKFjBVMCmufga5oBZc5EaHCwn2mqb2lY6Zr2l68J62U0WDumnIcPGNvtVRz4gGW9pa88MvbCgJSiF+OFRuslzgzaYWx/ti52ChthcmqEayxOVy7KJ5zqu8EilDrWaA+NaKFGvZvQn7g6LRhZ3wSowhdHnYPQ2VGasB7ZsRUdv4zBStAbWWxIzEsmgFJ2ZrDWSEwTQH9tvL9XdiUrpciJU0rLRjHIZmF/S7+MijGSOWPRh/FDeQmjJh3k3urVGbfX/o0eXC0X1ThqwpiGXRnwqEemM/8PcuZNWP1uiyl0rc6HAh4b8Eun2xI14CDWZPbkArxphf9MoL8V2quhIDxWA8ZucGYJZciZ/giClwPqgEjkvXTMaWC6e+3u6BvHmGRwtnwJm/Ww8GZu0GYDZcpZ/gAGtwpYwvF06FxPSuovODswA3AClcoZ8IcgEAAAAAgAK5AAAAAIAIkAsAAAAAiNDJhcViCQAAAAAgArkAAAAAgAiQCwAAAACI4OTCW+nfd999N7mJAAAAAJgWJhc+++yflFYx/PDDD5NbCQAAAIAJicuFuSqGx6qpVvSHoqybfVlMbtgkVfEyC57GOI5RlHXTNE21ummrLkTQeefCpexZVU1dFtk3FmUttvW01YgR+KWQJBfevn1rpdINWRnDVlHus66XsOXCY5Vp0jUDuWAyxihWlPumerx9qxhFWTdVWdZuYhurW/mdN3NACA0bq4w3KRdGrC6zNSEXbh1LLlDdoCfxWA1e2DpzWsZdf1Ev0DoGyVd9QHms3LhTlPWsHl/GgtYP5MLZiblrIlGvnsQqK30+lY7VrYTOmzUgcMNOquGgjLcnF4zqGoW5hYjAuThdLlCKsk6dt84oF4rzdYz5ALlwUV6qXNiXq743jdmtTpcLxLDTapgndatyQauucVsT3DhxufDpJ/9ITi7Db8jo8Fg1+7Lswpx1WdCYZ0OebMgFS2HEcbEN+hjkmRcm4mW9XJDQaOOKE9wrR94eq2ZfrrrVmWq1XKz8xFnpXPqt9Y+VVWShIE1dFrwULjotLBLJ5VUTZ8UXbzSMNOo8Jf2irHmLqNXiV53ffCzolVU656vuFpoac7lo/ZSs1ca1yvQfP82Ifxq9O+xWCQnKfmjIhZQBQbWQXyZWgl3G4xpluHhflpoUoAnSgkgZyW5GWlmuz5QuyRFaR8sllrvi0uq4isWLayMiFz5ZfvrTxx++//rLlp8+/tBIK+tZh48O/STnHEh7eh4+N+TCMGbRAUJLJMhaWFKR7lXlQj8QtDa4xJ2UcbW0qhoyEPijkm8txasfqQKrfjxyuYhX+vZL5ok3Ro3kqeWm757AaHuFOfKqC5svXvnRaiHuqsoFsX684pNaGtcqwX/0NC3/NJG7lZ2g5oe2XLAHBAO/X0iVYEANy+oIbE6V5AITW6uKCRohI10uuFLI9Wl3yaC6hNbRconl7qlnYcAMOybkwjURkQutVvjP8u/D/5piWFVN1q4r/2HC+VYwOpDHKCJXTbmwWC4GMdtapSYSZt3qYuLH8r1iuWiC0s9+EJLNea5vx3M05JSzPAiTqFe6fGXzpBujRoYR16z0hw+HlpVz9IbFoPno7Rm5K+5qRBfC+vGnDUkujGJV6D/xNLWfI7BulZag5Iex6IIxIFjwcUOuBIPentyOQC8WFxq0a7SMrOiCaJXRQdIa1LWOlkss90g/DTomuDYsubBcftKqhLu7ux8/+uDu7q5VDGEquVphkSsXZLUekQv9ZX2MVE5EG5FbKa2N+xpHyAVpNIznGJMLw0POIjar0WRV8xKnQzu1zPR7JynKfVcQOUc1+tKEaiMnd9ldLyEX8q2Ky4UwzSPlAutW0QRVP5xELkTLaMiF5I5wqlwIYpxZciFrg4LcOmPIBdUM0jHT7QTzIC4X3n/9ZasVfvzog/ZXnkRRkjXmdHJGBy+Op4w4g7MWZe20y5C4logw0ZZsrU65V46kRYfjIPbox9uNIvvVbskF0mOLcp8aXVDNU8MwppH0gseyf8JITr/dXldVNa3GMEdedWHzsVkqJ3fRXUm7xyo2LL4kF0axSvKfWJqZckHtVqn6mFfX+eWCWgkG+mJEakcYZmCjL9BrlIxkNyvK2j2YKfVpd0mO3DpaLrHcuUuHA6bUMaEbrgnrJdCLxTIeXfDjTknNz79mLQ+L3TWu8zTklqUdXSDhNTaRyFv/pIfa/jp92+CRcmHZB+Vo9G8pjIaCtVId1mWhD69dJLCqUqMLqnn6dG4aSS5I2EEmGMZGKCVHv+r85mNhp6zcWZrhjq14xQbFd602slXhbBpNMzu6IHWraIKaH7IfsgeEqJFn3epoNbS+1dH5pXeNbKTkZkVZN1VVSVbRUITXRgZi62i5xHL3IyK+GVLHhFy4JiJHTKXvXQAAAHDslyTngxbISQzwgJslfiJl+jcjAADg5VGQl1bxxYWrBHIByOAAawAAOA0Se79yrbCEXAAakAsAAAAAiAC5AAAAAIAIkAsAAAAAiAC5AAAAAIAIkAsD3W6l0fbyzPpbxcJ7cl4Es24UAACYL5ALHUW5z32PdYQRZqairJuKHVT/WAUvPzkK+z05t0tmo7Rece5zohXC1gcAgMmAXOgYaUoY+btGq4pOGN57ZE+JCthv4b1E0WZSw1bixVDzKccNjG8Ab30AAJgSyIWOucqFfbnqJ4xixJkDciGe+KoiGa2qkYNPSQaQ1gcAgEmBXFgu6MvMm2olnwX3WLVvevffxOJWB+rhz03OoQBCmhrs4JYFTWTVvSWmO3vTSzDlxI3wjB9m2GNQtOHcvJSzMMQ1FFp1hX+xfFYINyMlU2+utRrUS5xHFFStFpYio6352cFh6QAAYC5ALnQknFAcnowSvvA17chBK02TTgrQZQgyKbZ/9c9VKsqqn3tY1rZcCA3ziubJBa2M7YTfG8wMYOdIDSfksllfsNw8clDMlBJpUC9xr57lIze5A+S0NROUgf8AAMCcgFzoSJALsXPuuz8FckE40t46eS9K90jaxcaTzhjkT7HL8U8QVsvo3dX/6h9k2mYtZBFYTq5JzZRgN6jXfH7iQQOFDpDX1m04gSYLuQAAmCmQCx2XlQvDbHGMXFh09oTzkPRzUdZNWLQLyAXxLiIXhHh7sNNQsNyWCzFT0+VCSnQhSS5E27qNhSRUMgAATAfkQgeXC91oXpR7JXjung6H2aX0no+NxQi37p4jF4qydrvthntjcoFMYLw4J8iFlMUI952CIRDiGUD39IULDZrl5mIEyXQMucD3LiiLEdwBctq6KEv3PZdYXAQAACYFcqGDfi9gCIDXVWXOLnQvXjeXdPemb3XMiS6QyLw4q4k/OxN5cYz3LsiG8aLlbHWsquBzcQOmEIoILCdm2JkeIxdY4knfjAgcIKut3ZoMU1TY6ggAmB2QC+CsXPPjcnH59y4AAMBMgVwAZ+Wa5cLEb3UEAIAZAbkAzsp1ywUAAAAtkAsAAAAAiAC5AAAAAIAIkAsAAAAAiAC5AAAAAIAIkAsD3TfoR9uXl3gMxDQIr2l6icgvl4yi7d982ZUJALhpIBc62q/MjZnmCHKhKOumKunhBeLRjkdgv6bpxXBxuTDpNzNDdwIAgFQgFzpGGsFH/t7gqqLjO33lcFHWpzzI2i+BvkTRZlHDF5YLE7z3iZnK3QkAADKAXOiYq1zYl6t+fPfPSDwFyIXlYnFpuZD0VulzVhdzJwAAyAFyYbmgr+5vqpVxImVZkdOW23vd6kA9/DnrzAghTQ12LNOCJrLqTi6gZ0O7BIXTGRKOmGKGPQZFyzkzYiWuodCqK/yLB4XEbuRmpGQqTI30FnqBlJTsDFqhqFwQS8fPrJKn7fDGDOfh532H1QUAAEcCudCRcIB1fw6QdgzjYpl6IqWVpkknBbyDlfvJoP2rS7Cf26p+qmBZ23IhNCzzREoyszqDmQH0yCV3HiOb9QXLzRMpxUwZ3kmYTHYISelyQSmUUbqEE7EFj8pxHuHYzJnEhAAAVw/kQkeCXAhOFBRC2ZJc8C+j80feiZQt3RNkF8qOnkhJbnFS47QDrEPUMgqHTNIQCHv6lbIILCfXpGaq2zn8qiVlRRfEBu1bPCydH06QWjz0qDznacMJNFnIBQDAOEAudFxWLgyD+zFyYdHZE04b0s9FWTdh0S4gF8S7iFwQwuP8YtlyWy7ETM2QC8HzepZckBdBYtGFJLkQdZ42+JHQagAAkAzkQgeXC93gW5R7JXjuHuaGwHjpPR8bixEuAJ4jF4qydpvjhntjcoHMN7w4J8iFlMUI9xWAIRDiGUAXBaRpWLbcXIwgmSpzpPftEn0xwm2eCJ3BKJRROhbvkRYORI/KcZ6iLEnRIoEWAADIAXKhg34vYAiA11VlRRcWdC9eN/R396ZvdcyJLpDIPJ0y7cUIZyIvjvHeBdkwXrScrY5VFXwubsAUntoDy4kZdqZGIKT7ty9L+uwuJiU6g1YoEjAQSpf2zYjAo7KcxxWOqRlsdQQAnArkAjgreLolFJd/7wIAAIwD5AI4K5ALjEnf6ggAAMcDuQDOCuQCAADcApALAAAAAIgAuQAAAACACJALAAAAAIgAuQAAAACACP8HBtNSCeMSZm0AAAAASUVORK5CYII=" alt="" />

  • 实参匹配和构造函数转换

正如可能存在两个转换操作符,也可能存在两个构造函数可以用来将一个值转换为目标类型。考虑 manip 函数,它接受一个 SmallInt 类型的实参:

void manip(const SmallInt &);
double d; int i; long l;
manip(d); // ok: use SmallInt(double) to convert the argument
manip(i); // ok: use SmallInt(int) to convert the argument
manip(l); // error: ambiguous

在第一个调用中,可以用任一构造函数将 d 转换为 SmallInt 类型的值。int 构造函数需要对 d 的标准转换,而 double 构造函数完全匹配。因为完全匹配比标准转换更好,所以用构造函数 SmallInt(double) 进行转换。

在第二个调用中,情况恰恰相反,构造函数 SmallInt(int) 提供完全匹配——不需要附加的转换,调用接受一个 double 参数的 SmallInt 构造函数需要首先将 i 转换为 double 类型。对于这个调用,用 int 构造函数转换实参。

第三个调用具有二义性。没有构造函数完全匹配于 long。使用每一个构造函数之前都需要对实参进行转换:标准转换(从 longdouble)后跟 SmallInt(double);标准转换(从 longint)后跟 SmallInt(int)。这些转换序列是不能区别的,所以该调用具有二义性。当两个构造函数定义的转换都可以使用时,如果存在构造函数实参所需的标准转换,就用该标准转换的类型选择最佳匹配。

运行如下代码:

class SmallInt {
public:
// conversions to SmallInt from int and double
SmallInt(int = ){
cout << "construct int" << endl;
};
SmallInt(double){
cout << "construct double" << endl;
};
// Conversions to int or double from SmallInt
// Usually it is unwise to define conversions to multiple arithmetic types
operator int() const {
cout << "convert int" << endl;
return val;
}
operator double() const {
cout << "convert double" << endl;
return val;
}
// ...
private:
std::size_t val;
}; void compute(int){};
void fp_compute(double){};
void extended_compute(long double){}; void manip(const SmallInt &){}; int main()
{
double d = 0.0;
int i = ;
long double l = ;
manip(d);
manip(i); system("pause");
return ;
}

运行结果:

aaarticlea/png;base64,iVBORw0KGgoAAAANSUhEUgAAAKMAAAA8CAIAAACFPp1BAAAJRklEQVR4nO1caVcaaRbmnzQKFAiCS0ycMzNn5sN0T2/Tbkn3OWbGqDHpns4kUVQ2WVU2AVFcEo2Js3VnPiQhmjQuUWSzQLBck+6ZnzMfSrCkqt56QUoIqefc43m5deu5977PZStLeVqzXWu2a0xnTG20kcxKNJXBenrIZFObbBqTTWO2a8x2jcmuNTt0FofO4tCaKew0S8bSVCqDFbdB/eigfnRQb1UZbWqjXWN2aoddQ6Meg91rdEwabF69dXxo1KMddqtNzgG9TakZ7lWb76tM99WmeyrTfbW5TzvSr7cNmsbUFrdm2KMd9eqsE5oR74BxTKmz3VWZ/6rUf9ur7bmnvvm3we47Az331Ld7dd8pDXcGLXc11t4hR5/B1Wd039U57qhHvxuw9NzXd3yvau/p/frG963tt1vae776pvvLrzu/uNbx+dWOz9r+8mnLn//Ycv2T5usfN7V/3NT+h6brn7R2fHqt+7Nvbn3R/u2frt9p6rjb0tnb1q1s7epr7VK2dvW1dPW1duJr3Prbuvtbu/vbbg5cvTnY1jN49Zbq2m3VtVuqq7j1qNq6B1q7+ls6lS2dyqYbfSfW0dvU0dt8o6+5U9ncqWzu6m/u6m/p6m/u6m/uVDbd6Puqo5eX2ff1zXAsnorFU7F4EmxRlNbSDKc822cthpJtB7foqSUiaCKCJqJoguBMxuKp7fjudnw3kyKKJiPoTng7HorFt6LoiUXQrSgaisVDsURkeyeCJiNoMoKmcAttJ7ai8c0wuhGKvdmKrW9F1jcja5uR9WDkzVZsI7S9EUY3I2gwEg9GE8FoYjMS3wij66HttWB0ZSMcWN96tbq5HHizFFhf+mnN/3rN/3rV/2rV/2r1xfLK8+WV58srz5YCz5YCz5ZWni2vPn+19vz1+oufNvyBDf9K8OXq1tLq1suMrZyYP71IHwq9XAstrYWW1sIECy2thV6uhvD4tAX9gaA/EPSv4LaVbYGgPxB8EdjkaYx2jdG+vhnW6c18YVVx7SOCnThFUr5IyhfJKhBZpbhaIJELJAqBRC4QyyvF8kpxdQUiq0BkfJGUL5Smg/H4aoFYLpAohFU1ImmtSFaHyOoQWZ1QWiuQKCrF8gokc26GXCGsqhHJ6hBZvVh+SaJokCgaxPIGsfwSUl0vktUJq2oEEgV+Il8kI6TLMhlfJOMj1XyxvEJSU1lVWymtE8jqhdUNIvllOkMUlxHFFURxBVE0IjWNYtxqf3XG0n5EQbT0WYpGpIZk6QAe/rIZiyc/ElbxOJQxOKU/FOCftjilyx/4Z2lO6fIHpzSPxwunUfDTwwSco8BCAFc6il6c0mz3nB//OcUAn14qSqsMF6c02z3nzV/+SuPXpDJK073aUPrDZ5FrfOYQ8SHZT17nyg8AXTzAyVgPOS/ZmVORhYHacPI+zRdWwezyedbkh2Q/sf8C8lOCpb7INeQUzBYy36f5IimjDJBr8kNIf5bAkLlg+BmDL15pIiALPhe0ZofG7NhOpCoQGYw8Oe0+Y89gf3krDVlkwaAbHhsadqE7mECiKFTnMDsC03wB+SnBRl+UqXMKZgt6q8do88ZT+yJpXSYxXa3wFdPxEA/lGkxOB8kPQK78lPFZC7rWIOtnC2anzzI2vYMdSuQNF5SSQ1Ew6nlo9c4l94+ldY3FroUDm3D4Ho9NP8EOf5Y3/KbYtXBgE67Zf3ge/mvv+JeaK78rdi0c2MT4/A/e+R/3jv9X2/j7YtfCgU14Hz31PnrKKV3+mFj4j/fR073j/3Kv3mUO76On43M/YEe/KC7/tti1FA0X+r22WPDO/+h5+G/s8OfqS7++mIxs72ke/Dkp/b7OhHv2n87pxdT+W2ntRXyfZvvZ877zswjH1GObd34HO5IoGnh5XQ3NO558aZBHf4UVQMXID0BOfeXBX0IY9TwYcc8kdg8QWR3MLp9nTX5I9hM3sYD8YABICsJfEjA7fSb7BJrcy/pdFhFsKErpzxIYMhcMPxgfhNJG67h+xI3u7FaKqwuoNJ0zpwnglC4kdMNjWssY+U4ENtY8mucr+WHB+cHIQ+n3T3KtxaEx2/G7i3gf8O+nwYny5i8hnN5HJpQWuxYObEJjtGmMthjKKV3uwP8rQSyewl+9OZQt8H9Zwag0+G2J8s0SnJcyAObNLz9m8KFci8m7+GJCa3ZqzI5YIsUXyXg57gX4aE6nwHzCogN8Xsbuwmc/J+bEU+pK6yxOncW5nditQGS4J+tjZ96bC6M0gJORDSBbhjBrQZmLTl3GschKB99LcTA07NJZxiiVJgJGNh70cMDLRhcDiGcUEhxA7AVMyNhUaUE/4tYPu9EdLKM0EWDNyH745wE4AJAdPEmUzDDxxPrJPynrZGyqtGCwegyjbjSJVSDVgDBwG+RNAe8IpNJ5ADx5WU7woDAODdlDJiwhGG3jRus4msQy170pNwLcSU7K5aF0TmVQqgWWgbHlnKqFCSgCzPYJk80bT+5ViuW4J48qM9vBKAljGEBCyrwAJ5kKHA9Yg5OSu6M8scgYdk5ZnL5Eal8gUeCerG5hBhwgDOUasFmUgB8I8qEw1WzR5QVMCbjOktYYx6h7ZsQ1tbN7IKyqwT3guSbPATkMzMBICxMPQ06ujXEy6H5SxjPylxbs3oe28QdJ7FAkq8M94N4YlQOoDnAyKk0HAHlGCcCJ5GrJhxi1pGMrLTgm5x0T86n9Y6S6HveAG4NRjnLewSSQewQTluvYQZ5LF884goChBHMWON41tTDmW9g9OBan/6qWKBK4B2IySCfdIfBM5DR8WfVDZoFJlBUPyMsYDABb8e6ZJ+7pJ9jBW4niMvHMzJrMS5mM0gPWj5GWkodyneUEiJ1FnrVHjCMFM+vwIl0oPDOLnplF7PCdpOZU6cxR8hpmkBnbzpxFh6xzGScGXCdMCkAkIJ7OWYpijz/4u2d2ETt8l3lOEwGQkNJJOfIF2QiwAMUCXQ1FL4wC47OL47OLe4fv8Dv7OZQtPLNPPDNPsMN3YvmlYtfCgU14ph97ph9jB28RWX2xa+HAJtxTC+6pBezgWCStLXYtHNiE2zfv8s1jB8eZ694cyhMu35xrcg7bPxJI5MWuhQObcE3OjU3OYftHlcA7ETi893D55ly+OWz/iPLuIg7lA7dv3u2bww6O8buAOZQr/g+5wl24H2KM5QAAAABJRU5ErkJggg==" alt="" />

加一行:

aaarticlea/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEUAAAARCAIAAAAE8PafAAABtElEQVRIie2WP2uDQBjGb3JycXBxeE2VUEpopS2h4OInCLdY6FL8AEECAfcbpEu/wkG2Th2FQCFu/Rx+lOvgv7t4mitJa1v6kMGcL+f783nuTgR/S2jsBk6sfx4VeUZBUB6olodplobV9cPTcrdd7rbL53uuwo8pjX2Fqcbn8WPa0lSarTciD0CYZp0yicbOm4xGygMQptlhj/Z5FlgrsJETxFYGjRCrX3MSIUaqX/3izZzoFGvlYIGtcrSp5PyRV/b3KOWRsYdpJtom4WFET8DMCSqwtcAa/3iAMkt6UnWJWGQCAAQ6qwZLWXS1x1NXekZBNOoN4vTwSICUeCITwMyJRj1oeQK98Ye1PDVDC9nH09zlb/EbgQKPQuQUeaq/Yuu/l4cLSRId54+QzNPkjZ9CNW/NKi+wkQ/xWHSFuGSWVGbejjSLRwo0W2+q86d7Ckn2Az+m4gL6nv2az5uoTo8TADx1XdvulErN9GM66M/XqJ+nQ/Ryc/l+d72be46I1D1PS2/2EMfnAW5bCFznYjIBAMe23+be6+1V4DpCxSGN/X0ginfEte3H8+nZJ2f4WTzH6wOcRW5didWuZgAAAABJRU5ErkJggg==" alt="" />

报错:

aaarticlea/png;base64,iVBORw0KGgoAAAANSUhEUgAAAroAAABTCAIAAAD/SzMtAAASv0lEQVR4nO2du47rRhKG5wkcLdZ+AM/YXqwBB87lxJPpCbyJEgELONEAhlMBSgynjAnoHQQYMDFw5CfQgAo3c+I1YNPBZsbZgJeu6q7qC0lJFPUPPhzM8JDN6q7q7p9Fsvnw6aef1SwWz4+PT0n0OKT3UQAAAAC4Fg+QCwAAAADwA7kAAAAAgABMLgAAAAAAuAzKLgAAAADgHoBcAAAAAEAAVS78T/m5usUAAAAAuDCCXKhlwZ8//fjrV8tf/vbQ8etXyz9/+hGiAQAAALg3bLlQq4H//vtfVChQfvv2aygGAAAA4K4Q5MJv3379y98efv3is1+/+IxlF9ottWK4uulzZpkdq7ds6WzfHKpjtrz8eefDy6E6bNgvAFyYZXasqqo6bM56lktFeM9BaZkdxRZAx/RzzRGMyYX6HkStDP764/e//vi9UwzWlvquhF3c5nD+PjCkldufw0uzsem2TtfdHMxm/8a2kGO29J46cQ6etlxYZm+mDS/uvmEBZne2ZfY2pFgSFC/WdhIS6QEAbhrvSHjm7tMF2yzlwihd6Sr98cZGMLGVbLlQP69Qi4N3797V+sD6s36OgcuFes48HOQIuDZW790cjtny8fHl0EV5Hbrdzm70q11imR3fjsegXBip355bLsSwzI7nssEzgnTbl9lxSGMK2pxP7fFW0bBxu9YyO3ZbJnjBpFfq3o0ZaHN4JAzF20AufvV5abng/m9q/JyvZeY0ggmtZMsFeuuhkwiWVqiR7kdMs9tTV3katG4sOsq7/2uzzN6O2TLkrVnJhc3hfC5W4mdMgTJqZzPuaDubpTsbwQ65cEPGjGKz738hF7xNNEe5cJMjWIpcoIrB1QrjyQWTomkrXBfycmg2WX+yQ8h9AXc3t0UifLDMjscsO3CTxI0kCIy3fMn8ZUaSEMvszVcdOuuwHZzadZ7eNDdWDhtz34SZaqfCXg7VW1crYn99XtKe7ChLObnuE70jnYuk0arqsKEH2nUUBV/vWns6m2unx6rmWKUBQ2OEGipOk0b6TmlkySP+SvX2aTjCpT7+dvQYI9TdMyC8ZVnb2S1H0Esof8zI1U+LCs9IaHK/1WETO7jFmK2PaYm9Um5PPUh4I4RGs/AII5ut19T1hVhZTyu57o5tq5mPYA7XlQs0AdIdW7cQ0wHcbaQ1N4eKBJ8cHBFywTQ3vW3RDejiRlLZOLlALemOVarDBjjTpJuDPr7X22vn1xe1tGce2qNMi70c2J6WtOTtyY5SfOHzjv9cEfHTBDXdv3et/Z3NsTNk1fH4Zs7Ogs17ESOHituk0b7TN2r9Rcua9vepHOFRfVxO7At1FwYEqiRCcsEfM6K1iVHhj2QWb5GDW9BsERrq0R7U2tMJEmlQCo5mSSOM6Itga2uV1ZoII5hnBLO56s0IorSJwLEK4X/alWEDUCjfIrM5kKc8+M7NX9JG+rxSdHbRSfho1dF2kOtC+5X2uyWEn5zeKMgFwQv0itk1RvWOdK5G9tIpMxA/TRVMhr9frUPa3LZTTzCSzl9HEb9To97D8vUIKVajfCduTO0vI/jUifDUPh6ou3dA2ERkFzwxI1ubEhURNbLkQsTgFhXq0mjjHWRiAibmQa7uz+Bo9hgxwlCzBV+EWlutrARGsMAIZjPWo45RjRX2li+MNHcGe6+vUzGt8GgnkJuzCRtfTJKo+4l42rmTGiaZIVZnXLnQXSQ8ei6k4uQCvWKO6mz6TEZKbrtcTPx0Vza9az1SZ5NGFr7Fm12I7BHxvouVC0mVSvZpKMKtcBL/9Nf9zHIh0L8uLBfcph5FLkQHzFC54FyFJ8mFUFZYaG21shIYwQIjmM2oL1KmygU7qeUPI3MISxbZyU+BZfbGNGDzZsQyE95oIBt5MsdzuyH2ZkS9w/FwYM/MS9VhwRGTG4wdBJfZW3x2oRNAylHUtpesuQ4TvSOfK2N3o3UnLrOjkWJdUb1rPaI2dy8CiPe5ePcfLvWIl4xntgK+0y+AUvrLMJ8qEZ7Yx5+cc9G6CwOCcjOisUGPXvd30dpLyYWopk6XC2keTL0ZQffxjGauLzwjjHgf1qO8aTNqldWaCCPYE3GBlSyxEZZpqpd0TFymaWldbceKBnLcwW568c+nNgVE8zN6i3TQ1FZ3k4b9sAHOqYW4sQvlaLnAO4laHTrTGDu1J4+Co4lp5WP9hpfeAZj2Pxxsw6w3I0zBEQ9VSVeiVmKmCVmnjiQjR8eFfrVmv/C3lmU7NatYCNF7kN3lkSfhpIWK3aTRvlMvgESP6JUa5lMhwsN9XDNGrLvT081erIN0nlXaTfldsDYpKsIjoS4XYpq6h1xI9KDSnkrkW/t4g831ozDCELMFX8hwX8g26N2wf7TPfARzkBeBrhd2xCLQd4wuv5bnW3dhTnizoOBMJGSwAdoTpIFPTAGR0M2dS6/qeGNEP/0KBrIki97wTDJAe4JRwQesgUjqYygAXAmSssbchvYE50OVCwAAAAAANZALAAAAAAgAuQAAAACAAEwuAAAAAAC4QC4AAAAAIEDCzYir2woAAACAq2DLhZ+ln2+++QaKAQAAALhbBLnwySf/pNSK4bvvvoNiAAAAAO6TWLnQKYarW8zZFdXrlv6y2pfVKV9d3bCrNMV9VvxGQcQ+LxbrvKyqqiq2F2zwc7N9rcr9qldTSO1wKbMv0fIzqMtdkyAXfv75Z59cWO3Ldi2wyM6/yk9J+0v45cKuSDTploFcuC0gF55X+akqdmcrf52XVZHvy2bynqVcsOo4YnM9jzd+2qN04sg/Yh3BIMJygeoGXS7sis6Xq30Z3S23RVXma30HrQuR86q6dVeYcFzn5SxVLW2f+5ELwai4QAnDGWX2mkJF+hsZ6v5D2RazlwtWHaOaPbq5xho/hVE6aeTX6wguylhygbLOy9h564xyYXUP4QW5cK0ShgO5cAG5cMq3s5cLtI5RzR5V1Jjj53C5oNURXJRYufDxR/+Ifq8yoVuSoNkV1SnPX+skVZmvaSqsIoKX7PAsBKLJbVB1bJnnFmKd+nlBMmaVqY5zrJxJ3hXVKd82d2eK7fNiaxfOamfKrzvJrvBVWahIVe5XvBYmxyvcJJLrqxbOqi8e6DHS0+ax5XNHWLXmLUYzWyzLRQ3Ye+LK6wuC0Kpk/6jtbsTKLSnFoRgAWkXG8sU6L7lVaojSpjt1DWU147agJ/VFvm1VoGdp0HGpX3if8lyTArRAWlPpRHKUhuIkqqMNjA27BGf8jGh/ecDxyIWYkd/qendyXTQ5ouTCR08f//Dh++++/Lzmhw/f9yiGpCsGHjTtJGcCQrt67rZ75EIXyrRvaIU4pxZuqUjHqnKhDfTaBlO4kTKmlbavFRky7PHLtpZitY/UgEXb38xZxD1t+yXzxAODRvLSUssXHEHPwltMHohdA+x2i/AFN0BoVb5/eLsocMUAC926DlRkPF+Y62bad1zvW00Xk11wI1+3ytezPNCxIim8ebAJcoHNrNuCzdDCiXS54IuTcEcbGBsO8vjpb39twPHLBf/Iz4FcuB5RcqHWCv95+nv3b60Y3OK2RZX07JKtMU1ncIKmlbFGdzY6VJcLi+dFd3FWW6UW4p66VrgkLuVjxXrRAqXf7XQlG2dNJwmf0SOnjOXO5am6pzmvbJ50YNBINzebVL7rCEcumBYTB2IhOczjKsYXDk6rWvtr5ThKl9opB6dV/dSKjOsLruFkm7Uq21hygUV+2Crtd422wVPDm+4s3mjQ9tFO5Msu6HGSMP70ig1/nDejelT7SwNOKLvgGfnBZAjLhaenj2qV8PDw8P0H7z08PNSKwZULqVphkSoXZF0fkAvtbm3qTC5Emz5ryS/O8R56yAWpk4TPGJILq33J7pv0lgtiIiGuWaKmKL181xFnlwsx1zduq44hF9SWpNVPrciYvqg77Co/NdWXbT6HXHCtGlEuRIf3ULngJMyS5ELazfvE2Ag0XZxcUwccyIU5ECsX3n35ea0Vvv/gvfpPLhfYfc14UoLGyvgpgdjF6GpfGu3SFa4VIky0uT0hScd6nl3wDWpObtDO8XqqTAnJBTJMrPJTbHZBNU+9+vcaSXfY5e0Vc2z5giP8cqEpgdfXMsCbp5V9QZBbdZ2XRi5HbBdvRggB5lTfEwBiRcbzRW1t+VqUNKRd7w+WC1FW9ZUL/cM75mYE3Uc5kRyloTgJd7SBscFRx8/YCyGlCoPlAm5GXI/wItCPj0/h7IKdKItyJ3/7Vh6emn1MN6vIIc/+7ALJiVkziluIfCHV7qc/NthTLjy3SWaasnsWOkloNQvSPmqva1KXxWtsdkE1T59CvEaSHSKeNYtwBKm13WKd00l9BQNYXEX6wiC26jovq6J4lcsRtkv5MKklhTiUA0CryJi+sGY1xWbFKc4UpcuFGKt6y4Xe4a0/6mgGQGsf2SNSlIbiJKajDYwN8XB2umD7awMO+yV55LcDGHLhOkR9Yir+2QUA7hVNXiCtOiN6viQJwBwIf8CaKoaYNyMAuEsgF2bJmqxQxFP6ANwZYbmwULIOVzcdgCkBuTBTyC0AaAVwz0TJBQAAAADcM5ALAAAAAAgAuQAAAACAAJALAAAAAAgAuWDRvDc82rNpk35LWFg+ZTKMZ9ukXQAAALcB5AJjlZ9S17EOMMJctc5L63PvZsWVYbLGv3xK7zKnYlvjzbPLha7KbKVk3X0AAHB7QC4wkj6nqTPyu3Pbgs431oqzQ668/Yuz9qjalGxbRc7QA51Flj9nX6E0AoW7DwAAbhLIBcZU5cIp37bzTewsGMPYcmFKtm2LSBcMcxb7pBn/qE+bpmLuAwCA2wRywWAW569et/JX43ZFvSa8vWaLycCX+d4UU+5XbDrRV6oXytRgX5pZ0EK2zXoyzbc3rQJjvrjhfvqFGbZzqtZ9hk743NQ1bbPX/NfcZx3FLKdr5qveIbKAWTimcgIAgOsDucBgw70sF9rv6/A5kk8k5CqTH8s+Cucr00sz3dJU/67oJrz6f02BbXq8aGcvdmr/lOwaZlXNkguTsc3+MI+nqQdlF6yHXbiFU3t6FAAA+gO5wIiQC76PRLdIckH45Lzvg2xBmmvfZq6K+lIfuVw+73for28bvbj3u2/gzQgtu5DiSgAAmD6QC4zLygX3E/Kpc0yX/A9Nyat9WblVO5dcmIBtWnYhoUaxNyOMWxUDAADg9oFcYHC5QL+87plv6A37XZ6vY29GmDcdUuTCal+ay9nu2NCUTGY1Xp1hV/DWzYjp2EZ3OGt2wXq8UUhpAADAHIBcYNBn77uLy7J49c439Em9ZoZojo1/1DElu0CveoXZUf69WX7KqY5nbQPZMF41+9mFqdhG34wIyAV2VJ+wcby/WNg3KQAA4NaBXAAz5ZrvJuDBBQDA3IBcALNl/DU64xhp9Q4AAJgQkAsAAAAACAC5AAAAAIAAkAsAAAAACAC5AAAAAIAAkAsAAAAACAC5YNGsATDa9yQjPwNxHYSlkCbD2WwTVuGMQVvNaYJNBwAA4wO5wBj/1bsR5MI6L6sip6sImOWehska/1JIvcucim2yNy8oF/gbla4fAQDgZoBcYIz0xvzAdYUFq8g0Q9ecXuflkEtb/0LLPao2Jdu0ZZouml1g6zVxPwIAwC0BucCYqlw45dt2mhlzscKx5cKUbDOLQFtc+GYEWQ2a+REAAG4KyAXD1nzR4XXr+SJl/up8n9Bk4Mt8b4qJ/2aEUKYGvYKnG0/5tvl4QbF9XmydAs2nDdyvJuqfcWKG7ZyqWd+MmIxt9jLMtOXp5yEkj8iur+WCe6uFygUaBqRq0AcAgNsHcoER8QHrqrlY5HMkn+bjvkjpK9NLM93Si9pd0c2C9f+aAtvZrmgnLXZq/5TsGub9IuV0bHNmcZp1IN8ClTyiywVTL9lO+v0qfMkaADArIBcYEXLB+aShkNyW5IK9W7dP8hcpa5pH/5pEd/Crj+QQM50P/Ej0hG2j1/RWy3d/ah7xZRdE97X+5T+tqfjcFABgDkAuMC4rF7rkRB+5sGjscTWH9PtqX1Zu1c4lFyZgG7mmT5ALnT295IJ80wHZBQDAHIBcYHC50ExIq/xUeeQCy3Xv8nwdezPCpMRT5MJqX5qXA7tjQ1Mymcx4dYZdwVs3I6Zjm30i+r6GfjOie5hUcP06L7t8iWYnveUhPQkBAAA3C+QCgz5736XHy+LVl11Y0Cf1momhOTb+UceU7ALJ22uzo/t7s/yUUx3P2gayYbxq9rMLU7HNejPC3Ck45flr4FFH2fXrvKyK4tXZmSQPhAc22ZsRAABwu0AugJkyiVcS8OACAGAmQC6A2TL+Gp2JjLSMBwAAXB/IBQAAAAAEgFwAAAAAQADIBQAAAAAEgFwAAAAAQAAmFx4fnwAAAAAALCAXAAAAABAAcgEAAAAAAf4PSwtzceyQupIAAAAASUVORK5CYII=" alt="" />

  • 当两个类定义了转换时的二义性

当两个类定义了相互转换时,很可能存在二义性:

class Integral;
class SmallInt {
public:
SmallInt(Integral); // convert from Integral to SmallInt
// ...
};
class Integral {
public:
operator SmallInt() const; // convert from SmallInt to Integral
// ...
};
void compute(SmallInt);
Integral int_val;
compute(int_val); // error: ambiguous

实参 int_val 可以用两种不同方式转换为 SmallInt 对象,//compute(int_val);需要将int_val转变为SmallInt类型这里,可以试用SmallInt类的构造函数SmallInt(Integral)将int_val转变为SmallInt类型,也可以试用Integral类的转换操作符将int_val转换为SmallInt类型。因为这两个函数没有高下之分,所以这个调用会出错。//Integral到SmallInt类的转换有两条“路径”,所以但凡涉及到这两个类型的转换就会出现二义性

在这种情况下,不能用显式类型转换来解决二义性——显式类型转换本身既可以使用转换操作又可以使用构造函数,相反,需要显式调用转换操作符或构造函数:

compute(int_val.operator SmallInt());   // ok: use conversion operator
compute(SmallInt(int_val)); // ok: use SmallInt constructor

而且,由于某些似乎微不足道的原因,我们认为可能有二义性的转换是合法的。例如,SmallInt 类构造函数复制它的 Integral 实参,如果改变构造函数以接受 const Integral 引用:

class SmallInt {
public:
SmallInt(const Integral&);//这里改为引用
};

则对 compute(int_val) 的调用不再有二义性!原因在于使用 SmallInt 构造函数需要将一个引用绑定到 int_val,而使用 Integral 类的转换操作符可以避免这个额外的步骤。这一小小区别足以使我们倾向于使用转换操作符避免二义性最好的方法是避免编写互相提供隐式转换的成对的类

  • 避免转换函数的过度使用

与使用重载操作符一样,转换操作符的适当使用可以大大简化类设计者的工作并使得类的使用更简单。但是,有两个潜在的缺陷:定义太多转换操作符可能导致二义性代码,一些转换可能利大于弊。

避免二义性最好的方法是,保证最多只有一种途径将一个类型转换为另一类型。做到这点,最好的办法是限制转换操作符的数目,尤其是,到一种内置类型应该只有一个转换。

当转换操作符用于没有明显映射关系的类类型和转换类型之间时,容易引起误解,在这种情况下,提供转换函数可能会令类的使用者迷惑不解。例如,如果有一个表示 Date 的类,我们可能会认为提供从 Dateint 的转换是个好主意,但是,这个转换函数应返回什么值?该函数可以返回公历日期,这是表示当前日期的一个顺序数,以 0 表示 1 月 1 日,但年份是否应放在日期之前或之后?即,1986 年 1 月 31 日是否应表示为 1986031 或 311986?作为一种选择,转换操作符可以返回一个表示从某个新纪元点开始计数的天数,计数器可以从 1971 年 1 月 1 是或其他起始点开始计算天数。问题在于,无论怎样选择,Date 对象的使用将具有二义性,因为没有一个 Date 类型对象与 int 类型值之间的一对一映射。在这种情况下,不定义转换函数更好。相反,这个类应该定义一个或多个普通成员从这些不同形式中抽取信息。

  • 重载确定和类的实参

正如我们看到的,在需要转换函数的实参时,编译器自动应用类的转换操作符构造函数。因此,应该在函数确定期间考虑类转换操作符。函数重载确定由三步组成:确定候选函数集合:这些是与被调用函数同名的函数;选择可行的函数:这些是形参数目和类型与函数调用中的实参相匹配的候选函数。选择可行函数时,如果有转换操作,编译器还要确定需要哪个转换操作来匹配每个形参;选择最佳匹配的函数。为了确定最佳匹配,对将实参转换为对应形参所需的类型转换进行分类。对于类类型的实参和形参,可能的转换的集合包括类类型转换。

  • 转换操作符之后的标准转换

哪个函数是最佳匹配,可能依赖于在匹配不同函数中是否涉及了一个或多个类类型转换。如果重载集中的两个函数可以用同一转换函数匹配,则使用在转换之后或之前的标准转换序列的等级来确定哪个函数具有最佳匹配。否则,如果可以使用不同转换操作,则认为这两个转换是一样好的匹配,不管可能需要或不需要的标准转换的等级如何//没理解往下看

void compute(int);
void compute(double);
void compute(long double);

假定使用原来的 SmallInt 类,该类只定义了一个转换操作符——从 SmallIntint 的转换,那么,如果将 SmallInt 对象传给 compute,该调用与接受一个 intcompute 版本相匹配。

三个函数都是可行的:

compute(int) 可行,因为 SmallInt 有到 int 的转换,该转换是对形参的完全匹配;compute(double)compute(long double) 也是可行的,可以使用到 int 的转换,后面跟上适当的用于 doublelong double 的标准转换。因为可以用同一类类型转换来匹配这三个函数,如果存在标准转换,就用标准转换的等级确定最佳匹配。因为完全匹配比标准转换更好,所以选择 compute(int) 函数作为最佳可行函数。只有两个转换序列使用同一转换操作时,才用类类型转换之后的标准转换序列作为选择标准//如,不论是调用compute(int),compute(double)还是compute(long double),都是得先使用“SmallInt转换为int”这个转换,所以这三者才能比较出优劣;倘若,有从SmallInt转换为int的转换,又有从SmallInt转换为double的转换,就比较不出compute(int)和compute(double)的优劣了。

  • 多个转换和重载确定

现在可以看看为什么增加一个到 double 的转换是个坏主意。如果使用修改后的定义了到 intdouble 的转换的 SmallInt 类,则用 SmallInt 值调用 compute 具有二义性:

class SmallInt {
public:
// Conversions to int or double from SmallInt
// Usually it is unwise to define conversions to multiple arithmetic types
operator int() const { return val; }
operator double() const { return val; }
// ...
private:
std::size_t val;
};
void compute(int);
void compute(double);
void compute(long double);
SmallInt si;
compute(si); // error: ambiguous

在这个例子中,可以使用 operator int 转换 si 并调用接受 int 参数的 compute 版本,或者,可以使用 operator double 转换 si 并调用 compute(double)。编译器将不会试图区别两个不同的类类型转换。具体而言,即使一个调用需要在类类型转换之后跟一个标准转换,而另一个是完全匹配,编译器仍会将该调用标记为错误。//这种情况下,当调用compute(SmallInt),compute就不知道是该将SmallInt转换为int从而调用compute(int)还是将SmallInt转换为double调用compute(double)了

  • 显示强制转换消除二义性

面对二义性转换,程序员可以使用强制转换来显式指定应用哪个转换操作:

void compute(int);
void compute(double);
SmallInt si;
compute(static_cast<int>(si)); // ok: convert and call compute(int)

这个调用现在是合法的,因为它显式指出了将哪个转换操作应用到实参。实参类型强制转换为 int,该类型与接受 int 参数的第一个 compute 版本完全匹配。

  • 标准转换和构造函数

比如:

class SmallInt {
public:
SmallInt(int = );
};
class Integral {
public:
Integral(int = );
};
void manip(const Integral&);
void manip(const SmallInt&);
manip(); // error: ambiguous

问题在于,IntegralSmallInt 这两个类都提供接受 int 参数的构造函数,其中任意一个构造函数都可以与 manip 的一个版本相匹配,因此,函数调用有二义性:它既可以表示将 Integral 转换为 int 并调用 manip 的第一个版本,也可以表示 SmallInt 转换为 int 并调用 manip 的第二个版本。

即使其中一个类定义了实参需要标准转换的构造函数,这个函数调用也可能具有二义性。例如,如果 SmallInt 定义了一个构造函数,接受 short 而不是 int 参数,函数调用 manip(10) 将在使用构造函数之前需要一个从 intshort 的标准转换。在函数调用的重载版本中进行选择时,一个调用需要标准转换而另一个不需要,这一事实不是实质性,编译器不会更喜欢直接构造函数,调用仍具有二义性。//Why?

  • 显示构造函数调用消除二义性

调用者可以通过显式构造所需类型的值而消除二义性:

manip(SmallInt());    // ok: call manip(SmallInt)
manip(Integral()); // ok: call manip(Integral)

在调用重载函数时,需要使用构造函数或强制类型转换来转换实参,这是设计拙劣的表现。

  • 重载、转换和操作符

重载操作符就是重载函数,使用与确定重载函数调用一样的过程来确定将哪个操作符(内置的还是类类型的)应用于给定表达式。给定如下代码:

ClassX sc;
int iobj = sc + ;

有四种可能性:

有一个重载的加操作符与 ClassXint 相匹配;存在转换,将 sc 和/或 int 值转换为定义了 + 的类型。如果是这样,该表达式将先使用转换,接着应用适当的加操作符;因为既定义了转换操作符又定义了 + 的重载版本,该表达式具有二义性;因为既没有转换又没有重载的 + 可以使用,该表达式非法。

  • 重载确定和操作符

成员函数和非成员函数都是可能的,这一事实改变了选择候选函数集的方式。

选择候选函数;选择可行函数,包括识别每个实参的潜在转换序列;选择最佳匹配的函数。
  • 操作符的候选函数

一般而言,候选函数集由所有与被使用的函数同名的函数构成,被使用的函数可以从函数调用处看到对于操作符用在表达式中的情况候选函数包括操作符的内置版本以及该操作符的普通非成员版本。另外,如果左操作符具有类类型,而且该类定义了该操作符的重载版本,则候选集将包含操作符的重载版本。一般而言,函数调用的候选集只包括成员函数或非成员函数,不会两者都包括。而确定操作符的使用时,操作符的非成员和成员版本可能都是候选者。

确定指定函数的调用时,与操作符的使用相反,由调用本身确定所考虑的名字的作用域。如果是通过类类型的对象(或通过这种对象的引用或指针)的调用,则只需考虑该类的成员函数。具有同一名字的成员函数和非成员函数不会相互重载。使用重载操作符时,调用本身不会告诉我们与使用的操作符函数作用域相关的任何事情,因此,成员和非成员版本都必须考虑

  • 警告:转换和操作符

正确设计类的重载操作符、转换构造函数和转换函数需要多加小心。尤其是,如果类既定义了转换操作符又定义了重载操作符,容易产生二义性。下面几条经验规则会有所帮助:

不要定义相互转换的类,即如果类 Foo 具有接受类 Bar 的对象的构造函数,不要再为类 Bar 定义到类型 Foo 的转换操作符

避免到内置算术类型的转换。具体而言,如果定义了到算术类型的转换,则不要定义接受算术类型的操作符的重载版本。如果用户需要使用这些操作符,转换操作符将转换你所定义的类型的对象,然后可以使用内置操作符。不要定义转换到一个以上算术类型的转换。让标准转换提供到其他算术类型的转换。

最简单的规则是:对于那些“明显正确”的,应避免定义转换函数并限制非显式构造函数

  • 转换可能引起内置操作的二义性

我们再次扩展 SmallInt 类。这一次,除了int 的转换操作符接受 int 参数的构造函数(类和内置类型转换的两种方式)之外,将增加一个重载的加操作符:

class SmallInt {
public:
SmallInt(int = ); // convert from int to SmallInt
// conversion to int from SmallInt
operator int() const { return val; }
// arithmetic operators
friend SmallInt
operator+(const SmallInt&, const SmallInt&);
private:
std::size_t val;
};

现在,可以用这个类将两个 SmallInts 对象相加,但是,如果试图进行混合模式运算,将会遇到二义性问题:

SmallInt s1, s2;
SmallInt s3 = s1 + s2; // ok: uses overloaded operator+
int i = s3 + ; // error: ambiguous

第一个加使用接受两个 SmallInt 值的 + 的重载版本。第二个加有二义性,问题在于,可以将 0 转换为 SmallInt 并使用 +SmallInt 版本//先利用构造函数SmallInt(int = 0)将0转换为SmallInt类型,再利用重载的加号操作符实现,也可以将 s3 转换为 int 值并使用 int 值上的内置加操作符//利用转换操作符int()实现

  • 可行的操作符函数和转换

通过为每个调用列出可行函数,可以理解这两个调用的行为。在第一个调用中,有两个可行的加操作符:

operator+(const SmallInt&, const SmallInt&)

The built-in operator+(int, int),即内置的 operator+(int, int)

第一个加不需要实参转换——s1s2 与形参的类型完全匹配。使用内置加操作符对两个实参都需要转换,因此,重载操作符与两个实参匹配得较好,所以将调用它。对于第二个加运算:

int i = s3 + ;          // error: ambiguous

两个函数同样可行。在这种情况下,重载的 + 版本与第一个实参完全匹配,而内置版本与第二个实参完全匹配。第一个可行函数对左操作数而言较好,而第二个可行函数对右操作数而言较好。因为找不到最佳可行函数,所以将该调用标记为有二义性的//第一个可行函数会利用SmallInt(int)构造函数将0转换为SmallInt类型,然后再加;第二个内置的operator+会利用转换操作符将SmallInt转换为int类型,再进行加

《C++ Primer》之重载操作符与转换(下)的更多相关文章

  1. C++ Primer 学习笔记_60_重载操作符与转换 --赋值、下标、成员訪问操作符

    重载操作符与转换 --赋值.下标.成员訪问操作符 一.赋值操作符 类赋值操作符接受类类型形參,通常该形參是对类类型的const引用,但也能够是类类型或对类类型的非const引用.假设未定义这个操作符, ...

  2. C++ Primer 学习笔记_61_重载操作符与转换 --自增/自减操作符

    重载操作符与转换 --自增/自减操作符 引言: 自增,自减操作符常常由诸如迭代器这种类实现,这种类提供相似于指针的行为来訪问序列中的元素.比如,能够定义一个类,该类指向一个数组并为该数组中的元素提供訪 ...

  3. C++ Primer 学习笔记_62_重载操作符与转换 --调用操作符和函数对象

    重载操作符与转换 --调用操作符和函数对象 引言: 能够为类类型的对象重载函数调用操作符:一般为表示操作的类重载调用操作符! struct absInt { int operator() (int v ...

  4. C++ 重载操作符与转换

    <C++ Primer 4th>读书笔记 重载操作符是具有特殊名称的函数:保留字 operator 后接需定义的操作符号. Sales_item operator+(const Sales ...

  5. 《C++ Primer》之重载操作符与转换(中)

    赋值操作符 类赋值操作符接受类类型形参,通常,该形参是对类类型的 const 引用,但也可以是类类型或对类类型的非 const 引用.如果没有定义这个操作符,则编译器将合成它.类赋值操作符必须是类的成 ...

  6. C++ Primer 学习笔记_63_重载运算符和转换 --转换和类类型【上】

    重载运算符和转换 --转换与类类型[上] 引言: 在前面我们提到过:能够用一个实參调用的位 unsignedchar 相同范围的值,即:0到255. 这个类能够捕获下溢和上溢错误,因此使用起来比内置u ...

  7. C++ Primer 有感(重载操作符)

    1.用于内置类型的操作符,其含义不能改变.也不能为任何内置类型定义额外的新的操作符.(重载操作符必须具有至少一个类类型或枚举类型的操作数.这条规则强制重载操作符不能重新定义用于内置类型对象的操作符的含 ...

  8. C++ operator关键字(重载操作符)(转)

    operator是C++的关键字,它和运算符一起使用,表示一个运算符函数,理解时应将operator=整体上视为一个函数名. 这是C++扩展运算符功能的方法,虽然样子古怪,但也可以理解:一方面要使运算 ...

  9. C++中operator关键字(重载操作符)

    operator是C++的关键字,它和运算符一起使用,表示一个运算符函数,理解时应将operator=整体上视为一个函数名. 这是C++扩展运算符功能的方法,虽然样子古怪,但也可以理解:一方面要使运算 ...

随机推荐

  1. IIS 7如何实现http重定向https

    转自[http://blog.csdn.net/xuhuojun/article/details/6137154] 在不少的企业当中,网站设计出于安全的考虑使用了https协议,但同时公司也开放了80 ...

  2. 定时发布任务,在global.asax中获取文件的物理路径的方法

    如果要把一个相对路径或者虚拟路径映射道服务器的物理路径,通常会使用Server.MapPath()函数,比如将根目录下的html目录映射为物理路径:Server.MapPath("html& ...

  3. tfs 清除缓存,在需要时

    C:\Users\xxx\AppData\Local\Microsoft\Team Foundation\5.0

  4. maven 3.3.9-bin 和 maven 3.3.9-src 的区别 以及 maven安装包的 .tar.gz后缀与.zip 后缀的区别

    (maven 3.3.9-bin)一个是class的文件包,由java文件编译成的,(maven 3.3.9-src )一个是java文件包即是源码(.tar.gz后缀)是linux的压缩包,(.zi ...

  5. 图片的 base64 编码

    图片的 base64 编码就是将一幅图片编码成一串字符串,使用该字符串代替图像地址.我们所看到的网页上的图片,都是需要消耗一个 http 请求下载而来的:(所有才有了 csssprites 技术< ...

  6. Android编程获取手机的IMEI

    手机在生产时,每部手机均有一个唯一的标识(ID),国际上采用国际移动设备身份码(IMEI, International Mobile Equipment Identity).IMEI是由15位数字组成 ...

  7. @Autowired注解(转)

    5.6.4 @Autowired注解 自Spring诞生以来,

  8. SSLPinning 延伸

    AFSecurityPolicy用于验证HTTPS请求的证书,先来看看HTTPS的原理和证书相关的几个问题. HTTPS HTTPS连接建立过程大致是,客户端和服务端建立一个连接,服务端返回一个证书, ...

  9. android 知识点

    版本更新 数据库Relam 图片加载库 视频bilibili 幻灯片 网络请求框架 内存检测工具 内存优化总结 压缩包下载并且解压 新闻资讯导航 联系人 滑动退出activity mvp框架 加载进度 ...

  10. CodeForces 703D Mishka and Interesting sum

    异或运算性质,离线操作,区间求异或和. 直接求区间出现偶数次数的异或和并不好算,需要计算反面. 首先,很容易求解区间异或和,记为$P$. 例如下面这个序列,$P = A[1]xorA[2]xorA[3 ...