如何在具有约束的函数中使用泛型类型（C++）[重复]

Question

我有一个算法，需要使用名为“Stack”（即“LinkedStack”、“ArrayStack”等）的父类的许多实现来执行。 我想如果我把这个算法写成一个函数并提供某种通用类型/模板函数魔法，问题就会解决。

但我没有找到任何方法。

我已经搜索并尝试了许多语法，但也许不可能？

template<class T: Stack> // Imaginary synthax to tell "T is a Stack"
void doTaskWithSpecificImplementation() 
{
    // Eventually somewhere in the function:
    T stack = new T();
}

void main() {
    doTaskWithSpecificImplementation<LinkedStack>();
}

我希望这段代码能够提供一种调用函数的简便方法，同时规定使用特定的虚拟类实现。

Answer 1

你的问题没有提到重载，只是在你得到错误类型时给出一个可以理解的错误。在这种情况下，static_assert 和 std::is_base_of

template<typename T>
void doTaskWithSpecificImplementation() {
    static_assert(std::is_base_of<Stack, T>{}, "T must be a Stack or a Stack subclass");
}