继承类中swap函数重定义咨询：权限与虚函数选择

1. 是否需要在子类中重定义swap函数？ #

• 若子类包含自身的非静态成员变量（尤其是动态分配资源、或需特殊逻辑交换的成员），必须重定义swap函数。基类的swap仅处理基类成员，子类新增成员无法被正确交换，会导致状态不一致。
• 若子类仅继承基类、无任何需特殊处理的新增成员，可直接复用基类swap，但为了代码一致性和未来扩展性，建议显式实现子类swap并委托给基类（比如调用基类swap处理基类部分，子类部分无操作）。

2. 是否要将swap函数设为私有？ #

• 绝对不要。swap函数需要被外部代码（比如标准库std::swap的ADL查找、自定义业务逻辑）调用，同时Copy-and-Swap风格的赋值运算符也依赖swap完成核心交换逻辑。
• 正确做法是将swap设为公有成员函数，同时提供对应的友元非成员重载（更符合C++的ADL查找习惯，让std::swap能优先调用自定义版本）。

3. 是否需要将其设为虚函数？ #

• 不需要。swap是同类型对象的交换操作，虚函数用于多态场景的动态调用，但多态下用基类指针交换子类对象会带来类型安全问题（比如无法保证两个指针指向的是同一子类类型）。
• 若需支持多态场景下的交换，可在基类提供虚的swap_base函数，子类重写该函数处理自身成员；然后在非成员swap中通过动态类型调用对应版本。或者在确定类型的前提下，将基类指针向下转型为具体子类类型后再调用swap。

结合代码的示例说明 #

假设你的基类user和子类user_admin头文件实现如下：

// user.h
#pragma once
#include <string>

class user {
private:
    std::string name;
    // 其他基类成员
public:
    user(const std::string& n) : name(n) {}
    // Big Three/Four 实现
    user(const user& other) : name(other.name) {}
    user(user&& other) noexcept : name(std::move(other.name)) {}
    user& operator=(user other) noexcept {
        swap(*this, other);
        return *this;
    }
    ~user() = default;

    // 成员swap函数
    void swap(user& other) noexcept {
        using std::swap;
        swap(name, other.name);
        // 交换其他基类成员
    }

    // 非成员swap，支持ADL查找
    friend void swap(user& lhs, user& rhs) noexcept {
        lhs.swap(rhs);
    }
};

// user_admin.h
#pragma once
#include "user.h"
#include <vector>

class user_admin : public user {
private:
    std::vector<std::string> permissions;
    // 子类新增成员
public:
    user_admin(const std::string& n, const std::vector<std::string>& perms)
        : user(n), permissions(perms) {}

    // 子类swap实现：先处理基类，再处理自身成员
    void swap(user_admin& other) noexcept {
        using std::swap;
        // 调用基类swap处理基类部分
        swap(static_cast<user&>(*this), static_cast<user&>(other));
        // 交换子类新增成员
        swap(permissions, other.permissions);
    }

    // 非成员swap，支持ADL
    friend void swap(user_admin& lhs, user_admin& rhs) noexcept {
        lhs.swap(rhs);
    }

    // 子类的Copy-and-Swap赋值运算符
    user_admin& operator=(user_admin other) noexcept {
        swap(*this, other);
        return *this;
    }
};

关键总结 #

• 子类有自定义成员时必须重写swap，否则会遗漏子类成员的交换逻辑。
• swap必须是公有（或友元非成员），确保外部代码和赋值运算符能正常调用。
• 不要将swap设为虚函数，多态场景下通过类型转换或专用虚基类函数处理交换。

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