在某些情况下，这是语义问题。在默认构造函数中，这不是很明显，但是在其他编译器生成的成员函数中，它变得很明显。
对于默认构造函数，可以将任何具有空主体的默认构造函数视为使用琐碎构造函数的候选对象，与using相同=default。毕竟，旧的空默认构造函数是合法的C ++。
struct S {
int a;
S() {} // legal C++
};
在大多数优化之外的情况下（手动或编译器优化），编译器是否理解此构造函数无关紧要。
但是，这种将空函数体视为“默认”的尝试完全破坏了其他类型的成员函数。考虑复制构造函数：
struct S {
int a;
S() {}
S(const S&) {} // legal, but semantically wrong
};
在上述情况下，用空主体编写的副本构造函数现在是错误的。它实际上不再是复制任何东西。与默认的复制构造函数语义相比，这是一组非常不同的语义。所需的行为要求您编写一些代码：
struct S {
int a;
S() {}
S(const S& src) : a(src.a) {} // fixed
};
但是，即使是这种简单情况，编译器也要验证副本构造函数与它自己生成的副本构造函数相同，或者让它看到副本构造函数是琐碎的（相当于memcpy基本上， ）。编译器将必须检查每个成员初始化器表达式，并确保该表达式与该表达式相同，以访问源的相应成员，并且别无其他选择，确保没有任何成员具有非平凡的默认构造，等等。在过程中它是向后的编译器将用来验证该函数自己生成的版本是微不足道的。
然后考虑复制赋值运算符，该赋值运算符可以变得更加毛茸茸，尤其是在非平凡情况下。您不需要为许多类编写大量的样板，但是无论如何，您都必须在C ++ 03中被迫这样做：
struct T {
std::shared_ptr<int> b;
T(); // the usual definitions
T(const T&);
T& operator=(const T& src) {
if (this != &src) // not actually needed for this simple example
b = src.b; // non-trivial operation
return *this;
};
那是一个简单的例子，但是它已经比强迫您为这样的简单类型编写的代码要多了T（尤其是一旦我们将移动操作扔进混合中时）。我们不能依靠空的主体来表示“填写默认值”，因为空的主体已经完全有效并且具有明确的含义。实际上，如果用空主体表示“填写默认值”，那么就没有办法显式地创建无操作拷贝构造函数等。
这又是一致性的问题。空的主体意味着“不执行任何操作”，但是对于诸如复制构造函数之类的操作，您实际上不希望“不执行任何操作”，而是“执行所有通常会被抑制的操作”。因此=default。克服抑制的编译器生成的成员函数（如复制/移动构造函数和赋值运算符）是必要的。然后，它也“显而易见”以使其也适用于默认构造函数。
最好将具有空主体的默认构造函数和琐碎的成员/基部构造函数也视为琐碎的，就像=default在某些情况下只是为了使较旧的代码更优化时一样，将它们视为琐碎的事情，但是大多数低级代码都依赖琐碎的用于优化的默认构造函数也依赖于琐碎的副本构造函数。如果您必须去“修复”所有旧的副本构造函数，那么修复所有旧的默认构造函数实际上也不是一件容易的事。使用显式=default表示您的意图也更加清晰和明显。
编译器生成的成员函数还会执行其他一些操作，您还必须显式进行更改以支持该功能。支持constexpr默认构造函数就是一个示例。从心理上讲，使用它=default比用所有其他特殊关键字标记函数要容易得多，=default这是C ++ 11的主题之一：使语言更容易。它仍然有很多缺陷和反向兼容的折衷，但是很明显，就易用性而言，这是从C ++ 03向前迈出的一大步。
default不是新的关键字，它只是已经保留的关键字的新用法。