C++ 在初始化期间将成员变量共享给类的成员实例

Question

当前使用 C++20。

我正在尝试在初始化期间将来自类 A 的实例的数据共享到它的 B 和 C 的成员实例。我没有使用 getter/setter、单例、依赖注入等，而是想通过将它们作为参数传递到成员类变量的构造函数中来共享数据，其中每个成员实例将通过某种方式持有它们的数据份额（例如引用、原始指针、共享指针、空指针等）。

类 B 和 C 旨在始终初始化为类 A 的成员。最终，A 应该是数据的最后一个“所有者”，这样当A 在销毁期间被释放时，共享数据应该与它一起被释放。考虑到这一点，这些方法中的哪一个是可以接受的？不违反任何重大规则并确保封装？

1. A 将数据作为共享指针存储和传递。 B & C 将参数存储为共享指针。

2. A 将数据存储为普通变量，并将它们作为空指针传递。 B & C 将参数存储为空指针。

3. A 将数据存储为普通变量，并将它们作为引用传递。 B & C 将参数存储为引用。

4. A 将数据存储为普通变量，并将它们作为原始指针传递。 B & C 将参数存储为原始指针。

   伪代码：

   class B
   {
   private:
     // Some variable that holds the shared data
   };
   
   class C
   {
   private:
     // Some variable that holds the shared data
   };
   
   class A
   {
     private:
       // Data to be shared to
       B b;
       C c;
   
       // Data to be shared
       SomeDataType first;
       SomeDataType second;
   
     public:
       A()
         : b{first, second}, c{first}
       {
   
       }
   };
   

Answer 1

A 将数据作为共享指针存储和传递。 B & C 将参数存储为共享指针。

不。A 拥有数据，没有共享所有权。 （[...]，A 应该是数据的最后一个“所有者”，这样当“A？”在销毁过程中被释放时，共享数据应该与它一起释放。”，如果它是最后一个和第一个那么它可以是唯一的，不需要共享。）

A 将数据存储为普通变量，并将它们作为空指针传递。 B & C 将参数存储为空指针。

不。void* 不是您没有的问题的解决方案。过去必须使用void*，现在有更好的选择。尽管首先这里没有必要，但这超出了这个答案的范围。

A 将数据存储为普通变量，并将它们作为引用传递。 B & C 将参数存储为引用。

不，也许是。引用成员具有含义。编译器无法为您生成复制。

A 将数据存储为普通变量，并将它们作为原始指针传递。 B & C 将参数存储为原始指针。

这听起来很合理。应该避免原始拥有指针。一个永远不会无效的原始非拥有指针（因为所有者在观察者之后被销毁）是可以的。您需要注意的唯一阶段是在构建和销毁期间不要使用尚未有效或不再有效的指针。值得一提的是，在 A 的构造过程中，可以使用指向成员的指针，但只有在初始化成员之后，您才可以安全地解除对指针的引用。