c++ - CRTP vs隐藏静态多态性的名称

使用好奇重复模板模式（CRTP）与名称隐藏如何实现静态多态性有什么不同？

例如，这是一个使用CRTP和名称隐藏来演示静态多态性的简单示例：

template <typename T>
struct BaseCRTP {
    void foo() {
        static_cast<T*>(this)->foo();
    }

    void bar() {
        std::cout << "bar from Base" << std::endl;
    }
};

struct DerivedCRTP : public BaseCRTP<DerivedCRTP> {
    void foo() {
        std::cout << "foo from Derived" << std::endl;
    }
};

struct BaseNH {
    void foo() {}

    void bar() {
        std::cout << "bar from Base" << std::endl;
    }
};

struct DerivedNH : public BaseNH {
    void foo() {
        std::cout << "foo from Derived" << std::endl;
    }
};

template <typename T>
void useCRTP(BaseCRTP<T>& b) {
    b.foo();
    b.bar();
}

template <typename T>
void useNH(T b) {
    b.foo();
    b.bar();
}

int main(int argc, char** argv) {
    DerivedCRTP instance_crtp; // "foo from Derived"
    DerivedNH instance_nm; // "bar from Base"
    useCRTP(instance_crtp); // "foo from Derived"
    useNH(instance_nm); // "bar from Base"
    return 0;
}

要澄清的是，这不是关于力学的问题，而是关于行为和使用的问题。

最佳答案

考虑基类方法调用其他方法的情况。

使用CRTP可以覆盖被调用的方法。

隐藏名称时，没有覆盖机制。



例。
此代码将CRTP用于静态多态，其中在派生类中重写了kind方法。

#include <iostream>
using namespace std;

template< class Derived >
class Animal
{
public:
    auto self() const
        -> Derived const&
    { return static_cast<Derived const&>( *this ); }

    auto kind() const -> char const* { return "Animal"; }
    void identify() const { cout << "I'm a " << self().kind() << "." << endl; }
};

class Dog
    : public Animal< Dog >
{
public:
    auto kind() const -> char const* { return "Dog"; }
};

auto main() -> int
{
    Dog().identify();
}

关于c++ - CRTP vs隐藏静态多态性的名称，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/28590103/