なにげに const メンバ関数が追加されてる？ それと invariant メンバ関数なるものも． class A { private: int value; int mutableMember() { value = 1; return value; } const int constMember() { /+value = 1;+/ return value; } invariant int invaria…