Блог

Пример кода:

 class my
{
    int x;
    public:
    my(int a)
    {
        x = a;
    }
    my(my amp;obj)
    {
        x = obj.x;
    }
.
.
}

int main(void)
{
    my object1(5);
    my object2(object1);
    return 0;
}
  

Как инициализируется object2 путем передачи ему object1? Насколько я вижу, object1 не может получить прямой доступ к элементу x , тогда как это помогает в инициализации object2?

Private применяется к классам, а не к объектам. Любой объект класса X имеет доступ к закрытым элементам всех других объектов класса X.

Управление доступом (общедоступное / частное / защищенное) определяет, может ли фрагмент кода юридически ссылаться на имя члена класса.Отдельные объекты здесь не играют роли; вся проблема заключается только в коде и именах.

Давайте сравним конструктор из вашего вопроса, дружественную функцию и свободную функцию:

 class my
{
  int x;

  friend void fr(myamp;);
public:
  my(my amp;obj)
  {
    x = obj.x;
  }
};

void fr(my amp;obj)
{
  obj.x  = 1;
}

void nonfr(my amp;obj)
{
  obj.x  = 2;
}
  

Возьмите инструкцию x = obj.x; . Оператор — это фрагмент кода. Где этот фрагмент кода? Внутри конструктора класса my . Итак, это часть класса, и поэтому он может получить доступ к имени obj.x .

Далее, оператор obj.x = 1; . Где этот фрагмент кода? Внутри функции fr , которая является другом класса my . Это друг, поэтому он может получить доступ к имени obj.x .

Наконец, оператор obj.x = 2; . Где этот фрагмент кода? Внутри функции nonfr . nonfr это обычная функция, не связанная с классом my , поэтому она не имеет права доступа к именам закрытых (или защищенных) членов класса my , поэтому она не сможет скомпилироваться.

Примечания:

Обычно конструктор копирования должен принимать свой параметр по ссылке на const , например:

 my(const my amp;obj)
  

Конструкторы копирования, которые принимают по неконстантной ссылке, могут изменять исходный объект, и жизнеспособные варианты использования для них крайне редки. Не говоря уже о том, что они предотвращают копирование из временных файлов, поскольку они не могут привязываться к неконстантным ссылкам.

Кроме того, обычно предпочтительнее использовать mem-initializer-lists вместо присваивания внутри конструктора, потому что последний сначала инициализирует элемент, а затем присваивает ему. Итак, в целом конструктор должен выглядеть следующим образом:

 my(const my amp;obj) : x(obj.x)
{}
  

Не говоря уже о том факте, что, если вам не нужна специальная обработка в конструкторе копирования (чего вы здесь не делаете), вы вообще не должны объявлять его и позволять компилятору генерировать его для вас. См. Правило нуля и Правило трех для получения дополнительной информации.