引子
当我们不想向用户提供某个函数功能时,我们只需要不实现它就可以了。但是在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
,包括非类成员函数和模板实例化。