构造函数解析顺序的问题

Posted 2023-03-31

技术标签:

【中文标题】构造函数解析顺序的问题【英文标题】：Problems with constructor resolution order 【发布时间】：2011-10-29 11:36:08 【问题描述】：

考虑以下 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("");

T(const bool)

T(const std::string&)

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

T(const char* s)

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

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

【问题讨论】：

【参考方案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，通过将参数"" 传递给最匹配的构造函数来构造它。

【讨论】：

enable_if 应以 ...::type* = 0 结尾。【参考方案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;

输出：