c++ - 构造函数解析顺序的问题

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(const std::string&) 在将字符串文字传递给 T 的构造函数时隐式调用。目前我发现的唯一解决方法是添加另一个构造函数，它具有最高的优先级:

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

3. 除了上述解决方案外，声明显式T(const bool)以避免混淆并不能解决上述问题:在这种情况下，尽管T t = "" 现在被禁止了，为什么形式 T t("") 仍然被允许并且调用 T(const bool) ？

Answer 1

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

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

char const* -> std::string 转换是用户声明的转换:它利用 std::string 的转换构造函数，该构造函数接受 字符常量*。

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

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

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

或者，您可以使用带有 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。