通过组合的其他成员访问 'has-a' 关系中的成员

access members in a 'has-a' relationship by other members of composition

我有一个class(组合)(has-a关系)如下:

class AP 是一个更大的 class,其中包含 class A 的对象。 AP 也有一个 state 变量作为它的成员。

问题:我可以在其他组合成员中访问 AP's member 'state' 吗? (即 A 类型的内部对象)?

这是代码

class A {
 int i;
 public:
  void set(int x)
  { i = x; }

  int get()
  { return i; }

  void process()
  {
    cout << ::this->get() << endl; //// how to access AP's state variable here ?
  }
};


class AP
{
  A a;
  int state;

 public:
  void process() 
  {     a.process();   }

  void set()
  { state = 1; }

  int get()
  { return state; }
};



/// AP contains (or owns an object of type A)
/// I need to access AP's state value in object of type A (which is ap's member)

int main()
{ 
 AP ap;  //
 ap.set(); // set state value for AP
 cout << " get " << ap.get() << endl;  // get state value for AP


 ap.process(); /// calls a.process --> this must access ap's state value    


return 0;
}

有可能的解决方案,例如:

  1. 传递对自身的引用然后访问值。

  2. 只需将state的值传递给process()函数即可。 ( ap.process(state) )

但我想知道我是否可以直接访问具有组合 (has-a) 的其他成员中的 class 的成员变量 [参见 class A::process() 方法。

你问的是 "can I use 'is-a' concepts on objects designed with 'has-a' concepts"?

简答,没有.

长答案: 有时,但前提是它是静态的。否则,'A' 无法在没有上下文的情况下访问 'AP' 的非静态成员。

class A {
public:
    int p;
    void process() {
        p = AP::as; /* static object, okay! */
        p = AP::ap; /* compiler error, where's the instantiated AP to go along with it??? */
    }
};
class AP {
public:
    int ap;
    A a;
    static int as;
};

"static" 修饰符将指定的对象设置为单个实例。请记住,当您开始使用线程时:所有线程都使用 相同的 实例,这会引入数据竞争!恰当的例子:errno 在 c++11 之前;关于 errno 和线程中令人头疼的问题,有大量 google 参考资料。因此,因为 AP::as 只有一个实例,所以您的 A 确切知道在哪里可以找到它(甚至可能是第一个访问它的人)。

但是由于 AP::ap 没有静态修饰符,它必须实例化 AP 的实例。如上所示访问它会导致编译器错误,因为编译器不知道在哪里可以找到 AP::ap 对象。它需要一个 AP。因此,您可以在此处为已实例化的 AP 提供引用 ,例如:AP obj; p = obj.ap;(或者您决定提供实例化的其他方式 AP 例如通过引用或指针或其他方式)。

所有这一切都是因为,考虑到可能存在 零个、一个或多个 AP 个对象(AP aap; AP bap; A a; a.process();,正好你是说你想要哪一个?示例:

int main() {
    A a;
    a.process(); // Now what should 'a' try to access since there is no instantiated version of 'AP' ?

    AP aap;
    AP bap;
    a.process(); // Okay now there are two APs... which one did you want 'a' to access?
}

"Has-a" 概念与 "is-a" 概念完全不同(事实上,"has-a" 概念是 NOT 继承,因为你已经标记了这个问题!)。

您可以为 A 提供对其父 AP 的 const 引用,但如果您只是希望 A::process() 使用 parent.state 作为输入,最简单的解决方案是将其状态作为输入!

class A {
  void process(int state);
};

class AP {
  A a;
  int state;
 public:
  void process() {a.process(state);}
};