C++成员函数调用其他成员函数的正确姿势与避坑指南

1次阅读

共计 2077 个字符，预计需要花费 6 分钟才能阅读完成。

最近在代码 Review 时，发现新手同事写出了这样的代码：

class Widget {
public:
    void process() {
        // 忘记传递 this 指针！std::thread t(backgroundTask);
        t.detach();}

private:
    void backgroundTask() {std::cout << "Processing..." << std::endl;}
};

运行时直接段错误（Segmentation Fault）。这是因为 成员函数默认需要 this 指针 才能访问对象数据，而直接传递函数地址相当于丢失了对象上下文。

class Calculator {
public:
    int add(int a, int b) {return a + b + cache; // 访问成员变量}

    int calc(int x, int y) {
        // 直接调用：隐含 this 指针传递
        return add(x, y) * 2; 
    }

private:
    int cache = 10;
};

特点：
– 编译器自动处理 this 传递
– 仅限同一对象内部调用

class Parser {
public:
    using Handler = void (Parser::*)(const std::string&);

    void parse(const std::string& data) {
        Handler h = &Parser::handleData;
        (this->*h)(data); // 显式使用 this
    }

private:
    void handleData(const std::string& s) {/*...*/}
};

适用场景：
– 需要动态选择调用的成员函数
– 实现类似插件机制的设计

class Worker {
public:
    void start() {
        // Lambda 捕获 this
        auto task = [this] {doWork(); 
        };

        std::thread t(task);
        t.join();}

private:
    void doWork() { /*...*/}
};

优势：
– 完美适配回调机制
– 可绑定到 STL 算法

class SafeCounter {
public:
    void increment() {std::lock_guard<std::mutex> lock(mtx_);
        ++count_;
        log(); // 调用其他成员函数}

private:
    void log() const {std::cout << "Current count:" << count_ << std::endl;}

    mutable std::mutex mtx_;
    int count_ = 0;
};

class DataReader {
public:
    void load() const {
        // 合法方式：const_cast 去除 const 限定
        const_cast<DataReader*>(this)->realLoad();}

private:
    void realLoad() {/* 非 const 操作 */}
};

class Base {
public:
    virtual void step1() { /*...*/}

    void process() {step1(); // 动态绑定
        step2(); // 静态绑定}

    virtual void step2() { /*...*/}
};

class Derived : public Base {void step1() override {/*...*/}
    void step2() override { /*...*/}
};

关键点：
– 通过 this 指针调用的虚函数会查虚函数表（vtable）
– 构造函数 / 析构函数中虚函数机制未完全生效

template<typename T>
class Container {
public:
    void sort() {compare(); // 依赖 T 的具体实现
    }

private:
    void compare() {T::specialCompare(); // 可能需要特化
    }
};

// 错误示范：lambda 捕获悬挂指针
auto makeTask() {
    Widget w;
    return [&w] {w.doSomething(); }; // w 已销毁！}

// 正确做法：shared_ptr 管理生命周期
auto safeTask() {auto w = std::make_shared<Widget>();
    return [w] {w->doSomething(); };
}