QList< T *>不能轻易纠正.考虑这个功能
void f(QList<T *> list) { list[0]->constFunction(); }
我可以改变f到
void f(QList<const T *> list)
但后来我不能这样做
f(QList<T *>()); //Compile error
因为编译器不能隐含地转换QList< T *>到QList< const T *>.但是,我可以明确地重新解释QList,如下所示:
template <typename T> inline QList<const T *> &constList(const QList<T *> &list) { return (QList<const T *> &)list; }
这使我能够使用constList模板函数来转换任何QList< T *>进入QList< const T *>,如
f(constList(QList<T *>()));
它似乎工作正常,但实际上这样做是否安全?
解决方法
你正在考虑的铸造功能,……
template< class T > inline QList<T const*>& constList( QList<T*> const& list ) { return reinterpret_cast< QList<T const*>& >( const_cast< QList<T*>& >( list ) ); }
…可能是实用的(可能QList不会根据元素类型的常量改变其对象表示),但它可能会破坏const的正确性.
首先,因为抛弃列表本身的常量不是正确的:它允许您更改原始的const列表.
但即使删除了那个正式的参数const,就像……
template< class T > inline QList<T const*>& constList( QList<T*>& list ) { return reinterpret_cast< QList<T const*>& >( list ); }
……仍有一个常设正确性问题.
原因是该列表构成了一个额外的间接层,并且您的函数本身并不是const.因此,在使用函数获取对具有所谓的指向const元素的列表的引用之后,您可以在该列表中存储指向真正const的内容的指针.然后你可以使用原始列表来修改那个真正的const项目,爆炸.
这与no implicit conversion from T**
to T const**
的原因相同.
没有这些问题你可以做的是,使用已经是指向对象的指针列表,使那些指向对象const:
template< class T > inline QList<T const*> const& constList( QList<T*> const& list ) { return reinterpret_cast< QList<T const*> const& >( list ); }
在形式上仍然存在reinterpret_cast作为一个潜在的问题,但任何专门针对元素常量表示QList的人都应该得到他们得到的任何东西.