Por que posso acessar variáveis ​​privadas no construtor de cópia?

Aprendi que nunca posso acessar uma variável privada, apenas com uma função get na classe. Mas então por que posso acessá-lo no construtor de cópia?

Exemplo:

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);
}

Minha declaração:

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

IMHO, as respostas existentes explicam mal o "Porquê" disso - concentrando-se demais em reiterar qual comportamento é válido. "modificadores de acesso funcionam no nível da classe, e não no nível do objeto." - sim mas por quê?

O conceito abrangente aqui é que são os programadores que projetam, escrevem e mantêm uma classe de quem se espera que entendam o encapsulamento OO desejado e tenham o poder de coordenar sua implementação. Então, se você está escrevendo class X, você está codificando não apenas como um X xobjeto individual pode ser usado pelo código com acesso a ele, mas também como:

• classes derivadas são capazes de interagir com ele (por meio de funções virtuais opcionalmente puras e / ou acesso protegido), e
• Xobjetos distintos cooperam para fornecer os comportamentos pretendidos, ao mesmo tempo que respeitam as pós-condições e invariantes de seu projeto.

Não é apenas o construtor de cópia - muitas operações podem envolver duas ou mais instâncias de sua classe: se você está comparando, adicionando / multiplicando / dividindo, construindo cópias, clonando, atribuindo etc., então é comum que você ou simplesmente deve ter acesso a dados privados e / ou protegidos no outro objeto, ou deseja permitir uma implementação de função mais simples, rápida ou geralmente melhor.

Especificamente, essas operações podem querer tirar proveito do acesso privilegiado para fazer coisas como:

• (construtores de cópia) usam um membro privado do objeto "rhs" (lado direito) em uma lista de inicializadores, de modo que uma variável de membro seja ela própria construída por cópia em vez de construída por padrão (se até mesmo válida) e então atribuída também (novamente, se legal)
• compartilhe recursos - identificadores de arquivo, segmentos de memória compartilhada, shared_ptrs para referenciar dados etc.
• apropriar-se das coisas, por exemplo, auto_ptr<>"move" a propriedade para o objeto em construção
• copie o "cache" privado, calibração ou membros do estado necessários para construir o novo objeto em um estado de uso ideal sem ter que regenerá-los do zero
• copiar / acessar informações de diagnóstico / rastreamento mantidas no objeto que está sendo copiado que não podem ser acessadas por meio de APIs públicas, mas podem ser usadas por algum objeto de exceção posterior ou registro (por exemplo, algo sobre o tempo / circunstâncias em que a instância "original" não construída por cópia foi construído)
• execute uma cópia mais eficiente de alguns dados: por exemplo, objetos podem ter, por exemplo, um unordered_mapmembro, mas publicamente apenas expor begin()e end()iteradores - com acesso direto a size()você, pode ter reservecapacidade para uma cópia mais rápida; pior ainda se eles apenas expõem at()e insert()e de outra forma throw....
• copiar referências de volta para objetos pai / coordenação / gerenciamento que podem ser desconhecidos ou somente gravação para o código do cliente

Os modificadores de acesso funcionam no nível da classe , e não no nível do objeto .

Ou seja, dois objetos da mesma classe podem acessar os dados privados um do outro.

Por quê:

Principalmente devido à eficiência. Seria uma sobrecarga de tempo de execução não desprezível verificar se this == othercada vez other.xque você acessasse, seria necessário se os modificadores de acesso funcionassem no nível do objeto.

Também é semanticamente lógico se você pensar nisso em termos de escopo: "Qual grande parte do código eu preciso ter em mente ao modificar uma variável privada?" - Você precisa manter o código de toda a classe em mente, e isso é ortogonal aos objetos existentes em tempo de execução.

^{_{E é extremamente conveniente ao escrever construtores de cópia e operadores de atribuição.}}

Você pode acessar membros privados de uma classe de dentro da classe, mesmo aqueles de outra instância.

Para entender a resposta, gostaria de lembrar alguns conceitos.

1. Não importa quantos objetos você crie, há apenas uma cópia de uma função na memória para essa classe. Isso significa que as funções são criadas apenas uma vez. No entanto, as variáveis ​​são separadas para cada instância da classe.
2. this o ponteiro é passado para todas as funções quando chamado.

Agora, por causa do thisponteiro, a função é capaz de localizar variáveis ​​daquela instância particular. não importa se é privado ou público. ele pode ser acessado dentro dessa função. Agora, se passarmos um ponteiro para outro objeto da mesma classe. usando este segundo ponteiro, poderemos acessar membros privados.

espero que isso responda sua pergunta.

O construtor de cópia é a função de membro da classe e, como tal, tem acesso aos membros de dados da classe, mesmo aqueles declarados como 'privados'.