gpt4 book ai didi

c++ - 竞争隐式和模板复制构造函数

转载 作者:太空狗 更新时间:2023-10-29 20:15:14 24 4
gpt4 key购买 nike

关于this发布,请解释此行为:

#include <stdio.h>

struct B { B(B&) { } B() { } };
struct A {
template<typename T>
A(T&){ printf("A(T&)\n"); }
A() { }
// B b; // when this is uncommented, output changes
int i;
};

int main() {
A a;
A b(a);

// B b; commented:
// template wins:
// A<A>(A&) -- specialization
// A(A const&); -- implicit copy constructor
// (prefer less qualification)

// B b; uncommented:
// implicit copy constructor wins:
// A<A>(A&) -- specialization
// A(A&); -- implicit copy constructor
// (prefer non-template)

printf("\nA\n");
A const a1;
A b1(a1);

// B b; commented:
// implicit copy constructor wins:
// A(A const&) -- specialization
// A(A const&) -- implicit copy constructor
// (prefer non-template)

// B b; uncommented:
// template wins:
// A(A const&) -- specialization
// (implicit copy constructor not viable)
}

当B b时输出改变;未注释。

显然,当 B b; 取消注释时,隐式复制构造函数从 A(A const&) 更改为 A(A &)。为什么?当我将 B(B&){} 更改为 B(const B&){} 时,复制构造函数变回 A(A const&)。现在编译器满意 A() 的形式参数将是 const?这跟标准有关系吗? (我使用的是 gcc 4.2.4。)

最佳答案

A 类的隐式复制构造函数的签名是A(const A&) 只有可行。当您取消注释 B b; 行时,此复制构造函数不可行,因为 B 的复制构造函数需要一个非常量输入参数。

// Illegal implicit copy constructor
A::A(const A& a) :
b(a.b), // This line would be illegal because a.b is const
i(a.i)
{
}

在这种情况下,隐式复制构造函数也是非常量版本:A(A&);

// Legal implicit copy constructor
A::A(A& a) :
b(a.b), // Fine: a.b is now non-const
i(a.i)
{
}

这就是在类定义中取消注释 B b; 会更改隐式复制构造函数并因此更改程序行为的原因。

编辑:没有直接关系,但为了完整起见:如果 B 没有可访问的复制构造函数(因为它被声明为 private 或被删除),A 不会有隐式复制构造函数。

关于c++ - 竞争隐式和模板复制构造函数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/13913769/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com