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

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

We had

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，但它不喜欢成为 bool。 MSVC 编译器不会抱怨或发出警告，所以我担心即使我“修复” setValue( L"empty", L"" );成为

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

其他人可能会稍后来并简单地使用 setValue( L"empty", L"" );并且必须再次追踪这个问题。

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

First, the cause of this issue: C++ Standard [over.ics.rank]/2.1 http://eel.is/c++draft/over.ics.rank#2.1¹ defines an order for conversion sequences. It says that a user defined conversion sequence is worse than a standard conversion sequence. What happens in your case is that the string literal undergoes a boolean-conversion (defined at 4.12. This is a standard conversion). It does not use the user defined conversion to std::wstring which would be needed if it took the other overload.

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

¹⁾

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

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