Я дізнався, що ніколи не можу отримати доступ до приватної змінної, лише за допомогою функції 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;
const&або добутковий геттер для кожного? Тоді вони лише „писати-приватно“, & для цінностей витрачають ресурси і зазнають невдач для членів, які не підлягають копіюванню.) Мене бентежить такий успіх такого безглуздого питання, коли я запитую про конструювання копій, повністю ігноруючи, що це означає, і жодна відповідь не використовує базової логіки, щоб розвінчати це. Вони пояснюють сухі технічні аспекти, але є набагато простіша відповідь на запитання, яке це моргало
Відповіді:
ІМХО, існуючі відповіді погано спрацьовують питання "чому" цього - занадто багато зосереджуючись на повторенні того, яка поведінка є дійсною. "модифікатори доступу працюють на рівні класу, а не на рівні об'єкта." - так, але чому?
Основною концепцією тут є те, що саме програміст (и) розробляє, пише та підтримує клас, який (як очікується) зрозуміє бажану інкапсуляцію ОО та наділений повноваженнями координувати її реалізацію. Отже, якщо ви пишете class X, ви кодуєте не просто те, як окремий X xоб’єкт може використовуватися кодом з доступом до нього, а й те, як:
Xоб'єкти співпрацюють, щоб забезпечити передбачувану поведінку, одночасно дотримуючись пост-умов та інваріантів вашого дизайну.Це не тільки конструктор копіювання - дуже багато операцій можуть включати два або більше екземплярів вашого класу: якщо ви порівнюєте, додаєте / множите / ділите, копіюєте, конструюєте, клонуєте, присвоюєте тощо, то часто трапляється так, що ви або просто повинен мати доступ до приватних та / або захищених даних в іншому об'єкті, або хотіти, щоб він дозволяв простішу, швидшу або, як правило, кращу реалізацію функції.
Зокрема, ці операції можуть захотіти скористатися привілейованим доступом, щоб робити такі речі:
shared_ptrs для посилань на дані тощо.auto_ptr<>" перенести " право власності на об'єкт, що будуєтьсяunordered_mapчлена, але загальнодоступні лише викриття begin()та end()ітератори - з прямим доступом до size()вас може reserveбути швидшим копіюванням; ще гірше , якщо вони тільки викрити at()і insert()в іншому випадку throw....this == otherкожного разу, коли ви звертаєтесь до того, other.xщо вам потрібно було б робити, якщо модифікатори доступу працювали на рівні об’єкта.
this == otherкожен раз, коли ви отримуєте доступ other.x" - пропускає суть - якби це other.xбуло прийнято лише під час виконання, коли це еквівалентно, спочатку this.xне було б великої кількості вказівників other.x; компілятор також може змусити вас писати if (this == other) ...this.x...все, що ви збираєтеся робити. Ваша концепція "зручності (навіть більше, якщо приватні змінні були загальнодоступними)" також не вказує на суть - спосіб, визначений стандартом, є досить обмежувальним, щоб забезпечити належне інкапсулювання, але не надто незручним.
Модифікатори доступу працюють на рівні класу , а не на рівні об’єкта .
Тобто два об'єкти одного класу можуть отримувати доступ один до одного до приватних даних.
В першу чергу завдяки ефективності. Це було б незначною накладними витратами на виконання, щоб перевірити, чи this == otherкожного разу, коли ви звертаєтесь до того, other.xщо вам потрібно було б, якщо модифікатори доступу працювали на об’єктному рівні.
Це також якось семантично логічно, якщо ви думаєте про це з точки зору масштабу: "Яку велику частину коду мені потрібно мати на увазі, змінюючи приватну змінну?" - Вам потрібно пам’ятати про код усього класу, і це ортогонально об’єкту, який існує під час виконання.
І це неймовірно зручно при написанні конструкторів копіювання та операторів присвоювання.
Ви можете отримати доступ до приватних членів класу з класу, навіть до інших екземплярів.
Щоб зрозуміти відповідь, я хотів би нагадати вам декілька понять.
this покажчик передається кожній функції при виклику.Тепер завдяки thisвказівнику функція може знаходити змінні цього конкретного екземпляра. незалежно від того, приватна вона для громадськості. до нього можна отримати доступ всередині цієї функції. Тепер, якщо ми передаємо вказівник на інший об'єкт того самого класу. використовуючи цей другий покажчик, ми зможемо отримати доступ до приватних членів.
Сподіваюся, це відповідає на ваше запитання.
Конструктор копіювання є функцією-членом класу і як такий має доступ до членів даних класу, навіть тих, які оголошені як "приватні".