Какой смысл в функциях по умолчанию в С++ 11?

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

Эти примеры с веб-сайта Страуструпа могут помочь вам понять суть:

функции по умолчанию и удаленные – управление значениями по умолчанию

Обычная идиома «запрещение копирования» теперь может быть выражена напрямую:

class X {
  // ...

  X& operator=(const X&) = delete;    // Disallow copying
  X(const X&) = delete;
};

И наоборот, мы также можем явно сказать, что хотим использовать поведение копирования по умолчанию:

class Y {
  // ...
  Y& operator=(const Y&) = default;   // default copy semantics
  Y(const Y&) = default;

};

Явное указание значения по умолчанию, очевидно, излишне, но комментарии на этот счет и (что еще хуже) явное определение пользователем операций копирования, предназначенных для обеспечения поведения по умолчанию, не являются чем-то необычным. Предоставление компилятору возможности реализовать поведение по умолчанию проще, менее подвержено ошибкам и часто приводит к лучшему объектному коду. Механизм «по умолчанию» можно использовать для любой функции, имеющей значение по умолчанию. Механизм «удалить» можно использовать для любой функции. Например, мы можем удалить нежелательное преобразование следующим образом:

struct Z {
  // ...

  Z(long long);     // can initialize with an long long
  Z(long) = delete; // but not anything less
};

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

struct S
{
    virtual ~S();
    virtual S& operator=(const S&);
};

S::~S() = default;
S& S::operator=(const S&) = default;

Следующие аспекты функций по умолчанию могут быть изменены:

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

но для этого функции должны быть определены вне класса (8.4.2/2 в Проект окончательного комитета C++0x).

Версия исходного предложения Лоуренса Кроула: здесь.

Спасибо Роджеру Пейту за пояснение и цитату.

1) Неявно сгенерированные деструкторы в настоящее время не являются виртуальными. Поэтому вам нужно определить их, чтобы сделать их виртуальными, и в этом случае они не так эффективны. С =default у вас будут как виртуальные, так и эффективные неявно сгенерированные деструкторы.

2) У них будут спецификаторы доступа, в отличие от неявно сгенерированных.

3) Если вы встроите свой конструктор по умолчанию, ваш класс все равно останется тривиальным.

Вот статья, посвященная этой новой функции.

Я подозреваю, что возможность по умолчанию генерировать конструктор копирования будет действительно полезной. Я не вижу смысла в создании по умолчанию конструктора по умолчанию, поскольку, как вы говорите, введенная вами реализация будет короче.

См. пункт 17 из замечательной книги Скотта Мейера Effective Modern C++. Он описывает множество условий, при которых генерируются (или НЕ генерируются) конструкторы копирования по умолчанию, операции копирования и операции перемещения.

Другими словами, компилятор все равно может этого не делать. Но если специальная функция-член по умолчанию имеет смысл, пользователь может использовать ключевое слово по умолчанию, чтобы явно указать компилятору сгенерировать функцию по умолчанию, которая в противном случае не была бы создана.

Из того, что нужно помнить в конце пункта 17:

• Операции перемещения генерируются только для классов, в которых отсутствуют явно объявленные операции перемещения, операции копирования или деструктор.

• Конструктор копирования создается только для классов, в которых явно не объявлен конструктор копирования, и удаляется, если объявлена ​​операция перемещения. Оператор присваивания копирования генерируется только для классов, в которых явно не объявлен оператор присваивания копирования, и удаляется, если объявлена ​​операция перемещения. Генерация операций копирования в классах с явно объявленным деструктором устарела.

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

Использование по умолчанию более полезно для конструкторов копирования, если у вас есть класс с большим количеством атрибутов. Например, если у вас есть этот класс:

class MyClass {
private:
   int offset;
   std::string name;
   std::vector<Person*> relatives;
   float weight;
   MyClass* spouse;
   Vehicle* car;
   double houseArea;
   Date birth;
   Person* parents[2];

public:
   /* Default constructor will be defined here */
};

вместо определения конструктора копирования следующим образом:

MyClass(const MyClass& that) :
   offset(that.offset),
   name(that.name),
   relatives(that.relatives),
   weight(that.weight),
   spouse(that.spouse),
   car(that.car),
   houseArea(that.houseArea),
   birth(that.birth),
   parents(that.parents)
{}

вы бы определили так:

MyClass(const MyClass&) = default;