c++中带有隐式转换的复制初始化

Copy-initialization with implicit conversion in c++

本文关键字：转换 复制 初始化 c++      更新时间：2023-10-16
class Foo {
  public:
    Foo(float b) {}
};
class Bar {
  public:
    Bar(Foo foo) {}
};
int main(int argc, char *argv[]) {
    Bar b1(3.0f);  // accept, one implicit convertion happens there.
    Bar b2 = 3.0f;  // error: no viable conversion from 'float' to 'Bar'
    return 0;
}

为什么第二个表达式编译失败?我期望它调用与第一个表达式相同的转换构造函数。

From [dcl.init]:

否则(即，对于剩余的复制初始化情况)，用户定义的转换序列可以将从源类型转换为目标类型，或者(当为转换函数时)使用)来枚举派生类，如13.3.1.4所述，最好的是通过重载解析(13.3)选择。

可以调用用户定义的从源类型直接到目标类型的转换。也就是说，如果我们有Bar(float )，我们会考虑这个构造函数。然而，在这种情况下，我们的候选者只是Bar(Foo )，它不需要float。

允许0个或一个用户定义的转换。在直接初始化的情况下，我们只需调用Bar(Foo )，它调用一个用户定义的转换(float --> Foo)。在复制初始化的情况下，我们正在寻找从float(源类型)一直到Bar(目标类型)的转换序列，这将涉及两个用户定义的转换(float --> Foo, Foo --> Bar)，因此出现错误。

第二种类型的初始化称为复制初始化，使用复制构造函数。因此，这种类型的初始化期望右侧可转换为Bar。

相关文章：