如何在模板参数上强制执行合同

Question

如何将模板参数指定为某种类型，即它必须已实现接口（模板参数必须是特定基类的派生类）

继承接口（抽象基类）

class baseActionCounter{
public:
virtual int eat()=0;
virtual int drink()=0;
};

现在我希望我的模板参数是 baseActionCounter 类型

这是模板类

//imaginary template syntax in the line below. Is there a way of achieving this behavior?
template <class counterType : baseActionCounter>

    class bigBoss{
    counterType counter;
    public:
    int consumerStats(){
    //I am able to call member function because I know that counter object has eat() and drink() 
    //because it implemented baseActionCounter abstract class
    return counter.eat() + counter.drink(); 
    }
    };

我也可以从 baseActionCounter 派生我的 bigBoss 类，但我想知道如何使用模板实现此行为。 此外，模板特化也不适合，因为对于 baseActionCounter 类的任何实现者只有一个 BigBoss 类。

Answer 1

是的，您可以使用std::is_base_of 来检查类型，例如

template <class counterType, std::enable_if_t<std::is_base_of_v<baseActionCounter, counterType>>* = nullptr>
class bigBoss {

或者

template <class counterType>
class bigBoss {
    static_assert(std::is_base_of_v<baseActionCounter, counterType>, "counterType must derive from baseActionCounter");
    ...
};

或使用concept（C++20 起）。

template <class T>
concept Derived = std::is_base_of_v<baseActionCounter, T>;

template <Derived counterType>
class bigBoss {

顺便说一句：如果指定了基类baseActionCounter，std::is_base_of 也会返回true；如果这不是您想要的，您可以将条件与std::is_same 结合起来。