我们常常需要在一个类的内部给出 const(const access)和 non-const(mutual access)同一个函数的两个重载版本,接近于可间接地实现了Java中的 getter(const)/settter(non-const) 方法,然而有些时候,两个函数内部维护的代码几乎相同(duplication),因为首先功能相同,那么我们又该怎么避免代码无意义的重复呢。
const_iterator find(const T& value) const
{
// actual implementation of find
// 真正的实现在 const 版本的函数中实现
}
iterator find(const T& value)
{
return const_cast<iterator>(static_cast<const container*>(this)->find(value));
// const_cast<>:消除常量性
// static_cast<const container*>:增加常量性
}
如果在 non-const 版的find
函数中直接试图调用 const 版的 find
:
iterator find(const T& value)
{
return find(value);
}
将会导致无穷递归,因为 return find(value);
等价于 return this->find(value);
,而 this
是不具有const
属性的,因而,non-const 的this
指针调用的只能是non-const
的成员函数;
iterator find(const T& value)
{
return const_cast<iterator>(static_cast<const container*>(this)->find(value));
// 或者
// return const_cast<iterator>(static_cast<const container&>(*this).find(value));
}