《C++ Primer 5版》虚析构函数与移动语义相关疑问

先引用你提到的《C++ Primer 5版》内容：

《C++ Primer 5版》提到：“基类需要虚析构函数这一事实对基类和派生类的定义有重要间接影响：如果一个类定义了析构函数——即使使用=default来使用合成版本——编译器将不会为该类合成移动运算符（§13.6.2，第537页）。”

核心规则：用户声明的析构函数会抑制默认移动操作的合成 #

首先得明确C++的关键规则：只要类中存在用户声明的析构函数（不管是自定义实现、用=default显式指定的合成版本，还是虚析构），编译器就不会自动为这个类合成移动构造函数和移动赋值运算符。

这里的核心是“用户声明”——你只要写了~A()（哪怕只是virtual ~A()=default），就属于主动声明了析构函数，直接触发这个抑制规则。

你的代码为什么没调用拷贝赋值？ #

看你的代码实现：

class A {
public:
    A(){cout << "A::A()\n";}
    virtual ~A(){cout << "A::~A()\n";}
    A& operator = (const A&) {cout << "A::=\n"; return *this;};
    A& operator = (A&&) = default; // 你显式默认了移动赋值运算符
};

虽然虚析构的存在让编译器不会自动合成移动赋值，但你主动用=default请求编译器生成默认的移动赋值运算符——这相当于你明确告诉编译器“我需要这个移动赋值的默认版本”，所以编译器会为你生成它。

当执行a2 = std::move(a);时：

• std::move(a)将a转换为右值类型A&&
• 编译器会优先匹配参数为A&&的移动赋值运算符（比参数为const A&的拷贝赋值更匹配右值）
• 所以这里调用的是你显式默认的移动赋值运算符，而非拷贝赋值。

你看不到输出是因为默认的移动赋值运算符对于无自定义成员的类（你的A类没有额外成员），只是做逐成员移动，没有额外的输出语句，所以你误以为没调用任何赋值，但实际上它已经执行了。

什么时候虚析构会导致默认移动操作完全不可用？ #

只有当你没有手动声明移动构造/赋值时，虚析构才会导致默认移动操作不被合成：

• 如果你的类只有用户声明的析构（比如去掉代码里的A& operator = (A&&) = default;），编译器就不会合成移动赋值和移动构造
• 这时尝试用移动语义（比如std::move），编译器会退而求其次调用拷贝构造/赋值（只要这些操作可用）
• 但如果你手动声明了移动操作（不管是=default还是自定义实现），编译器会按照你的声明生成或使用对应的移动操作，不受析构函数的抑制规则影响。

内容的提问来源于stack exchange，提问作者Maestro