为什么比私有未定义函数更推荐使用已删除函数？

本文翻译自modern effective C++，由于水平有限，故无法保证翻译完全正确，欢迎指出错误。谢谢！ 博客已经迁移到这里啦 如果你为其他开发者提供代码，并且你想阻止他们调用一个特定的函数，你通常不会声明这个函数。函数不声明，函数就不会被调用。太简单了！但是有时候C++会帮你声明函数，并且如果你想要阻止客户调用这些函数，简单的事情就不再简单了。 这种情况只发生在“特殊的成员函数”身上，也就是，当你需要这些成员函数的时候，C++会自动帮你生成。Item 17详细地讨论了这些函数，但是现在，我们只考虑copy构造函数和copy assignment operator。这章主要讲的是，用C++11中更好的做法替换在C++98中的常用做法。然后在C++98中，你最想抑制的成员函数，常常是copy构造函数，assignment operator，或都想抑制。 在C++98中，阻止这些函数的方法是：把它们声明成private的，并且不去定义它们。举个例子，C++标准库中的iostream类层次的底层有个class template叫做basic_ios。所有istream和ostream继承自（可能不是直接地）这个类。拷贝istream和ostream是不受欢迎的，因为没有一个清晰的概念规定这些操作应该做些什么。举个例子，一个istream对象表示一些输入值的流，有些值已经被读过了，有些值可能会在之后读入。如果一个istream被拷贝，那么是否有必要拷贝所有之前读过以及以后要读的值呢？处理这个问题的最简单的办法就是，定义它们为不存在的。要做到这点，只需要禁止stream的拷贝就行了。 为了使istream和ostream类不能拷贝，basic_ios在C++98中如此实现（包括注释）： template<class charT, class traits = char_traits<charT> > class basic_ios　: public ios_base{ public: ... private: basic_ios(const basic_ios&); // not defined basic_ios& operator=(const basic_ios&); //not defined }; 把这些函数声明为private，可以阻止客户调用它们。故意不去定义它们意味着如果一些代码有权利访问它们（也就是，成员函数或友元类），并使用它们，那么在链接的时候，就会因为找不到函数定义而失败。 在C++11中，有更好的办法，它能在本质上实现所需的功能：使用“=delete”来标记copy 构造函数和copy assignment operator，让它们成为deleted函数。这里给出C++11中的basic_ios的实现： template<calss charT, class trais = char_traits<charT> > class basi_ios : public ios_base{ public: ... basic_ios(const basic_ios&) = delete; basic_ios& operator= (const basic_ios&) = delete; ... }; 把这些函数“删除掉”和把它们声明为private的不同之处看起来除了更时尚一点就没别的了，但是这里有一些实质上的优点是你没想到的。deleted 函数不会被任何方式使用，所以就算在成员函数和友元函数中，它们如果尝试拷贝basic_ios对象，它们也会失败。比起C++98（这样的错误使用在链接前无法被诊断出来），这算是一个提升。 按照惯例，deleted函数被声明为public，而不是private。这是有原因的。当客户代码尝试使用一个成员函数，C++在检查deleted状态之前，会先检查它的可访问性。当客户代码尝试使用一个deleted private函数，尽管函数的可访问性不会影响到它能否被使用（这个函数总是不可调用的），一些编译器只会“抱怨”出函数是private的。当修改历史遗留的代码，把private-and-not-defined成员函数替换成deleted函数时，尤其要记得这一点（声明deleted函数为public的），因为让新函数成为public的，将产生更好的错误消息。 比起必须要把函数声明为private的，deleted函数还有一个关键的优点，那就是任何函数都可以成为deleted的。