c++ - 隐式转换 C++

标签 c++ implicit-conversion

考虑这种情况:

ClassA obA;
ClassB obB;

obA = obB;

是否正确,如果 ClassA 有一个构造函数,其参数类型为 ClassB,那么在这种情况下会调用它吗?

如果 ClassB 中有重载的转换运算符 - 将 ClassB 对象转换为 ClassA 对象,将调用运算符方法。如果有相应的构造函数和重载的转换运算符,将调用哪一个?我在哪里可以阅读它?

最佳答案

Is it right, that if ClassA has a constructor which has a parameter of type ClassB, it will be called in this case?

是的,构造函数被认为是隐式类型转换:

Type conversions of class objects can be specified by constructors and by conversion functions. These conversions are called user-defined conversions and are used for implicit type conversions (Clause 4), for initialization (8.5), and for explicit type conversions (5.4, 5.2.9).

具有签名 ClassA::ClassA(ClassB) 的构造函数称为 converting-constructor。在赋值等函数调用期间,构造函数和用户定义的转换运算符被编译成重载集,并选择最佳的进行转换。

如果选择构造函数:如果源类型是按值类型,它将创建源类型 (ClassA) 类型的纯右值,并使用目标类型 ( ClassB), 用于初始化参数。如果源类型是引用,reference-initialization rules被使用。


赋值运算符在 ClassA 中隐式生成(假设它们没有被覆盖)。它们是:

ClassA& operator=(ClassA const&);
ClassA& operator=(ClassA      &&);

隐式转换序列可以选择构造函数或转换函数来从 ClassB -> ClassA const&ClassB -> ClassA&& 进行转换。

但是,在这种情况下,根据您的情况,转换将无法成功,因为它会不明确。考虑:

struct B { operator struct A(); };

struct A {
    A() = default;
    A(B) {}
};

B::operator A() { return A(); }

int main() 
{
    A a; B b;
    a = b; // Error! Ambiguous conversion
}

A::A(B)B::operator A() 都是用于转换的可行转换函数。因此,转换是不明确的,我们会得到一个编译错误。

User-defined conversions are applied only where they are unambiguous (10.2, 12.3.2).

如果我们将 A 类中的转换构造函数的签名更改为 A::A(B const&),则 B< 中的转换运算符 将被使用,因为 A 的构造函数需要限定转换(添加 const)。

cppreference 上有一个话题您可以在哪里了解更多信息。

关于c++ - 隐式转换 C++,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/29898613/

相关文章:

scala - 使用隐式推断未知类型

c++ - Consexpr if 具有非 bool 条件

scala - 在参数化类中混合通用特征而不重复类型参数

成员的 C++11 decltype

c++ - C++的整数参数

c++ - 按字母顺序打印 std::multimap 键和值

c - 用C实现内存中的二维数组

c++ - 我想用 CMake 生成和编译 Visual Studio 项目我需要从构建中排除单元测试文件。有没有办法做到这一点?

c++ - 在 C++ 项目中构建事件

c - `integer conversion rank` 定义不明确