C++静态与动态多态兼顾实现：按需类型擦除问题排查

先构建核心类结构，区分静态多态与动态多态的调用路径，实现按需类型擦除：

1. 动态多态基类（用于异构列表与动态分发） #

先定义纯虚基类Connection，作为动态多态的统一接口：

#include <vector>
#include <iostream>

class Connection {
public:
    virtual ~Connection() = default;
    // 动态分发的核心接口
    virtual void Recv() = 0;
};

2. CRTP静态多态模板类（静态绑定优化） #

通过CRTP实现静态多态封装，同时继承Connection以兼容动态分发场景：

template<typename Derived>
class IConnection : public Connection {
public:
    // 静态绑定的入口，编译器会直接解析到Derived的ImplRecv
    void Recv() override {
        static_cast<Derived*>(this)->ImplRecv();
    }
};

3. 具体实现类（Socket、MockSock） #

让具体类继承CRTP模板，实现静态绑定的ImplRecv，而非直接重写虚函数：

class Socket : public IConnection<Socket> {
public:
    // 静态多态的具体实现，无虚函数开销
    void ImplRecv() {
        std::cout << "Socket static Recv\n";
    }
};

class MockSock : public IConnection<MockSock> {
public:
    void ImplRecv() {
        std::cout << "MockSock static Recv\n";
    }
};

4. 三种场景验证 #

静态多态场景（无动态分发） #

int main() {
    // 静态绑定：直接调用Socket::ImplRecv，无虚函数开销
    IConnection<Socket> s{Socket{}};
    s.Recv();

动态多态场景（按需动态分发） #

// 动态绑定：通过Connection指针调用，触发虚函数分发
    Connection* c = new Socket{};
    c->Recv();
    delete c;

异构列表场景（类型擦除+动态分发） #

// 异构列表：存储不同Connection派生类指针，遍历调用时动态分发
    std::vector<Connection*> l{new Socket{}, new MockSock{}};
    for (auto conn : l) {
        conn->Recv();
        delete conn;
    }

    return 0;
}

核心原理说明 #

• 静态多态场景下，IConnection<Socket>::Recv会被编译器直接解析为调用Socket::ImplRecv，完全是静态绑定，没有虚函数调用开销。
• 当需要动态分发或类型擦除时（比如异构列表、基类指针指向派生类），通过Connection基类的虚函数接口触发动态分发，仅在必要时产生虚函数开销，实现了按需类型擦除。
• 原问题的根源是直接让CRTP类的Recv成为虚函数，导致静态调用时也会走虚函数表；现在将静态实现与虚函数接口分离，完美区分了两种调用场景。

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