为什么我不能将const指针插入多集？

Question

例如，根据multiset的文档，请参阅http://www.cplusplus.com/reference/set/multiset/insert/ 。 应该可以插入一个const值。 在我的例子中，multiset是一个指针集合，但是当我尝试插入一个const指针时，我得到一个错误。

template<typename Key>
struct node_key: public node_base {
     node_key(Key k): _key(k) {}
     virtual ~node_key() {}
     const Key& key() const { return _key;}
protected:
     Key _key;
     void _copy_key(node_key<Key> *n) const { n->_key=_key;}
};

template <typename Compare>
struct ptr_less_key {
    ptr_less_key() : _comp() {}
    virtual ~ptr_less_key() {}

    template <typename Pointer>
    bool operator()(const Pointer& a, const Pointer& b) const { return _comp(a->key(), b->key()); }
    Compare _comp;
};

int main() {
  typedef node_key<int>* keyp;
  std::multiset<keyp,ptr_less_key<std::less<int>>> x;
  node_key<int> k(5);
  const node_key<int> *p=&k;
  x.insert(p); //this fails
  return 0;
}

Answer 1

你目前在做什么：你不是试图插入一个const指针，就像你想的那样，而是一个指向const元素的非const指针。

改变这个

const node_key<int> *p=&k;

对此

node_key<int> *const p=&k;

使const关键字适用于指针而不是它指向的内容。

Answer 2

特定

 struct node {
     void member();
     void const_member() const;
 };

考虑四个声明

 node*              pointer_to_node;
 const node*        pointer_to_const_node;
 node* const        const_pointer_to_node;
 const node* const  const_pointer_to_const_node;

const有两个不同的方面：对象node和指针node 。 前两个声明指向node或const node可变指针。 允许（和隐式）从node*到const node*转换，但不是相反，因为这将允许修改const node 。

后两个声明声明各个指针是常量，即这些指针不能被修改（尽管const_pointer_to_node指向的node可以。

 pointer_to_node->member();                              // okay
 pointer_to_node->const_member();                        // okay
 pointer_to_node = new node;                             // okay
 pointer_to_node = const_pointer_to_node;                // okay
 pointer_to_node = pointer_to_const_node;                // ERROR

 pointer_to_const_node->member();                        // ERROR
 pointer_to_const_node->const_member();                  // okay
 pointer_to_const_node = new node;                       // okay
 pointer_to_const_node = pointer_to_node;                // okay
 pointer_to_const_node = const_pointer_to_node;          // okay
 pointer_to_const_node = const_pointer_to_const_node;    // okay

 const_pointer_to_node->member();                        // okay
 const_pointer_to_node->const_member();                  // okay
 const_pointer_to_node = new node;                       // ERROR
 const_pointer_to_node = const_pointer_to_node;          // ERROR
 const_pointer_to_node = pointer_to_const_node;          // ERROR

 const_pointer_to_const_node->member();                  // ERROR
 const_pointer_to_const_node->const_member();            // okay
 const_pointer_to_const_node = new node;                 // ERROR 
 const_pointer_to_const_node = const_pointer_to_node;    // ERROR 
 const_pointer_to_const_node = pointer_to_const_node;    // ERROR