在隐式转换中如何使用显式构造函数

Question

我正在使用列出的资源 explicit 关键字。 >在这里和此帖子说：

将显式关键字在构造函数上前缀防止编译器将构造函数用于隐式转换。

---

现在，我编写了以下示例，该示例使用 explicit 复制constructor b :: b（const b＆amp;）在隐式转换中。示例如下： mre，带有C ++ 14和-fno-elide-Constructors flag

struct A {
    A()
    {
    std::cout<<"A's default ctor called"<<std::endl;
    }
    A(const A&)
    {
        std::cout<<"A's copy ctor called"<<std::endl;
    }
};
class B
{
public:
    B()
    {
        std::cout<<"B default ctor called"<<std::endl;
    }
    B(A)
    {
        std::cout<<"B's parametrized ctor called"<<std::endl;
    }
    explicit B(const B&)
    {
        std::cout<<"explicit B copy ctor called"<<std::endl;
    }
};



int main()
{
    B x;
    //B a = x; //this fails AS EXPECTED

    A y;

    B p = y; //Why doesn't this fail as well? This uses the copy ctor in addition to the param ctor. How the explicit copy ctor is used here in implicit conversion

   
}

输出上述程序是：

B default ctor called
A's default ctor called
A's copy ctor called
B's parametrized ctor called
explicit B copy ctor called   <--------------HOW IS THAT EXPLICIT CTOR IS USED HERE IN IMPLICIT CONVERSION?

因此，我的问题是如何在上述隐式转换中使用明确的副本CTOR。我的意思是，对于我当前的理解，我期望 b p = y; 失败，就像复制初始化 b a = x; 失败。我想知道这是标准允许的，还是编译器错误。

请注意

，在我给定的演示中，使用 -fno-elide-constructors 标志。

Answer 1

我想知道这是标准允许的，还是编译器错误。

这是良好的，由标准允许，如下所述。

可以使用 dcl.init＃17.666.66.66.66.6.6.6.6.6.6.6.6.66.6.6.6.6.6.6.66.66.66.66.66.66> dcl.init .2 哪个指出：

否则（即，对于剩余的副本限制案例），用户定义的转换序列
可以从源类型转换为目标类型或（当转换功能时
如13.3.1.4所述，使用）将其列入其派生类别，最好的是
通过超负荷分辨率（13.3）选择。如果无法完成或模棱两可，
初始化是不形成的。选定的函数用初始化器表达式调用
争论;如果该函数是构造函数，则该调用初始化了CV Unqualified的临时性
目标类型的版本。临时是一个贵族。呼叫的结果（这是
然后，根据上述规则，使用构造函数的临时性来指导
是副本定性化的目的对象。

（强调我的）

让我们将其应用于您的榜样。

在给定的示例中（ b p = y; ）源类型是 a ，而目标类型为 b 。现在，使用非明确的参数化CTOR b :: B（a）使用了从源类型到目标类型的用户定义转换，此处将在此处使用。

此不明显的CTOR将以初始化器表达式作为参数调用。此外，此调用是类型 b 的 prvalue 。

这里要注意的重要一件事是，此调用将用于 DirectInialize 名为 p 的对象。而且，由于在直接初始化上下文中可以使用显式CTOR，因此明确的副本可以并且将在此处使用。

效果是 as-if 我们正在写：

B p{/*prvalue of type B obtained from call to parameterized ctor*/};