Mengapa saya dapat mengakses variabel privat di konstruktor salinan?

Saya telah belajar bahwa saya tidak pernah dapat mengakses variabel privat, hanya dengan fungsi get di kelas. Tetapi mengapa saya dapat mengaksesnya di konstruktor salinan?

Contoh:

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

Deklarasi saya:

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

IMHO, jawaban yang ada melakukan pekerjaan yang buruk menjelaskan "Mengapa" ini - terlalu berfokus pada mengulangi perilaku apa yang valid. "pengubah akses bekerja pada tingkat kelas, dan bukan pada tingkat objek." - iya tapi kenapa?

Konsep menyeluruh di sini adalah bahwa programmer merancang, menulis dan memelihara kelas yang diharapkan untuk memahami enkapsulasi OO yang diinginkan dan diberdayakan untuk mengoordinasikan implementasinya. Jadi, jika Anda menulis class X, Anda menyandikan tidak hanya bagaimana sebuah X xobjek dapat digunakan oleh kode yang memiliki akses ke sana, tetapi juga bagaimana:

• kelas turunan dapat berinteraksi dengannya (melalui fungsi virtual opsional-murni dan / atau akses terlindungi), dan
• Xobjek yang berbeda bekerja sama untuk memberikan perilaku yang dimaksudkan sambil menghormati kondisi pasca dan invarian dari desain Anda.

Ini bukan hanya konstruktor salinan - banyak sekali operasi yang dapat melibatkan dua atau lebih contoh kelas Anda: jika Anda membandingkan, menambah / mengalikan / membagi, menyalin-membangun, mengkloning, menetapkan, dll. Maka sering kali Anda baik hanya harus memiliki akses ke data pribadi dan / atau dilindungi di objek lain, atau ingin memungkinkan implementasi fungsi yang lebih sederhana, lebih cepat, atau secara umum lebih baik.

Secara khusus, operasi ini mungkin ingin memanfaatkan akses pribadi untuk melakukan hal-hal seperti:

• (menyalin konstruktor) menggunakan anggota pribadi dari objek "rhs" (sisi kanan) dalam daftar penginisialisasi, sehingga variabel anggota itu sendiri dibuat-salinan alih-alih dibangun secara default (jika legal) kemudian ditetapkan juga (sekali lagi, jika legal)
• berbagi sumber daya - pegangan file, segmen memori bersama, shared_ptrke data referensi, dll.
• mengambil kepemilikan atas sesuatu, misalnya auto_ptr<>"memindahkan" kepemilikan ke objek yang sedang dibangun
• salin "cache" pribadi, kalibrasi, atau anggota status yang diperlukan untuk membuat objek baru dalam keadaan yang dapat digunakan secara optimal tanpa harus membuat ulang dari awal
• menyalin / mengakses diagnostik / melacak informasi yang disimpan dalam objek yang sedang disalin yang tidak dapat diakses melalui API publik tetapi mungkin digunakan oleh beberapa objek pengecualian atau pencatatan nanti (misalnya sesuatu tentang waktu / keadaan ketika instance "asli" yang tidak dibuat salinannya dibangun)
• melakukan penyalinan yang lebih efisien dari beberapa data: misalnya objek mungkin memiliki misalnya unordered_mapanggota tetapi secara publik hanya mengekspos begin()dan end()iterator - dengan akses langsung ke size()Anda dapat reservekapasitas untuk menyalin lebih cepat; lebih buruk lagi jika mereka hanya mengekspos at()dan insert()dan sebaliknya throw....
• salin referensi kembali ke objek induk / koordinasi / manajemen yang mungkin tidak diketahui atau hanya-tulis untuk kode klien

Pengubah akses bekerja pada tingkat kelas , dan bukan pada tingkat objek .

Artinya, dua objek dari kelas yang sama dapat mengakses data pribadi satu sama lain.

Mengapa:

Terutama karena efisiensi. Ini akan menjadi overhead this == otherwaktu proses yang tidak dapat diabaikan untuk memeriksa apakah setiap kali Anda mengakses other.xyang harus Anda lakukan jika pengubah akses bekerja pada tingkat objek.

Ini juga agak logis secara semantik jika Anda memikirkannya dalam istilah pelingkupan: "Seberapa besar bagian kode yang perlu saya ingat saat memodifikasi variabel privat?" - Anda perlu mengingat kode seluruh kelas, dan ini ortogonal objek yang ada saat runtime.

^{_{Dan sangat nyaman saat menulis pembuat salinan dan operator penugasan.}}

Anda dapat mengakses anggota privat kelas dari dalam kelas tersebut, bahkan dari instance lain.

Untuk memahami jawabannya, saya ingin mengingatkan Anda beberapa konsep.

1. Tidak peduli berapa banyak objek yang Anda buat, hanya ada satu salinan dari satu fungsi dalam memori untuk kelas itu. Artinya fungsi dibuat hanya sekali. Namun variabel terpisah untuk setiap instance kelas.
2. this pointer diteruskan ke setiap fungsi saat dipanggil.

Sekarang karena thispenunjuknya, fungsi dapat menemukan variabel dari contoh tertentu itu. tidak peduli apakah itu pribadi untuk umum. itu dapat diakses di dalam fungsi itu. Sekarang jika kita meneruskan pointer ke objek lain dari kelas yang sama. menggunakan penunjuk kedua ini kita akan dapat mengakses anggota pribadi.

Semoga ini menjawab pertanyaan Anda.

Copy konstruktor adalah fungsi anggota kelas dan dengan demikian memiliki akses ke anggota data kelas, bahkan yang dideklarasikan sebagai 'pribadi'.