C++11 隐式转换

C++11 implicitly convert

本文关键字：转换 C++11      更新时间：2023-10-16
#include <string>
struct String
{
    template<typename T> operator T*() { return 0; }
    operator std::string() { return ""; }
};
int main()
{
    String myStr;
    std::string str1(myStr); // ambiguous, error C2668
    std::string str2 = myStr; // error C2440:
    // 'initializing' : cannot convert from 'String' to
    // `std::basic_string<char,std::char_traits<char>,std::allocator<char>>',
    // No constructor could take the source type,
    // or constructor overload resolution was ambiguous
    const std::string& rStr = myStr; // Ok, but why?
}

我正在使用VS 2013。

问题：

  1. 为什么 str1 和 str2 的定义会导致不同的编译错误？

  2. 据我所知，创建rStr时，首先创建一个临时字符串对象，然后rStr引用临时对象。但是，为什么创建临时对象不会导致编译错误？tmp和strN之间有什么区别吗？

第一个定义，std::string str1(myStr);确实模棱两可：

std::string str1(myStr.operator char*());
// or
std::string str1(myStr.operator std::string());

因此，由于歧义，此初始化失败。

这本质上与

void foo(char const*);
void foo(std::string);
foo(myStr); // ambiguous

只需要一个用户定义的转换，然后将调用一个函数(对于第一个定义，该函数是构造函数(。两种转换都是可行的，并且两者都不是另一个的子集，因此两者具有相同的排名。

第二个定义，std::string str2 = myStr;实际上很好。只允许通过构造函数或转换函数进行一次用户定义的std::string转换，而不是两者兼而有之。所以只有std::string str2 = myStr.operator std::string();是可行的。

注意string str2 = expr;当expr不属于string类型时，需要将expr转换为std::string。然后使用生成的临时通过复制/移动初始化str2：

string str2 = string(expr);
//            ~~~~~~ implicit

因此，右侧的转换必须直接转换为 std::string ，否则您将需要两个用户定义的转换链来初始化临时：(UDC = 用户定义的转换(

string str2 = string(expr);
// resolved as:
string str2 = expr.operator string();        // fine: one implicit UDC
string str2 = string(expr.operator char*()); // error: two UDCs

例如，expr通过operator char* char const*，然后通过转换构造函数std::string需要两个用户定义的转换链 => 不可行。如果我们尝试使用operator char*()转换，我们需要一个额外的构造函数隐式构造函数调用来使 RHS 成为string。

这与string str1( expr )不同，expr不需要隐式转换为string。可能必须转换它才能初始化字符串构造函数的参数。从可能转换的expr直接初始化str1本身不是隐式转换本身，而只是一个函数调用。不会创建额外的临时：

string str1( expr );
// resolved as:
string str1( expr.operator string() ); // fine
string str1( expr.operator char* () ); // fine

在使用启用的语言扩展进行编译时，将拒绝第二个定义。如果没有语言扩展，此初始化在VS2013更新2中是正常的。

第三个遵循不同的初始化方案。据我所知，在这种情况下，它的行为应该类似于第二个。语言扩展似乎仅适用于第二个，而不适用于第三个。

相关文章：