c++ - 如何强制使用的模板参数在 C++ 中实现某些接口？

Question

我认为这在 C++ 中是不可能的，我必须有哪些选项来模拟这种行为？

Answer 1

用作std::is_base_of：

template<typename T>
class A
{
    static_assert(std::is_base_of<IMyInterface, T>::value, 
                  "T must derive from IMyInterface");
};

您也可以在功能模板中进行相同的操作。

Answer 2

您可以使用std::is_base_of<YourInterface, YourParameter>，如果结果为 ，则会出错false。请记住这是 C++11。

Answer 3

一些多态接口还是一些静态接口？后者可以通过Boost Concepts检查。