C++默认移动赋值无法访问基类protected成员的MSVC编译问题

原因分析 #

这个问题的核心是MSVC语言扩展与标准C++规则的行为差异：

• 当启用MSVC扩展时，编译器会放宽标准规则，允许默认生成的派生类特殊成员函数（比如移动赋值运算符）访问基类的protected成员；
• 当禁用MSVC扩展时，编译器严格遵循C++标准，此时默认生成的B::operator=(B&&)会触发权限检查失败。

具体来说，你的代码中存在两个关键问题：

1. 基类A的移动构造和移动赋值运算符都被声明为protected；
2. 派生类B使用= default让编译器自动生成移动赋值运算符，而严格模式下的MSVC会认为默认生成的函数无法合法访问基类的protected成员，从而抛出C2248错误。

另外，基类A仅声明了移动赋值运算符但未提供定义，这加剧了问题：扩展模式下MSVC会自动为A补全默认实现，但严格模式下不会，进一步导致编译器无法解析调用逻辑。

解决方案 #

根据你的设计需求，有几种可行的解决方式：

1. 手动实现派生类的移动赋值运算符

放弃= default，手动编写B的移动赋值运算符，显式调用基类的移动赋值。编译器会认可手动实现中对基类protected成员的访问权限：

class B : public A { 
public: 
    B& operator=(B&&); 
}; 

inline B& B::operator=(B&& other) {
    // 显式调用基类移动赋值，通过派生类对象的基类引用确保权限合法
    static_cast<A&>(*this) = std::move(other);
    // 如果B有自定义成员，在这里手动处理它们的移动逻辑
    return *this;
}

2. 为基类的移动赋值运算符添加默认定义

如果基类A的移动赋值不需要自定义逻辑，可以直接用= default为它提供定义，这样默认生成的B的移动赋值运算符就能正确调用它，严格模式下也能正常编译：

class A { 
protected: 
    A(const A&); 
    A& operator=(const A&); 
    A(A&&); 
    A& operator=(A&&) = default; // 添加默认定义
}; 

class B : public A { 
public: 
    B& operator=(B&&); 
}; 

inline B& B::operator=(B&&) = default; // 现在可正常编译

3. 将基类的移动相关成员改为public（不推荐，除非必要）

如果你的设计允许基类的移动构造和移动赋值被外部访问，可以将它们的权限改为public，这样默认生成的B的移动赋值运算符就能无阻碍地调用它们。但这会打破基类的封装性，一般不建议采用这种方式。

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