非静态常量成员，不能使用默认赋值运算符

Question

我正在扩展的程序经常使用 std::pair 。

在我的代码中有一个点，编译器会抛出一个相当大的错误：

非静态 const 成员，'const Ptr std::pair, const double*>::first' 不能使用默认赋值运算符

我不太确定这指的是什么？ Ptr 类中缺少哪些方法？

导致此问题的原始调用如下：

vector_of_connections.pushback(pair(Ptr<double,double>,WeightValue*));

将 std::Pair, WeightValue*> 放到向量上，其中 WeightValue* 是大约 3 个函数后面的 const 变量，而 Ptr 取自作用于另一个向量的迭代器。

为了将来参考，Ptr 是指向 Node 对象的指针。

Answer 1

您有这样的情况：

struct sample {
    int const a; // const!

    sample(int a):a(a) { }
};

现在，您在某些需要可分配 sample 的上下文中使用它 - 可能在容器中（如地图、矢量或其他东西）。 这将会失败，因为隐式定义的复制赋值运算符会执行以下操作：

// pseudo code, for illustration
a = other.a;

但是 a 是 const！。 你必须让它变得非常量。 这并没有什么坏处，因为只要你不改变它，它在逻辑上仍然是 const :) 你也可以通过引入合适的 operator= 来解决问题，使编译器不< /em> 隐式定义一个。 但这很糟糕，因为您将无法更改您的常量成员。 因此，有一个运算符=，但仍然不可分配！ （因为副本和分配的值不相同！）：

struct sample {
    int const a; // const!

    sample(int a):a(a) { }

    // bad!
    sample & operator=(sample const&) { }
};

但是在您的情况下，明显的问题显然在于std::pair。 请记住，std::map 是根据它包含的键进行排序的。 因此，您无法更改其键，因为这很容易使地图的状态无效。 因此，以下内容成立：

typedef std::map<A, B> map;
map::value_type <=> std::pair<A const, B>

也就是说，它禁止更改其包含的密钥！ 因此，如果您这样做，

*mymap.begin() = make_pair(anotherKey, anotherValue);

映射会向您抛出错误，因为在映射中存储的某些值对中， ::first 成员具有 const 限定类型！

Answer 2

我遇到了同样的问题，并遇到了这个页面。

http://blog.copton.net/archives/2007/10/13/stdvector/ index.html

从页面：

请注意，这不是 GNU 特有的问题。 ISO C++ 标准要求 T 具有赋值运算符（请参阅第 23.2.4.3 节）。 我刚刚展示了 GNU 的 STL 实现的示例，这可能会导致什么结果。

Answer 3

据我所知，在某个地方你有这样的情况：

// for ease of reading 
typedef std::pair<const Ptr<double, double>, const double*> MyPair;

MyPair myPair = MAKEPAIR(.....);
myPair.first = .....;

由于 MyPair 的成员是 const，所以你不能分配给他们。

Answer 4

至少提及编译器抱怨的是哪个对象。 您很可能缺少自定义分配成员。 如果没有，则使用默认成员。可能该类中还有一个 const 成员（正在分配其对象），并且由于无法更改 const 成员，因此您会遇到该错误。

另一种方法：由于它是一个类 const，我建议您将其更改为 static const（如果有意义的话）。