为什么可以在复制构造函数中访问私有变量？

我了解到，只有在类中具有get函数时，我才能访问私有变量。但是，为什么我可以在复制构造函数中访问它呢？

例：

Field::Field(const Field& f)
{
  pFirst = new T[f.capacity()];

  pLast = pFirst + (f.pLast - f.pFirst);
  pEnd  = pFirst + (f.pEnd - f.pFirst);
  std::copy(f.pFirst, f.pLast, pFirst);
}

我的声明：

private:
  T *pFirst,*pLast,*pEnd;

恕我直言，现有的答案在解释“原因”方面做得很差-过多地强调了行为的正确性。“访问修饰符在类级别而不在对象级别起作用。” - 是的，但是为什么？

这里的总体概念是，程序员被设计，编写和维护一个类，期望他们理解所需的OO封装并有权协调其实现。因此，如果您正在编写class X，那么您不仅在编码X x访问代码的方式来访问单个对象，而且还编码方式：

• 派生类能够与之交互（通过可选的纯虚拟函数和/或受保护的访问），以及
• 不同的X对象协作提供预期的行为，同时尊重设计中的后置条件和不变式。

这不仅是复制构造函数-很多操作可能涉及到您的类的两个或多个实例：如果您要进行比较，添加/乘法/除法，复制构造，克隆，分配等，那么通常情况是要么只是必须有权访问另一个对象中的私有数据和/或受保护的数据，要么希望它允许更简单，更快或通常更好的功能实现。

具体来说，这些操作可能想利用特权访问来执行以下操作：

• （复制构造函数）在初始化程序列表中使用“ rhs”（右侧）对象的私有成员，因此成员变量本身是复制构造的，而不是默认构造的（即使合法），然后也被分配了（再次，如果合法）
• 共享资源-文件句柄，共享内存段，shared_ptr引用数据等。
• 取得事物的所有权，例如auto_ptr<>对正在建造的对象“移动”所有权
• 复制以最佳可用状态构造新对象所需的私有“缓存”，校准或状态成员，而不必从头开始重新生成它们
• 复制对象中保存的复制/访问诊断/跟踪信息，否则无法通过公共API进行访问，但是以后的异常对象或日志记录可能会使用该信息（例如，有关“原始”非复制构造实例的时间/情况的某些信息）建成）
• 执行某些数据的更有效的复制：例如，对象可能具有例如一个unordered_map成员，但仅公开显示begin()和end()迭代器-直接访问size()您可以reserve快速复制；更糟糕的是，如果他们只暴露at()和insert()否则throw....
• 将引用复制回客户端代码可能未知或仅写的父对象/协调对象/管理对象

访问修饰符在类级别而不在对象级别起作用。

即，同一类的两个对象可以互相访问私有数据。

为什么：

主要是由于效率。检查this == other每次访问other.x是否必需，访问修饰符是否在对象级别起作用，这将是不可忽略的运行时开销。

如果从范围上考虑，它在语义上也是逻辑上的：“在修改私有变量时，我需要记住多少代码？” –您需要牢记整个类的代码，这与运行时中存在的对象正交。

^{_{并且在编写副本构造函数和赋值运算符时非常方便。}}

您可以从该类中访问该类的私有成员，甚至是另一个实例的成员。

为了理解答案，我想提醒您一些概念。

1. 无论您创建多少个对象，该类在内存中只有一个副本。这意味着功能只能创建一次。但是，变量对于类的每个实例都是单独的。
2. this 指针在调用时传递给每个函数。

现在是因为 this有了指针，函数才能够找到该特定实例的变量。不管它是否公开。可以在该函数内部访问它。现在，如果我们将指针传递给相同类的另一个对象。使用第二个指针，我们将能够访问私有成员。

希望这能回答您的问题。

复制构造函数是类的成员函数，因此可以访问类的数据成员，甚至是声明为“私有”的成员。