Kopyalama yapıcısındaki özel değişkenlere neden erişebilirim?

Özel bir değişkene asla erişemeyeceğimi, sadece sınıfta bir get-işlevi ile öğrendim. Ama o zaman neden kopya yapıcısında ona erişebilirim?

Misal:

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

Beyannamem:

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

IMHO, mevcut cevaplar bunun "Nedenini" açıklamakta yetersiz kalıyor - hangi davranışın geçerli olduğunu yinelemeye çok fazla odaklanarak. "erişim değiştiriciler nesne düzeyinde değil, sınıf düzeyinde çalışır." - Evet ama neden?

Buradaki kapsayıcı kavram, bir sınıfı tasarlayan, yazan ve sürdüren programcı (lar) ın, istenen ve uygulanmasını koordine etmek için yetkilendirilmiş OO kapsüllemesini anlaması beklenen (s) olmasıdır. Yani, yazıyorsanız class X, yalnızca tek bir X xnesnenin ona erişimi olan kod tarafından nasıl kullanılabileceğini değil, aynı zamanda nasıl kullanılacağını da kodluyorsunuz :

• türetilmiş sınıflar onunla etkileşim kurabilir (isteğe bağlı olarak saf sanal işlevler ve / veya korumalı erişim yoluyla) ve
• farklı Xnesneler , tasarımınızdaki post-koşulları ve değişmezleri onurlandırırken amaçlanan davranışları sağlamak için işbirliği yapar.

Bu sadece kopya oluşturucu da değil - çok sayıda işlem sınıfınızın iki veya daha fazla örneğini içerebilir: karşılaştırma, ekleme / çarpma / bölme, kopyalama-oluşturma, klonlama, atama vb. ya sadece diğer nesnedeki özel ve / veya korunan verilere erişime sahip olmalı ya da daha basit, daha hızlı ya da genel olarak daha iyi bir işlev uygulamasına izin vermesini istemelidir.

Özellikle, bu işlemler aşağıdakiler gibi şeyler yapmak için ayrıcalıklı erişimden yararlanmak isteyebilir:

• (kopya oluşturucular) bir başlatıcı listesindeki "rhs" (sağ taraf) nesnesinin özel bir üyesini kullanır, böylece bir üye değişkeni varsayılan olarak yapılandırılmış (yasal olsa bile) yerine kopyalanarak yapılandırılır ve sonra da atanır (yine, yasal ise)
• kaynakları paylaş - dosya tanıtıcıları, paylaşılan bellek bölümleri, shared_ptrreferans verilere vb.
• şeylerin sahipliğini almak, örneğin auto_ptr<>sahipliği yapım aşamasındaki nesneye "taşımak"
• yeni nesneyi sıfırdan yeniden oluşturmak zorunda kalmadan en iyi şekilde kullanılabilir durumda oluşturmak için gereken özel "önbellek", kalibrasyon veya durum üyelerini kopyalayın
• kopyalanmakta olan nesnede tutulan tanılama / izleme bilgilerini kopyala / bunlara erişim, aksi halde genel API'ler aracılığıyla erişilemez, ancak daha sonraki bir istisna nesnesi veya günlüğe kaydetme tarafından kullanılabilir (örneğin, "orijinal" kopyalanmamış olan "orijinal" kopyalanmamış örneğin zaman / koşullar hakkında bir şey inşa edildi)
• bazı verilerin daha verimli bir kopyasını gerçekleştirin: örneğin, nesneler örneğin bir unordered_mapüyeye sahip olabilir, ancak yalnızca kamuya açık begin()ve end()yineleyiciler olabilir - size()size doğrudan erişim ile reservedaha hızlı kopyalama kapasitesi olabilir ; daha da kötüsü onlar sadece teşhir eğer at()ve insert()aksi ve throw....
• Referansları bilinmeyen veya istemci kodu için salt yazılabilen üst / koordinasyon / yönetim nesnelerine geri kopyalayın

Erişim değiştiricileri , nesne düzeyinde değil, sınıf düzeyinde çalışır .

Yani, aynı sınıftaki iki nesne birbirinin özel verilerine erişebilir.

Neden:

Öncelikle verimlilik nedeniyle. Erişim değiştiricilerin nesne düzeyinde çalışıp çalışmadığını this == otherher eriştiğinizde kontrol etmek ihmal edilemez bir çalışma zamanı ek yükü other.xolacaktır.

Ayrıca, kapsam belirleme açısından düşünürseniz, anlamsal olarak mantıklıdır: "Özel bir değişkeni değiştirirken kodun ne kadar büyük kısmını aklımda tutmam gerekir?" - Tüm sınıfın kodunu aklınızda tutmanız gerekir ve bu, çalışma zamanında hangi nesnelerin var olduğu ortogonaldir.

^{_{Ve kopya oluşturucular ve atama operatörleri yazarken inanılmaz derecede kullanışlıdır.}}

Bir sınıfın özel üyelerine, sınıfın içinden, hatta başka bir örneğin özel üyelerine erişebilirsiniz.

Cevabı anlamak için size birkaç kavramı hatırlatmak isterim.

1. Kaç tane nesne yaratırsanız oluşturun, o sınıf için bellekte bir işlevin yalnızca bir kopyası vardır. Bu, işlevlerin yalnızca bir kez oluşturulduğu anlamına gelir. Ancak değişkenler, sınıfın her bir örneği için ayrıdır.
2. this işaretçi çağrıldığında her işleve aktarılır.

Şimdi, thisişaretçi sayesinde, işlev bu belirli örneğin değişkenlerini bulabilir. kamuya özel olup olmadığı önemli değil. bu işlevin içinden erişilebilir. Şimdi aynı sınıftaki başka bir nesneye bir işaretçi iletirsek. bu ikinci işaretçiyi kullanarak özel üyelere erişebileceğiz.

Umarım bu, sorunuzu yanıtlar.

Copy constructor, sınıfın üye işlevidir ve bu nedenle, "özel" olarak bildirilenler bile sınıfın veri üyelerine erişime sahiptir.