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("");

为什么T(const bool)在构造t？

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 = ""，但为什么表格{{1}仍然允许并调用T t("")？

Answer 1

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

""的类型为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*的构造函数。没有更好的方法。

构造函数解析顺序的问题

3 个答案: