Конструктор копирования для массивов

Имеется класс поля которого - массивы типа char. Почему конструктор копирование нормально отрабатывает для массивов?(Это же не другой класс, чтобы конструктор копирования использовал его конструктор для копирования данных). В случае когда имеем указатели на char, происходит что-то типа этого: pointer = pointer, то есть идет простое присвоение, но ведь для массивов такое не сработает, там нужно поэлементно копировать. Я изначально был уверен, что если я имею поле - массив, то обязательно придется писать конструктор чтоб скопировать, но увы оказалось не так. Объясните почему это работает? Не желательны ответы типа: "вам этого знать не нужно".

0

Сообщение от hastal Имеется класс поля которого - массивы типа char. Почему конструктор копирование нормально отрабатывает для массивов?

Наследство Си. Структуры копируются побайтово, поэтому пофиг массивы там или еще что. А массивы вне структур считаются указателями на себя и потому нормально не копируются. По логике массивы тоже должны копироваться, но обратная совместимость с Си делает такие нововведения слишком геморройными.

1

Сообщение от hastal Почему конструктор копирование нормально отрабатывает для массивов?

Так устроен язык. "Голые" массивы сам по себе являются некопируемыми типами. Однако достаточно завернуть массив в класс, как он уже становится копируемым в составе объекта класса.

Когда-то давно во времена языка B (предка C) массивы были просто указателями. По этой причине их невозможно было копировать впрямую. В зарождающемся языке C Деннис Ритчи изначально тоже придерживался этого подхода, но потом, после введения в язык struct-типов, пришел к выводу, что такие массивы больше не подходят для языка C, ибо структуры с массивами внутри невозможно копировать через memcpy. Поэтому массивы в C были переработаны: они перестали быть указателями физически, но продолжали чисто внешне "эмулировать" указательное поведение своих прообразов в B. Однако в составе структур их теперь можно было копировать через memcpy. А когда в язык С была добавлена возможность копировать struct-типы обычным оператором =, массивы внутри структур тоже попали под это нововведение. В таком виде это и пришло в С++.

Имейте в виду, что в С++ копирование/присваивание массива в составе класса делается отнюдь не конструктором копирования или оператором присваивания самого массива. У самого массива нет ни конструктора копирования, ни оператора присваивания. Копирование осуществляется в контексте класса-хозяина по правилам, отдельно описанным в спецификации языка. Копирование осуществляется поэлементно.

В принципе, точно так же обыкновенные скалярные поля типа int копируются по свои отдельным правилам, ибо никаких конструкторов у int нет.

3