c++ - 调用 LLVM 中隐式删除的复制构造函数

Question

根据 C++11 规则，默认生成 6 个东西(默认构造函数、复制构造函数、移动构造函数、复制赋值、移动赋值和析构函数)。根据第二条规则，当定义了任何自定义复制、移动或析构函数时，不会生成这些默认操作。但在我后面的代码中，情况并非如此。但是这段代码编译失败，报错

call to implicitly deleted copy constructor of 'Uni'

当我为 Uni 编写自己的复制构造函数时，一切正常。 (代码中有注释，供引用)

任何想法都非常感谢。

最后，我在 Mac 上运行这个，Xcode 和 LLVM 编译器。

非常感谢...

#include <iostream>

class A
{
public:
    A(int i) :num{i}
    {
        std::clog<< "ctor  A() num = " << num << "\n";

    }
    A( A const &aRef)
    :num{aRef.num}
    {
        std::clog << " copy ctor A( A const &aRef) num = " << num << "\n";
    }

    int value()
    {
        return num;
    }

private:
    int num;

};
class Uni
{

public:
    Uni(A* aptr) : up{aptr}
    {
        std::clog << " ctor Uni value = " << up.get()->value() << "\n";
    }
    /*Uni(Uni const &uRef)
    {
        std::clog << " copy ctor Uni copying obj pointed by unique_ptr\n";
        up.reset(uRef.up.get() ? new A{*uRef.up.get()} : nullptr);
    }*/
private:
    std::unique_ptr<A> up;

};

int main(int argc, const char * argv[])
{
    Uni one{new A{10}};
    Uni two{one}; //default copy ctor is implicitly deleted. why ?
}

Answer 1

用于自动生成特殊成员的 C++11 规则并不像您发布的那么简单。最重要的区别是，在某些情况下，成员是隐式声明的，但定义为已删除。这就是你的情况。

C++11，[class.copy]§11:

A defaulted copy/move constructor for a class X is defined as deleted (8.4.3) if X has:

• a variant member with a non-trivial corresponding constructor and X is a union-like class,
• a non-static data member of class type M (or array thereof) that cannot be copied/moved because overload resolution (13.3), as applied to M's corresponding constructor, results in an ambiguity or a function that is deleted or inaccessible from the defaulted constructor,
• a direct or virtual base class B that cannot be copied/moved because overload resolution (13.3), as applied to B's corresponding constructor, results in an ambiguity or a function that is deleted or inaccessible from the defaulted constructor,
• any direct or virtual base class or non-static data member of a type with a destructor that is deleted or inaccessible from the defaulted constructor,
• for the copy constructor, a non-static data member of rvalue reference type, or
• for the move constructor, a non-static data member or direct or virtual base class with a type that does not have a move constructor and is not trivially copyable.

(强调我的)

---

更一般地说，自动生成的类成员的规则是:

• 如果类没有用户提供的构造函数，则声明一个默认构造函数。

• 如果类没有用户提供的复制构造函数，则声明一个。

• 如果类没有{用户提供的复制或移动构造函数，用户提供的复制或移动赋值运算符，用户提供的析构函数}，则将声明移动构造函数(但请参阅下面的(*)) .

• 如果类没有用户提供的复制赋值运算符，则声明一个。

• 如果类没有{用户提供的复制或移动构造函数，用户提供的复制或移动赋值运算符，用户提供的析构函数}，则将声明移动赋值运算符(但请参阅下面的(*) )。

• 如果类没有用户提供的析构函数，则声明一个。

任何自动声明的成员都可以定义为默认(执行默认操作)或定义为已删除(如果您尝试使用它，则会出错)。经验法则是“如果默认版本有意义，则将其定义为默认版本。否则，将其定义为已删除。”

在这种情况下，“有意义”是指“不尝试调用已删除、模棱两可、不可访问或其他非法的函数”。例如，我在这个答案的第一部分引用的标准位列出了对复制构造函数没有“意义”的内容。

此外，如果类具有用户提供的移动构造函数或移动赋值运算符，则将自动声明的复制构造函数或复制赋值运算符定义为已删除。

(*) 如果将自动声明的移动构造函数或移动赋值运算符定义为已删除，则根本不声明它。这条规则的存在使得试图隐式移动这样的类会退回到复制它而不是产生错误。