C++11 之 delete 和 default

来源：互联网发布：程序员实用算法书评编辑：程序博客网时间：2024/05/21 08:03

1 特殊成员函数

设计一个类，没有成员函数 (member function)，只有数据成员 (member data)

class DataOnly {private:    std::string  strName;　　// member data    int       　 iData;};

C++98 编译器会隐式的产生四个函数：缺省构造函数，析构函数，拷贝构造函数 和 拷贝赋值算子，它们被称为特殊成员函数 (special member function)。

在 C++11 中，被称为 “特殊成员函数” 的还有两个：移动构造函数和 移动赋值算子

class DataOnly {public:    DataOnly ()                  // default constructor    ~DataOnly ()                 // destructor    DataOnly (const DataOnly & rhs)         　 　  // copy constructor    DataOnly & operator=(const DataOnly & rhs)    // copy assignment operator    DataOnly (const DataOnly && rhs)         // C++11, move constructor    DataOnly & operator=(DataOnly && rhs)    // C++11, move assignment operator};

2 禁止编译器合成函数

作为开发者，如果不想让用户使用某个类成员函数，不声明该函数即可；但对于特殊成员函数，则是另一种情况。例如，设计一个树叶类，如下所示：

class LeafFromTree{ ... };

莱布尼茨说过，“世上没有两片完全相同的树叶” (Es gibt keine zwei Blätter, diegleich bleiben)，因此，对于一片独一无二的树叶，下面的操作是错误的。

LeafFromTree  leaf1;LeafFromTree  leaf2;LeafFromTree  Leaf3(Leaf1);     // attempt to copy Leaf1 — should not compile!Leaf1 = Leaf2;                  // attempt to copy Leaf2 — should not compile!

由以上代码可知，此时需要避免使用 “拷贝构造函数” 和 “拷贝赋值算子”

2.1 私有+不实现

C++98 中，可声明这些特殊成员函数为私有型 (private)，且不实现该函数，具体如下：

class LeafFromTree{private:    LeafFromTree( const LeafFromTree& );    　　　　　　 // not defined    LeafFromTree & operator=( const LeafFromTree& );    // not defined};

程序中如果调用了 LeafFromTree 类的拷贝构造函数 (或拷贝赋值操作符)，则在编译时，会出现链接错误 (link-time error)

为了将报错提前到编译时 (compile time)，可增加了一个基类 Uncopyable，并将拷贝构造函数和拷贝赋值算子声明为私有型

class Uncopyable {protected:      　　　　　　    Uncopyable() {}　　　　// allow construction and destruction of derived objects...    ~Uncopyable() {} private:    Uncopyable(const Uncopyable&);　　// ...but prevent copying    Uncopyable& operator=(const Uncopyable&);};

而 LeafFromTree 则私有继承自 Uncopyable 基类

// class no longer declares copy ctor or copy assign operatorclass LeafFromTree: private Uncopyable { };

2.2 delete 关键字

C++11 中，可在想要 “禁止使用” 的函数声明后加 “= delete”，而需要保留的加 "= default" 或者不采取操作

class LeafFromTree{public:　　LeafFromTree() = default;　　~LeafFromTree() = default;　　LeafFromTree( const LeafFromTree& ) = delete;　　// mark copy ctor or copy assignment operator as deleted functions　　LeafFromTree & operator=( const LeafFromTree &) = delete; };

3 delete 的扩展

C++11 中，delete 关键字可用于任何函数，不仅仅局限于类成员函数

3.1 函数重载

在函数重载中，可用 delete 来滤掉一些函数的形参类型，如下：

bool isLucky(int number);        // original functionbool isLucky(char) = delete;     // reject charsbool isLucky(bool) = delete;     // reject boolsbool isLucky(double) = delete;   // reject doubles and floats

这样在调用 isLucky 函数时，如果参数类型不对，则会出现错误提示

if (isLucky('a')) …     // error !    call to deleted functionif (isLucky(true)) …    // error !if (isLucky(3.5)) …     // error !

3.2 模板特化

在模板特例化中，也可以用 delete 来过滤一些特定的形参类型。

例如，Widget 类中声明了一个模板函数，当进行模板特化时，要求禁止参数为 void* 的函数调用。

如果按照 C++98 的 “私有不实现“ 思路，应该是将特例化的函数声明为私有型，如下所示：

class Widget {public:    template<typename T>    void processPointer(T* ptr) { … }private:    template<>                 void processPointer<void>(void*);    // error!};

问题是，模板特化应该被写在命名空间域 (namespace scope)，而不是类域 (class scope)，因此，该方法会报错。

而在 C++11 中，因为有了 delete 关键字，则可以直接在类域外，将特例化的模板函数声明为 delete，如下所示：

class Widget {public:    template<typename T>    void processPointer(T* ptr) { … }};template<> void Widget::processPointer<void>(void*) = delete; // still public, but deleted

这样，当程序代码中，有调用 void* 作形参的 processPointer 函数时，则编译时就会报错。

小结：

1) Prefer deleted functions to private undefined ones

2) Any function may be deleted, including non-member functions andtemplate instantiations

0 0