C++ 静态多态

最新推荐文章于 2025-07-23 17:19:33 发布

原创最新推荐文章于 2025-07-23 17:19:33 发布 · 1.4k 阅读

0 ·

本内容遵循CC 4.0 BY-SA版权协议

标签

#c++

c++ 专栏收录该内容

11 篇文章

订阅专栏

本文探讨了C++中的静态多态，首先通过对动态多态的分析，解析其组成能力，包括要求子类实现特定函数以及在父类中调用子类函数。接着介绍了C++20的concept作为动态多态替代品的可能性，以及CRTP机制的应用。最后，讨论了静态多态无法实现的类型擦除功能，并提到了function和visit等动态实现方式。

最近接触了c++的静态多态技术。为了更好的理解静态多态，首先要对动态多态做一个分析。

从动态多态的能力说起

一般我们讨论动态多态，是把它当作一个整体来分析。但是，动态多态实际上是由多种能力组成的。接下来，我会一个个的分析这些能力，并讨论相关的替代品。

要求子类拥有哪些函数

这是动态多态最为基本的功能，如下图，对于任意派生自base的类，都必须实现一个foo接口。

struct base
{
	virtual void foo() = 0;
}

在c++20中，提供了concept，可以作为这个能力的替代；当然，concept是sfinae的替代品，在c++20之前，也可以通过sfinae来实现这个能力。

在父类可以调用子类的函数

这个能力一般是通过crtp机制来实现，不过多解释，提供一个例子

#include <iostream>
template<typename Derived>
class Person {
    public:
    auto& getDerived() {
        return static_cast<Derived&>(*this);
    }
    auto lunch() {
        getDerived().eat();
        getDerived().drink();
    }
};

class XiaoMing : public Person<XiaoMing> {
    public:
    void eat() {
        std::cout << "eat pizza" << std::endl;
    }
    void drink() {
        std::cout << "drink water" << std::endl;
    }
};
int main() {
    XiaoMing v;
    v.lunch();
    return 0;
}

类型擦除

到目前位置，前两个能力都属于静态多态，也给出了通过静态实现这两个能力的代码。但是，还有一种能力是静态无法完成的，只能通过动态实现，这就是类型擦除。当然，这个功能也可以通过function来动态实现或者visit实现。例子如下：

#include <vector>
#include <functional>

struct foo
{
    void dummy() {}
};

struct bar
{
    void dummy() {}
};

int main()
{
    foo* f = new foo;
    bar* b = new bar;

    std::vector<std::function<void(void)> > dummyVec;
    dummyVec.emplace_back(std::bind(&foo::dummy, f));
    dummyVec.emplace_back(std::bind(&bar::dummy, b));

    for(auto&& dummy: dummyVec)
    {
        dummy();
    }

    delete f;
    delete b;
}

#include <vector>
#include <functional>
#include <variant>

struct foo
{
    void dummy() {}
};

struct bar
{
    void dummy() {}
};

int main()
{
    foo* f = new foo;
    bar* b = new bar;

    std::vector<std::variant<foo*, bar*> > vec;
    vec.emplace_back(f);
    vec.emplace_back(b);

    for(auto v : vec) {
        std::visit([](auto v){
            v->dummy();
        }, v);
    }

    delete f;
    delete b;
}