部分模板专门化-将类型作为参数传递？

Question

我正在尝试编写一个typeid()==typeid()形式调用的包装器，以防止将指针/指针类型作为参数传递(这是一个很容易犯的错误，也很难检测到)。

所以现在调用的是typeid(ClassA)==typeid(arg)，我想用safesametype(ClassA, arg)或类似的东西来代替它。然后，应该在编译时检查这两个参数实际上是否都没有引用指针。

使用Loki库的功能，我几乎做到了这一点，但还不够。我目前可以调用safesametype<ClassA, SuperClassOfA>(arg)，其中SuperClassOfA是arg的类型。

有没有人有办法让我放弃SuperClassOfA规范？这是当前的来源：

#include "loki/NullType.h"
#include "loki/TypeTraits.h"
#include "loki/static_check.h"
#include <typeinfo>

class CannotCompareTypeIDofPointers{};

template<class T, class T2>
bool safesametype(const T& object){
    LOKI_STATIC_CHECK(not Loki::TypeTraits<T>::isPointer, InvalidTypeIDCheck);
    LOKI_STATIC_CHECK(not Loki::TypeTraits<T2>::isPointer, InvalidTypeIDCheck);
    return typeid(object)==typeid(T2);
}

提前感谢！

兄弟会

(附言:请不要告诉我不要使用typeid)

Answer 1

只需交换模板参数。

template <class TestType, class ArgType>
bool instanceof(const ArgType& object) {
    // checks here
    return typeid(TestType) == typeid(object);
}

调用方式：

instanceof<ClassA>(arg)