const对象传染媒介给编译错误

Question

我在我的代码中声明了以下内容

vector <const A> mylist; 

我得到以下编译错误 -

new_allocator.h:75: error: `const _Tp* __gnu_cxx::new_allocator<_Tp>::address(const _Tp&) const \[with _Tp = const A]' and `_Tp* __gnu_cxx::new_allocator<_Tp>::address(_Tp&) const [with _Tp = const A]' cannot be overloaded

但如果宣布 -

vector <A> mylist;

我的代码编译.

在这种情况下不允许使用const吗？

我在这里复制我的代码供大家参考 -

#include <iostream>
#include <vector>

using namespace std;
class A
{
public:
    A () {cout << "default constructor\n";}
    A (int i): m(i) {cout << "non-default constructor\n";}

private:
    int m;
};

int main (void)
{
    vector<const A> mylist;

    mylist.push_back(1);

    return 0;
}

Answer 1

向量中的项目必须是可分配的(或者,在标准的最新版本中,可移动).const对象是不可分配的,因此尝试将它们存储在向量中将失败(或者至少可能失败 - 代码无效,但编译器可以自由地接受它,如果它选择的话,尽管大多数程序员通常会更喜欢无效代码被拒绝).

我想对于真正迂腐的人来说,如果你想要足够严重,你可以定义一个尽管是可分配的类型,const如下所示:

class ugly { 
    mutable int x;
public:
    ugly const &operator=(ugly const &u) const { 
        x = u.x;
        return *this;
    }
};

我相信你应该能够存储这种类型的物品,vector即使它们是const.使用VC++快速测试创建这些成功的向量.这与一些较旧的编译器(例如,使用g ++ 4.8.1失败)失败了,但是与最近合适的编译器一起使用(VC++至少回到2015年,g ++回到至少5.4并且将++重新回到4.0至少4.0 - 尽管我没有'我试图追踪支持它的每个版本的第一个版本).

对于当前编译器,支持移动const对象的类型可能也可以正常工作.但是,以防万一它不明显:这允许你修改一个对象,即使它被标记const.这显然是对任何合理用户期望的直接违反,因此它主要是一个问题,而不是解决方案.

Answer 2

使用该push_back方法是个问题.emplace_back将编译.另一种选择(取决于你在这里没有描述的整个情况)将使用vector<A const&>如果插入的项具有向量之外的生命.向量中的项不需要是可赋值的,但如果不是,则不能使用某些成员函数和算法.

说明:

push_back应该首先默认 - 在向量中构造A,然后分配(使用copy-construct)给定的引用.这会破坏您的const资格,因此无法编译.

emplace_back 使用"完美转发"来直接调用实际的构造函数.