Пространства имён
Варианты
Действия

Copy constructors

Материал из cppreference.com
< cpp‎ | language

 
 
Язык С++
Общие темы
Управление программой
Операторы условного выполнения
Операторы повторения
Операторы перехода
Функции
объявление функции
объявление лямбда-функции
шаблон функции
спецификатор inline
спецификаторы исключений (устарело)
спецификатор noexcept (C++11)
Исключения
Пространства имён
объявление пространства имён
псевдонимы пространства имён
Типы
спецификатор decltype (C++11)
Спецификаторы
cv-спецификаторы
спецификаторы продолжительности хранения
спецификатор constexpr (C++11)
спецификатор auto (C++11)
спецификатор alignas (C++11)
Инициализация
Литералы
Выражения
Утилиты
Типы
typedef-объявление
объявление псевдонима типа (C++11)
атрибуты (C++11)
Приведения типов
неявные преобразования
const_cast-преобразование
static_cast-преобразование
dynamic_cast-преобразование
reinterpret_cast-преобразование
C-подобное и функциональное приведение типов
Выделение памяти
Классы
Особые свойства классовых функций
Специальные функции-члены
Шаблоны
шаблон класса
шаблон функции
специализация шаблона
упакованные параметры (C++11)
Разное
Ассемблерные вставки
 
Конструктор копирования класса T не является шаблоном конструктор, первый параметр T&, const T&, volatile T&, или const volatile T&, и либо не существует никаких других параметров, или остальные параметры имеют значения по умолчанию. Типа с общественностью конструктор копии CopyConstructible.
Оригинал:
A copy constructor of class T is a non-template constructor whose first parameter is T&, const T&, volatile T&, or const volatile T&, and either there are no other parameters, or the rest of the parameters all have default values. A type with a public copy constructor is CopyConstructible.
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.

Содержание

[править] Синтаксис

class_name ( const class_name & ) (1)
class_name ( const class_name & ) = default; (1)
class_name ( const class_name & ) = delete; (1)

[править] Объяснение

# Типичное объявление конструктора копии
Оригинал:
# Typical declaration of a copy constructor
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
# Принудительная конструктора копии, которые будут созданы с помощью компилятора
Оригинал:
# Forcing a copy constructor to be generated by the compiler
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
# Как избежать неявного конструктора по умолчанию
Оригинал:
# Avoiding implicit default constructor
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
Конструктор копирования вызывается при инициализации объекта из другого объекта того же типа, который включает в себя
Оригинал:
The copy constructor is called whenever an object is initialized from another object of the same type, which includes
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • инициализации, T a = b; или T a(b);, где Ь типа T
    Оригинал:
    initialization, T a = b; or T a(b);, where b is of type T
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • проходящий аргумент функции: f(a);, где a имеет тип T и f является void f(T t)
    Оригинал:
    function argument passing: f(a);, where a is of type T and f is void f(T t)
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • Функция возврата: return a; внутри функции, такие как T f(), где a имеет тип T, который не имеет ход конструктор.
    Оригинал:
    function return: return a; inside a function such as T f(), where a is of type T, which has no move constructor.
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.

[править] Неявно объявлен конструктор копии

Если нет пользовательского конструктора копии предназначены для классового типа (struct, class, или union), компилятор всегда будет объявить конструктор копий, как inline public членом своего класса. Это неявно объявлен конструктор копирования имеет вид T::T(const T&), если все следующие условия:
Оригинал:
If no user-defined copy constructors are provided for a class type (struct, class, or union), the compiler will always declare a copy constructor as an inline public member of its class. This implicitly-declared copy constructor has the form T::T(const T&) if all of the following is true:
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • всех прямых и виртуальных баз T имеют конструкторы копирования со ссылкой на конструкции или конструкции летучих в качестве первого параметра
    Оригинал:
    all direct and virtual bases of T have copy constructors with references to const or to const volatile as their first parameters
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • все не статические члены T имеют конструкторы копирования со ссылкой на конструкции или конструкции летучих в качестве первого параметра
    Оригинал:
    all non-static members of T have copy constructors with references to const or to const volatile as their first parameters
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
В противном случае, неявно объявлен конструктор копирования T::T(T&). (Обратите внимание, что в связи с этими правилами, неявно объявлен конструктор копирования не может связываться с летучими аргумент именующее)
Оригинал:
Otherwise, the implicitly-declared copy constructor is T::T(T&). (Note that due to these rules, the implicitly-declared copy constructor cannot bind to a volatile lvalue argument)
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
Класс может иметь несколько конструкторов копирования, например, как T::T(const T&) и T::T(T&). Если некоторые пользовательские конструкторы копии присутствует, пользователь все еще может заставить поколения неявно объявляется конструктор копии с ключевым словом default (начиная с C++11).
Оригинал:
A class can have multiple copy constructors, e.g. both T::T(const T&) and T::T(T&). If some user-defined copy constructors are present, the user may still force the generation of the implicitly declared copy constructor with the keyword default (начиная с C++11).
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.

[править] Удаленные неявно объявлен конструктор копии

Неявно объявлен дефолт или конструктор копирования для класса T не определено (до C++11) / определяется как' удалены (начиная с C++11) в любом из следующих условий:
Оригинал:
The implicitly-declared or defaulted copy constructor for class T is undefined (до C++11) / defined as deleted (начиная с C++11) in any of the following is true:
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • T имеет не статические данные пользователей, которые не могут быть скопированы (были удалены, недоступными или неоднозначных конструкторов копии)
    Оригинал:
    T has non-static data members that cannot be copied (have deleted, inaccessible, or ambiguous copy constructors)
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • T имеет прямое или виртуальный базовый класс, который не может быть скопирован (удалил, недоступными или неоднозначных конструкторов копии)
    Оригинал:
    T has direct or virtual base class that cannot be copied (has deleted, inaccessible, or ambiguous copy constructors)
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • T имеет прямое или виртуальный базовый класс с удаленных или недоступных деструктор
    Оригинал:
    T has direct or virtual base class with a deleted or inaccessible destructor
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • T имеет определенный пользователем конструктор движение или перемещение оператор присваивания (начиная с C++11)
    Оригинал:
    T has a user-defined move constructor or move assignment operator (начиная с C++11)
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • T является объединением и имеет вариант член с нетривиальным (начиная с C++11) конструктор копирования
    Оригинал:
    T is a union and has a variant member with non-trivial copy constructor (начиная с C++11)
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • T есть данные членов RValue (начиная с C++11) тип
    Оригинал:
    T has a data member of rvalue reference type (начиная с C++11)
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.

[править] Тривиальные конструктор копирования

Неявно объявлен конструктор копирования для класса T является тривиальной, если все следующие условия:
Оригинал:
The implicitly-declared copy constructor for class T is trivial if all of the following is true:
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • T не имеет виртуальных функций-членов
    Оригинал:
    T has no virtual member functions
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • T не имеет виртуальные базовые классы
    Оригинал:
    T has no virtual base classes
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • Конструктор копирования выбранных для каждого прямого базы T тривиально
    Оригинал:
    The copy constructor selected for every direct base of T is trivial
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • Конструктор копирования выбранных для каждого нестатический тип класса (или массив типа класса) Член КЛУБА T тривиально
    Оригинал:
    The copy constructor selected for every non-static class type (or array of class type) memeber of T is trivial
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
Тривиальным конструктором копии конструктор, который создает побайтно копию объекта представления аргументов, и не выполняет никаких других действий. Объекты с тривиальным конструкторов копии могут быть скопированы, копируя их представления объекта вручную, например, с std::memmove. Все типы данных, совместимые с языком C (POD типов) тривиально копируемой.
Оригинал:
A trivial copy constructor is a constructor that creates a bytewise copy of the object representation of the argument, and performs no other action. Objects with trivial copy constructors can be copied by copying their object representations manually, e.g. with std::memmove. All data types compatible with the C language (POD types) are trivially copyable.
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.

[править] Неявно определенный конструктор копии

Если неявно объявлен конструктор копии не удаляется и не тривиально, оно определено (то есть, тела функции создается и компилируется) компилятором. Для union типа, неявно определен конструктор копирования копирует объект представления (как по std::memmove). Для не состоящих в профсоюзе типа класса (class и struct), конструктор выполняет полный член-мудрый копии баз объекта и не статическим членам, по их порядка инициализации, используя прямой инициализации.
Оригинал:
If the implicitly-declared copy constructor is not deleted or trivial, it is defined (that is, a function body is generated and compiled) by the compiler. For union types, the implicitly-defined copy constructor copies the object representation (as by std::memmove). For non-union class types (class and struct), the constructor performs full member-wise copy of the object's bases and non-static members, in their initialization order, using direct initialization.
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
Поколения неявно определен конструктор копирования deprecated(начиная с C++11) если T имеет определенный пользователем деструктор или определяемый пользователем оператор копирующего присваивания.
Оригинал:
The generation of the implicitly-defined copy constructor is deprecated(начиная с C++11) if T has a user-defined destructor or user-defined copy assignment operator.
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.

[править] Заметки

Во многих ситуациях, конструкторы копирования оптимизированы, даже если они будут производить наблюдаемые побочные эффекты, см. Копия элизии
Оригинал:
In many situations, copy constructors are optimized out even if they would produce observable side-effects, see Копия элизии
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.

[править] Пример

struct A {
    int n;
    A(int n=1) : n(n) {}
    A(const A& a) : n(a.n) {} // user-defined copy ctor
};
 
struct B : A {
    // implicit default ctor B::B()
    // implicit copy ctor B::B(const B&)
};
 
struct C : B {
     C() : B() {}
 private:
     C(const C&); // non-copiable, C++98 style
};
 
int main()
{
    A a1(7);
    A a2(a1); // calls the copy ctor
    B b;
    B b2 = b;
    A a3 = b; // conversion to A& and copy ctor
    volatile A va(10);
    // A a4 = va; // compile error
 
    C c;
    // C c2 = c; // compile error
}