在 Stack Overflow 帖子 Checking the object type in C++11 中，我有评论：
在 C++11 中，您实际上会想要执行
virtual ~A() = default;否则，您将失去隐式移动构造函数。
virtual ~A() = default; 是干什么用的？ virtual ~A() {} 为何会丢失隐式移动构造函数？
【问题讨论】：
A(A&&) = default;
标签： c++ c++11 destructor virtual-functions
评论不正确。
两者：
virtual ~A() = default;
和
virtual ~A() {}
被用户声明。如果析构函数是用户声明的，则隐式移动成员将被禁止。
[dcl.fct.def.default]/p4 讨论 user-declared 和 user-provided 特殊成员：
一个特殊的成员函数是用户提供的，如果它是用户声明的并且 在第一次声明时未明确默认或删除。
【讨论】：
Explicitly-defaulted functions and implicitly-declared functions are collectively called defaulted functions, and the implementation shall provide implicit definitions for them. A special member function is user-provided if it is user-declared and not explicitly defaulted or deleted on its first declaration. 这是来自 n3337 即 C++11 标准 + 1
~A() = default; 可能是一个微不足道的析构函数，但 ~A() {} 不可能。
在这个帖子https://stackoverflow.com/a/17204598/260127，我有评论：
在 C++11 中，您实际上需要执行
virtual ~A() = default;否则，您将失去隐式移动构造函数。
评论不正确。
即使defaulted，该析构函数也是“user-declared”（但请注意，它也不是“user-provided”）。
#include <iostream>
struct Helper
{
Helper() {}
Helper(const Helper& src) { std::cout << "copy\n"; }
Helper(Helper&& src) { std::cout << "move\n"; }
};
struct A
{
virtual ~A() {}
Helper h;
};
struct B
{
virtual ~B() = default;
Helper h;
};
struct C
{
Helper h;
};
int main()
{
{
A x;
A y(std::move(x)); // outputs "copy", because no move possible
}
{
B x;
B y(std::move(x)); // outputs "copy", because still no move possible
}
{
C x;
C y(std::move(x)); // outputs "move", because no user-declared dtor
}
}
+ g++-4.8 -std=c++11 -O2 -Wall -pthread main.cpp
+ ./a.out
复制
复制
移动
所以你没有“丢失”任何东西——一开始就没有移动功能！
这是在两种情况下禁止隐式移动构造函数的标准段落：
[C++11: 12.8/9]:如果类X的定义没有明确声明移动构造函数，当且仅当
X没有用户声明的复制构造函数，X没有用户声明的复制赋值运算符，X没有用户声明的移动赋值运算符，X没有用户声明的析构函数，并且- 移动构造函数不会被隐式定义为已删除。
如果标准的未来版本实际上列出了诸如“用户声明”之类的术语的确切含义，那也没有什么坏处。至少有这个：
[C++11: 8.4.2/4]:[..] 一个特殊的成员函数是用户提供的，如果它是用户声明的并且在其第一次声明时没有显式默认或删除。 [..]
人们可以通过暗示假设这里的区别。
【讨论】：
= default; 似乎一样。
12.8/9 可以改为“用户提供”。也可能是12.8/20？
"explicitly defaulted or deleted on its first declaration" 是什么意思？第一个声明之后可以有后续声明吗？
struct A { ~A() = default; }; A::~A() {}，除了定义是非法的。我认为这可能只是措辞尴尬或过于精确。
那条评论是错误的。
如果您希望编译器提供一个，而不是提供您自己的移动构造函数，其中一个要求是它期望析构函数也由它提供，即一个微不足道的析构函数。然而，当前的标准对何时可以提供隐式实现非常严格——接受用户如何给出析构函数。用户声明的任何事情都被认为是用户将此事掌握在自己手中，因此不仅如此
~A() { … }
还有这个
~A() = default;
使编译器不提供隐式析构函数。首先是定义，因此也是声明；第二只是一个声明。在这两种情况下，析构函数都是用户声明的，因此禁止编译器提供隐式移动构造函数。
我猜这个要求背后的基本原理是，在 move 期间，一个对象的资源被移动到另一个对象，使原始对象处于动态存储中没有资源的状态；但是如果你的类没有任何这样的资源，那么它可以被简单地移动、销毁等。当你声明一个非平凡的析构函数时，它会提示编译器你在类中管理的资源不是微不足道的，而且您通常也必须提供重要的 move，因此编译器不提供。
【讨论】：