c++ - 如何创建指向可变成员的指针？

Question

考虑以下代码：

struct Foo
{
    mutable int m;

    template<int Foo::* member> 
    void change_member() const {
        this->*member = 12; // Error: you cannot assign to a variable that is const
    }

    void g() const {
    change_member<&Foo::m>();
    }
};

编译器生成错误消息。问题是成员m是可变的，因此允许更改m。但是函数签名隐藏了可变声明。

如何 decalre 指向可变成员的指针以编译此代码？如果不可能，请链接到标准 C++。

Answer 1

根据 C++ 标准 5.5/5，此代码格式不正确：

cv-qualification 的限制，以及操作数的 cv-qualifiers 组合以产生结果的 cv-qualifiers 的方式，与 5.2.5 中给出的 E1.E2 的规则相同。[注意： 不能使用指向可变成员的成员指针来修改 const 类对象。 例如，

struct S {
  mutable int i;
};
const S cs;
int S::* pm = &S::i; // pm refers to mutable member S::i
cs.*pm = 88;         // ill-formed: cs is a const object

]

您可以使用包装类来解决此问题，如下所示：

template<typename T> struct mutable_wrapper { mutable T value; };

struct Foo
{
    mutable_wrapper<int> m;

    template<mutable_wrapper<int> Foo::* member> 
    void change_member() const {
        (this->*member).value = 12; // no error
    }

    void g() const {
    change_member<&Foo::m>();
    }
};

但我认为你应该考虑重新设计你的代码。