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

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 pointer-to-mutable-member来编译这段代码？ 如果不可能，请链接到标准C++。

Answer 1

根据C++标准5.5/5这个代码是非法的构造：

上CV-资格， 的限制，并且其中操作数的 CV-限定符 组合以产生方式结果的cv限定符 与5.2.5中给出的E1.E2的 规则相同。 [注意： 不可能使用指向可变成员的指向会员的指针来修改常量类 对象。 例如，

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>(); 
    } 
}; 

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