c – 使用或不使用const来修改/允许修改引用的值而不接触字段本
|
我不确定完全理解用于类方法的const关键字背后的哲学.
我一直以为在类方法的签名中使用const关键字意味着这个方法不会修改它所调用的对象的字段. whateverT & vector<whateverT>::operator [] ( size_t pos ) 无论您使用的引用方式如何,即使引用的项目被修改,它也不会对向量的字段进行任何修改. 另一个例子 ： template<class T> class Array
{
T * _items;
T & operator [] ( size_t pos ) const
{
return _items[ pos ];
}
}
我可以使用const关键字,因为_items的值不被修改(不管我们用什么指向它).对于编译器,这是正确的,但是如果我访问其中一个项目并对其进行修改,那么operator []将允许修改数组,即使它应该是const,也就是说不应该修改数组的“content” . 在这种情况下应该做什么？使用或不使用const关键字？ 谢谢 ：) 解决方法
这是您的设计决定的问题. Constness旨在用作设计理念.它应该帮助你实现一个更高层次的概念,你认为“修改”和“不修改”访问.通过在类的方法中正确使用const,可以使属性“不可修改”通过引用从一个对象传播到另一个对象.
“引用其他对象”可以代表至少两种不同的设计关系： >它可以用于实现聚合,在这种情况下,裁判被认为是引荐来源的组成部分.在这种情况下,您通常应该强制执行访问完整对象的所有部分的常量：如果引用者不变,则裁判员也应被视为不变的.您有责任通过适当地对您的课堂界面进行限定来执行后者. 为了支持这个概念,你通常不会尝试修改引荐来源的const方法中的裁判(尽管它是正式可能的).另一种方法是：如果某些引用方法修改了裁判的内容,那么您不应该声明该方法const(即使是正式可能).此外,引用的const方法不应该返回非常数引用的裁判. 在这种情况下,外部世界甚至不应该知道聚合对象通过引用存储.这只是一个实现细节.对于外部世界,所有内容都应该看起来像聚合对象是引荐来源的直接成员. 这正是您在std :: vector的情况下观察到的.它被设计为确保整个向量的常数传播到向量元素的常数的方式.为了实现它实现两个版本的operator [] reference operator[]( size_type pos ); const_reference operator[]( size_type pos ) const; >它可以用于实现并不意味着聚合的纯引用.在这种情况下,裁判被认为是一个完全独立的,不相关的对象.引荐人的惯例不应该传播给裁判.在这种情况下可以修改引荐来源的const方法中的裁判.从引用来自的const方法返回非常数引用到裁判是可以的. 这个设计的一个例子是标准的智能指针：指针指向指针,但是指针的常量并不意味着指针的一致性.例如,std :: shared_ptr只有一个版本的operator * T& operator*() const; 这被声明为const,但仍返回一个非常量的引用对象. （编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |