Question

假设我有一组继承自单个超类S的类：

class S{ ... };

class C1 : public S{ ... };
class C2 : public S{ ... };

然后假设我有一个模板化的方法：

template<class T> void foo(T* instance);

我想静态检查foo从未被调用提供超类的实例，但只调用提供其中一个（具体）子类（例如显式调用foo<C1>(x)）

这可能吗？

Answer 1

首先，我们可以编写一个特征来检查T是否来自S，而不是S：

template <class Base, class Derived>
using is_strict_base = 
    std::integral_constant<bool,
        std::is_base_of<Base,Derived>::value && 
        !std::is_same<Base,typename std::remove_cv<Derived>::type>::value>;

您可以使用std::enable_if来使用此特征：

template<class T>
typename std::enable_if<is_strict_base<S,T>::value>::type
foo(T* instance)
{}

使用C ++ 14，您可以使用std::enable_if_t使其更漂亮：

template<class T>
std::enable_if_t<is_strict_base<S,T>::value>
foo(T* instance)
{}

另一种选择是使用static_assert：

template<class T>
void foo(T* instance)
{
    static_assert(is_strict_base<S,T>::value, 
                  "T must be derived from S, but not S");
}

这会给你一个更好的错误，但我个人认为函数的类型约束属于声明。

调用模板化方法，仅允许子类作为参数

1 个答案: