强制在同一类中使用 Getter / Setter (C++)

Question

C++ 中有没有办法强制在类中使用 getter 或 setter？

class C{
   private:
   int x;        // should only be Changed by setX();

   private:
   setX(int i){
       (...)     // enforce some complicated invariantes
       x = i;
   };

   m(){
      x = 5;     // should not not allowed
   }
}

我唯一想到的是将所有超级私有成员作为私有变量放入具有受保护的 getter/setter 的抽象基类中。

但这听起来并不是一个好的做法。

是否有更常见的方法或约定来确保每个人都使用设置器？

（我的目的： 如果类变得更大，我发现很难记住哪些变量带有不变量。目前，在设置任何变量之前，我会搜索是否创建了 getter 或 setter（以了解我是否必须考虑不变量）。但我想摆脱这种不专业的搜索每次。）

Answer 1

你可以利用这样的组合：

class C_int
{
public:
    void setX(int i)
    {
        /* enforce invariants */
        x = i;
    }

private:
    int x;
};

class C
{
pulbic:
    void m()
    {
        x.setX(5);
        // x.x = 5; // Won't compile.
    }

private:
    C_int x;
};

但我觉得奇怪的是，这对你来说是一个实际问题，恕我直言。您是 C 类及其成员的编写者。您可以控制 x 变量的读/写方式，并且 x 不是该类的公共接口的一部分。虽然其他人（例如维护人员）确实可以编写将来破坏不变量的代码，但单元测试应该能够涵盖这些情况。

Answer 2

a) 在整个代码库中支持访问器以保持一致性。那么您将更容易发现对会员的直接访问。如果您需要特殊的访问器，则创建特殊的方法：

void setFoo(const t_foo& foo) {
    assert(foo.isValid());
    this->d_foo = foo;
}

void invalidateFoo() {
    this->d_foo = t_foo::InvalidFoo();
}

b）得到答案：我经常会创建一个内部类（在某些情况下是暂时的）：

class C {
    class t_inner {
    public:
    /* ... */
        void setX(int arg) {
            /* enforce some complicated invariants... */
            this->x = arg;
        }
        const int& getX() const {
            /* ... */
            return this->x;
        }
    private:
        int x;
    };
public:
/* ... */
private:
/* ... */
    void m() {
        this->inner().setX(5);
    }
private:
    t_inner d_inner;
};

Answer 3

明确的答案是否。没有语言功能可以做到这一点；您可以做一些变化来实现它，但这会使您的代码变得混乱。

Answer 4

在 Visual C++ 中，可以使用 __declspec( property ) 来实现此功能：

__declspec(property(put=setFunction, get=getFunction)) data-type property-name; 

请参阅此 文章