引子
当我们不想向用户提供某个函数功能时,我们只需要不实现它就可以了。但是在C++中,有一些函数会被默认实现,例如类的复制构造函数(copy constructor)和赋值函数(copy assignment operator)。这时C++98中的方法就是设置其属性为私有函数,通过访问权限来限制用户的实用。
正文
但是上面的方法并不总是成立,例如友元函数(friend function)仍然可以访问类的私有成员和函数。所以在C++11中,我们推荐使用= delete语法来解决这个问题。
template <class charT, class traits = char_traits<charT> >
class basic_ios : public ios_base {
public:
...
basic_ios(const basic_ios& ) = delete;
basic_ios& operator=(const basic_ios&) = delete;
...
};
这里我们将被禁用的函数定义为public,这是因为编译器会优先检查访问权限然后才是是否被delete。为了能有更好的错误信息,我们将其从priavte变成public。
使用delete关键字的一个重要好处就是任何函数都可以被delete而不仅仅是类成员函数。例如我们定义一个来判断一个int型变量是否是幸运数字的函数,由于C++存在隐式转换,故这个函数会接受除了int以外的类型,尽管这并不是我们想要的:
bool isLucky(int number);
if (isLucky('a')) ...
if (isLucky(true)) ...
if (isLucky(3.5)) ...
但是利用delete关键字,我们可以使该函数拒接接受其他类型的参数:
bool isLucky(char) = delete; // reject chars
bool isLucky(bool) = delete; // reject bools
bool isLucky(double) = delete; // reject doubles and floats
当然利用这个技巧,delete关键字还可以帮助我们禁止一些模板实例化(template instantiation)。例如:
template<typename T>
void processPointer(T* ptr);
我们希望禁止该函数访问void *和char *这两类比较特殊的指针 (前者不允许置空,后者往往指代一个字符串而不是字符指针)。那么我们可以写出如下代码:
template<>
void processPointer<void>(void*) = delete;
template<>
void processPointer<char>(char*) = delete;
当然,更彻底地,我们可能还要禁止const void *, volatile char *等参数类型,不过这并不是我们的重点。因为这个功能在C++98中是无法使用private权限来限制的:因为模板特化是在命名空间定义的,而不是类的作用域。
总结
1.禁用函数时优先考虑
delete关键字而不是放在类的私有成员中。
2.任何函数都可以被delete,包括非类成员函数和模板实例化。
本文介绍了如何在C++11中使用=delete语法来禁用类的复制构造函数和赋值函数等功能,这种方法比仅将这些函数设为私有更为有效。此外还展示了如何利用=delete来限制非成员函数和模板实例化的参数类型。

868

被折叠的 条评论
为什么被折叠?



