构造函数解析顺序的问题

Question

考虑以下 T 的构造函数：

struct T {
    T(const bool) { std::cout << "T(const bool)" << endl; }
    T(const std::string&) { std::cout << "T(const std::string&)" << endl; }
};

T t("");

1. 为什么在构造t时T(const bool)优先于T(const std::string&)？

2. 由于上述优先级可能会导致期望调用 T(const std::string&) 的用户感到困惑，所以在将字符串文字传递给 T 的构造函数时，我可以做些什么来隐式调用 T(const std::string&)。目前我发现的唯一解决方法就是添加另一个构造函数，它的优先级最高：

   T(const char* s)
   {
       std::cout << "T(const char*)" << endl;
       *this = std::string(s);
   }
   

3. 除了上述解决方案，声明explicit T(const bool)以避免混淆并不能解决上述问题：在这种情况下，虽然T t = ""现在被禁止了，为什么T t("")的形式仍然被允许并且确实打电话给T(const bool) ?

Answer 1

为什么T(const bool)在构造t时优先于T(const std::string&)？

"" 是char[1] 类型；这可以通过数组到指针的转换隐式转换为char const*。指针可隐式转换为bool，所有非空指针变为true，所有空指针变为false。这些都是“内置”标准转换。

char const* -> std::string 转换是用户声明的转换：它利用 std::string 的转换构造函数接受 char const*。

在重载解析期间，标准（“内置”）转换优先于用户声明的转换，因此采用 bool 的构造函数在这里比采用 std::string 的构造更好。

目前我发现的唯一解决方法是添加另一个构造函数

这听起来像是一个合理的解决方案；对于您描述的简单场景，当然是最直接的解决方案。不过，您对*this 的赋值有点笨拙。最好让两个构造函数都委托给一些初始化函数。

或者，您可以将带有enable_if 的模板用于您希望禁止转换的任何构造函数：

template <typename U>
T(U, std::enable_if<std::is_same<U, bool>::value>::type* = 0) { }

这个构造函数只能用bool 参数调用，没有别的。您可以在 Boost、C++ TR1 或 C++0x 中找到 enable_if 和 is_same。您还可以使用 !is_pointer、is_integral 或其他类型特征的组合来允许其他一些参数类型，但不允许使用 char const*。

或者，作为另一种选择，您可以完全避开bool，并使用您自己的枚举与对应于true 和false 的枚举数作为构造函数。这是否有意义取决于您的用例。

声明explicit T(const bool) 来避免并不能解决上述问题...为什么T t("") 形式仍然允许并且调用T(const bool)？

explicit 仅不允许隐式转换为 T。 T t(""); 根本没有转换为 T；它直接初始化对象t，通过将参数"" 传递给最匹配的构造函数来构造它。

Answer 2

"" 可以同时转换为std::string 和bool。

问题是，它将以哪种方式转换？

• 转换为std::string 是用户定义的转换。
• 转换为bool 是一种标准转换。

所以答案是，标准转换比用户定义的转换具有更高的优先级。所以"" 将转换为bool。

例子，

struct A
{
   A(int i) {} //i.e an int can implicity convert to A
};

void f(const A &) { cout << "User-defined conversion won" << endl; }
void f(const bool &) { cout << "Standard conversion won" << endl; }

int main() {
        f (10);
        return 0;
}

输出：

Standard conversion won

在线演示：http://www.ideone.com/5Bt0K

在上面的演示中，10 可以同时转换为A 和bool。由于转换为bool 是标准转换，因此它转换为bool，而不是A。

Answer 3

因为如果内置转换可用，则不考虑用户定义的转换。

使用第三个构造函数，它采用const char*。没有更好的办法。