C ++：如何将类模板限制为从纯虚拟基派生的类

Question

我想在模板类上调用一个方法，我需要一种方法来确保该方法在我的模板类上。

我知道如何确保方法在类上可用的唯一方法是从纯虚拟基类派生该类。这会产生大量开销，如下面的代码所示。

显然，接口是无关紧要的，与模板类的显式特化无关，这实际上是在驱动main.cpp 中的代码。我只是过时并坚持“接口”，还是有一种现代的面向对象的方法来确保模板类是完整的？

编辑： 为了深入了解下面的代码...

有一个接口，叫做“接口”，它有一个虚析构函数和一个叫做sayHi()的纯虚方法。 A 继承自 Interface 并实现 sayHi()。然后将A 作为模板传递给Template，然后在其salutations() 方法中调用sayHi()。为了进一步混淆事情，静态方法是解决我的问题的最佳方法。但是，为了使用基类作为接口来为我的模板类提供继承，我无法使用静态方法，因此您会看到两种非静态方法来满足虚拟方法和一种静态方法来满足我的需求。

在我看来，除了以面向对象的方式组织之外，不需要接口，这会带来相当大的痛苦。是否有另一种方法来获得界面提供的秩序感，或者这种思维方式已经过时了？

---

main.cpp

#include "a.h"
#include "template.h"

int main (int argc, char * argv[]) {
    Template<A> a;

    a.salutations();

    return 0;
}

---

interface.h

#ifndef INTERFACE_H
#define INTERFACE_H

struct Interface {
    virtual
    ~Interface (
        void
    ) {}

    virtual
    void
    sayHi (
        void
    ) const = 0;
};

#endif

---

a.h

#ifndef A_H
#define A_H

#include "interface.h"

class A : public Interface {
  public:
    A (
        void
    );

    ~A (
        void
    );

    void
    sayHi (
        void
    ) const;

    static
    void
    sayHi (
        bool = false
    );
};

#endif

---

a.cpp

#include "a.h"

#include <iostream>

A::A (
    void
) {}

A::~A (
    void
) {}

void
A::sayHi (
    void
) const {
    return A::sayHi(true);
}

void
A::sayHi (
    bool
) {
    std::cout << "Hi from A!" << std::endl;
}

---

模板.h

#ifndef TEMPLATE_H
#define TEMPLATE_H

template <class Interface>
class Template {
  public:
    void salutations (void);
};

#endif

---

模板.cpp

#include "template.h"

#include "a.h"

template<>
void
Template<A>::salutations (
    void
) {
    A::sayHi();
    return;
}

Answer 1

C++ 不是 Java。我不知道如何说类或类型名必须从另一个类派生。

真的是duck typing。只需使用这些方法，如果它们不存在，编译器就会抛出错误。顺便说一句，当你写

template <class Interface>
class Template {
  public:
    void salutations (void);
};

Interface 在这里与T 相同：它不需要使用的特化是class Interface 的子类。