为什么编译器选择 bool 而不是 string 来进行 L"" 的隐式类型转换？

Question

最近引入了方法的重载，应用程序开始失败。 最终追踪到它，新方法正在我意想不到的地方被调用。

我们对其

setValue( const std::wstring& name, const std::wstring& value );

std::wstring avalue( func() );
setValue( L"string", avalue );
std::wstring bvalue( func2() ? L"true", L"false" );
setValue( L"bool", bvalue );
setValue( L"empty", L"" );

进行了更改，以便在存储 bool 值时我们使用相同的字符串（字符串的内部数据存储）

setValue( const std::wstring& name, const std::wstring& value );
setValue( const std::wstring& name, const bool& value );

std::wstring avalue( func() );
setValue( L"string", avalue );
setValue( L"bool", func2() );
setValue( L"empty", L"" ); << --- this FAILS!?!

L"" 的问题是它是隐式转换的，以前它很乐意成为 std::wstring，但不是，它更喜欢成为一个布尔值。 MSVC 编译器不会抱怨或发出警告，所以我担心即使我“修复” setValue( L"empty", L"" ); 成为

setValue( L"empty", std::wstring() );

其他人可能会稍后出现，只需使用 setValue( L"empty", L"" ); 并且必须再次追踪这个问题。

我们考虑在方法上使用显式，但它不是这种用法的有效关键字。 有没有办法让编译器抱怨这个问题，或者以其他方式阻止这个问题？ 否则，我正在考虑更改采用 bool 的方法的名称，以确保它不会做出错误的猜测。

Answer 1

一、这个问题的原因：C++ Standard [over.ics .rank]/2.1¹ 定义转换序列的顺序。 它说用户定义的转换序列比标准转换序列更糟糕。 在您的情况下，字符串文字会经历布尔转换（在 4.12 中定义。这是标准转换）。 它不使用用户定义的到 std::wstring 的转换，如果它采用其他重载，则需要该转换。

我建议简单地更改其中一个重载的名称，或者添加一个直接接受字符串文字的重载（使用参数类型 wchar_t const*）。

---

¹⁾

比较隐式转换序列的基本形式（如[over.best.ics]中定义）

(2.1) 标准转换序列是比用户定义的转换序列或省略号转换序列更好的转换序列，并且
(2.2) 用户定义的转换序列是比省略号转换序列更好的转换序列。

Answer 2

L"" 是指向宽字符串的指针。 编译器认为转换为 bool 优先于转换为 std::wstring。

为了解决这个问题，引入一个新的 setValue：

void setValue(std::wstring const& name, const wchar_t * value);

Answer 3

由于 bool 是内置类型，因此首选从 wchar_t 到 bool 的转换。 我想说，最简单的解决方案是添加一个重载，该重载采用 wchar_t 数组并在其中显式转换：

setValue( const std::wstring& name, const wchar_t s[] )
{
     setValue(name, wstring(s));
}

Answer 4

为了简化一点，以下代码

#include <iostream>
using namespace std;

void f(const string &s)
{  cout << "string version called" << endl;  }

void f(const bool &b)
{  cout << "bool version called" << endl;  }

int main()
{  f("Hello World");  }

打印“bool version called”。 您确定您的代码仅因空字符串而失败吗？

Answer 5

您可以使新函数采用 bool 以外的其他类型——可能只是 bool 的代理——它不能从文字字符串转换。 但实际上我只是重命名布尔函数并完成它。