如何定义指向 const 对象的可变指针？

Question

我有一个类，其中包含一个指向类外部常量 VARIANT 值的指针，但有时我想更改此指针以引用类本身的 VARIANT 成员对象。

此类的大多数实例都是 const，因此我必须将指针声明为可变的。

在 Visual C++ 中，这段代码似乎做了我想要的事情：

VARIANT mutable const* m_value;

但是，由于可变是指针的属性而不是指针对象的属性，我认为这是正确的语法：

VARIANT const * mutable m_value;

类似于定义常量指针的方式（以及不是指向 const 对象的指针）。但 Visual C++ 不接受此变体。

警告 C4518：“可变”：存储类或类型说明符此处意外；忽略

Visual C++ 是对的，还是我遗漏了什么？另一个更符合标准的编译器的行为是否会有所不同？

Answer 1

Comeau online 似乎同意 VC++ 在这里。

而且也是有道理的！类成员只能可变一次，并且不存在指向可变 const 对象的非常量指针。 “可变常量对象”没有意义。

您应该将 mutable 放在声明前面，因为它与 static 位于同一区域：

class A {
  static  int const* m_p1; // static modifiable pointer to a const object;
  mutable int const* m_p2; // mutable pointer to a const object
  ...
  mutable int *const m_p3; // DOES NOT MAKE sense

m_p3 不会使意义 - 您同时将成员声明为“always mutabel”和“always const”。

Answer 2

VC++是对的。在这种情况下，mutable 是一个存储类说明符，如static、extern 和register。就像

int const* static foo;

无法编译一样，说明符必须出现在声明的开头。

Answer 3

请参阅如何定义指向 const 对象的可变指针？