Question

如何使用奇怪的重复模板模式（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;
}

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

Answer 1

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

使用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();
}

CRTP与名称隐藏静态多态性

1 个答案: