默认生成的特殊函数

构造、拷贝、析构

C++98中,当你创建类的时候编译器会自动生成默认的构造函数,拷贝构造函数,拷贝赋值函数和析构函数:

class Foo {
public:
    // 构造函数
    Foo();
    // 析构函数
    ~Foo();
    // 拷贝构造函数
    Foo(const Foo& rhs);
    // 拷贝赋值函数
    Foo& operator=(const Foo& rhs);
};

移动

C++11引入了新的移动语义,从而编译器默认生成的特殊函数多出了移动构造函数和移动赋值函数:

class Foo {
public:
    // 移动构造函数
    Foo(Foo&& rhs);
    // 移动赋值函数
    Foo& operator=(Foo&& rhs);
};

删除默认生成的特殊函数

在C++98中,可以将函数声明为private并且不提供函数实现:

class Foo {
private:
    // 删除拷贝语义
    Foo(const Foo& rhs);
    Foo& operator=(const Foo& rhs);
};

C++11提供了更清晰的语法,将函数声明为delete即可:

class Foo {
public:
    // 删除拷贝语义
    Foo(const Foo& rhs) = delete;
    Foo& operator=(const Foo& rhs) = delete;
};

析构函数最好别抛出异常

由于C++的RAII特性,当有异常抛出离开当前作用域的时候会对作用域中的对象做析构操作,若这时对象的析构函数再抛出异常就会使得程序异常终止。所以在C++98中建议析构函数最好设置为不抛出异常:

class Foo {
public:
    ~Foo() throw();
};

在C++11中,将这一最佳实践实现为了语言的默认语法,就是类的析构函数自动是noexcept的,即便是用户自己定义的析构函数也是隐含noexcept属性的

class Foo {
public:
    // 等价于~Foo() noexcept;
    ~Foo();
};

顺便提一句,根据«effective modern c++»的说法,虽然throw()noexcept语义是一样的,但是使用noexcept的函数可以被编译器更好地优化,所以C++11中还是用noexcept更好。

上一篇:Codeforces Beta Round #19


下一篇:operator=导致的“异常安全性”。