Почему конструктор Class ( Class other) { } не может принимать объект своего типа по значению?

Question

[Qubc]

Предположения: конструктор, по сути, это функция, которая ничего не возвращает, получает адрес своего объекта неявно и получает что-то ещё в списке параметров явно. Параметры выделяются в стеке вызывающей функции и используются вызываемой функцией.
Почему эта логика не работает с конструктором? Просто потому что или есть какие-то сложные причины? Понятно, что это неэффективно и бессмысленно.

Answer 1

[Станислав Макаров]

Потому что чтобы передать какой-либо агрумент по значению, его нужно скопировать. Чтобы скопировать аргумент, который является объектом класса, нужно вызвать конструктор копирования (неважно, сгенерирован ли он автоматически или вручную написан).

Т.о., чтобы "зайти внутрь" конструктора копирования, которому аргумент передан по-значению, нужно вызвать... конструктор копирования. Этого же класса. Т.е. этот же самый конструктор.

Вроде должно быть понятно.

Comments

[Qubc]

всё понятно, спасибо.

Спасибо, да и тут точно такой же ответ https://stackoverflow.com/questions/11904997/c-inv.... Да и у Эккеля тоже самое написано.

Но ведь конструктор копирования не создаёт объект. Компилятор же создаёт объект, выделяя область в стеке. А конструктор лишь настраивает-манипулирует эту область данных.
Если я напишу функцию (и позволю компилятору создать конструкторы, а так же отключу оптимизацию), которая принимает объект по значению и вызову эту функцию, то компилятор сначала выделит память в стеке для временого объекта, потом передаст в конструктор адрес этой области (ну и адрес образца), конструктор настроит эту область, а потом main пушами внесет копию этих данных в стек (эти данные и будут являться параметром функции) и функция уже будет эти данные использовать.

class M {
public:
  int a[8];
};

void func(M data) {
	data.a[0] = 0;
	data.a[1] = 1;
	data.a[2] = 2;
	data.a[3] = 3;
}

int main(void) {
  M m;
  func(m);
}

func(M):
  pushl %ebp
  movl %esp, %ebp
  movl $0, 8(%ebp)
  movl $1, 12(%ebp)
  movl $2, 16(%ebp)
  movl $3, 20(%ebp)
  nop
  popl %ebp
  ret
M::M(M const&) [base object constructor]:
  pushl %ebp
  movl %esp, %ebp
  movl 8(%ebp), %eax
  movl 12(%ebp), %edx
  movl (%edx), %ecx
  movl %ecx, (%eax)
  movl 4(%edx), %ecx
  movl %ecx, 4(%eax)
  movl 8(%edx), %ecx
  movl %ecx, 8(%eax)
  movl 12(%edx), %ecx
  movl %ecx, 12(%eax)
  movl 16(%edx), %ecx
  movl %ecx, 16(%eax)
  movl 20(%edx), %ecx
  movl %ecx, 20(%eax)
  movl 24(%edx), %ecx
  movl %ecx, 24(%eax)
  movl 28(%edx), %edx
  movl %edx, 28(%eax)
  nop
  popl %ebp
  ret
main:
  leal 4(%esp), %ecx
  andl $-16, %esp
  pushl -4(%ecx)
  pushl %ebp
  movl %esp, %ebp
  pushl %ecx
  subl $68, %esp
  subl $8, %esp
  leal -72(%ebp), %eax
  pushl %eax
  leal -40(%ebp), %eax
  pushl %eax
  call M::M(M const&) [complete object constructor]
  addl $16, %esp
  pushl -12(%ebp)
  pushl -16(%ebp)
  pushl -20(%ebp)
  pushl -24(%ebp)
  pushl -28(%ebp)
  pushl -32(%ebp)
  pushl -36(%ebp)
  pushl -40(%ebp)
  call func(M)
  addl $32, %esp
  movl $0, %eax
  movl -4(%ebp), %ecx
  leave
  leal -4(%ecx), %esp
  ret

[Евгений Шатунов]

Qubc,

Но ведь конструктор копирования не создаёт объект.

Верно, конструктор выполняет роль инициализации выделенной памяти и является только одним из этапов конструирования объекта. Поэтому его вернее будет называть не конструктором, а инициализатором.

Компилятор же создаёт объект, выделяя область в стеке.

Не верно. Транслятор ничего не создает. Транслятор только генерирует исполняемый код. Память выделяет уже сам сгенерированный транслятором код.

Если я напишу функцию (и позволю компилятору создать конструкторы, а так же отключу оптимизацию)

Я задам тебе такие вопросы:
Что такое рекурсия и чем сулит бесконечная рекурсия?
Напиши сигнатуру конструктора копирования по умолчанию так, как ее определяет стандарт C++.