C++ 隐式声明的移动赋值运算符调用基类的隐式声明的复制赋值运算符

问：

一个简单的问题，但我找不到证明这一点的规则集 下面的代码示例的行为是正确的。这里似乎只有 strDerived 是 从 b 移动，但 strBase 被复制了？将隐式声明的移动赋值运算符 of Derived （=> 规则为零） 始终调用隐式声明的复制赋值 当 Base 在那里找不到任何移动分配运算符时，它运算符？ 这有保证吗？（在示例中执行 move-construction 而不是 move-assignment 时，是否同样适用？

#include <string>

struct Base
{
    ~Base() = default;
    std::string strBase{ "Base"};
};

struct Derived : public Base
{
    std::string strDerived{ "Derived" };
};

int main()
{
    Derived a, b;
    a = std::move( b );
    return 0;
}