当两种类型相同时，专门研究c ++模板函数

Question

我的用例如下。 给定一个对象，我想要一种可读的方法来确定该对象是否是另一个对象的子类。 显然，核心是对dynamic_cast的调用，但是我想要更易读的东西。 所以我有以下几点：

template <typename C, typename T>
bool isInstanceOf(const T& t) noexcept {
    if (typeid(t) == typeid(C)) {
        return true;
    }
    if (dynamic_cast<const C*>(&t) != nullptr) {
        return true;
    }
    return false;
}

这按预期工作，但是如果我在C和T实际上是相同类型的地方进行调用，则会在dynamic_cast上收到编译器警告，因为编译器知道它永远不会返回null。 这引出了我的问题：是否可以编写一个专门的版本，如果C和T实际上是同一类型，则仅返回true。

我尝试了明显的

template <typename C>
inline bool isInstanceOf(const C& t) noexcept {
    return true;
}

但这给我一个错误：“对'isInstanceOf'的调用是模棱两可的”。

这并不是真正的高优先级项目，因为我永远不会真正调用isInstanceOf<B>(b) ，因为我知道b的类型为B，但是为了确保完整性，我在单元测试中使用了它，我想看看是否存在一种使编译器在不发出警告的情况下对其进行优化的方法。

如果有帮助，这是我收到的警告消息：

In file included from Tests/rtti.cpp:15:0:
.build/Linux-x86_64/include/kss/util/rtti.hpp: In instantiation of ‘bool kss::util::rtti::isInstanceOf(const T&) [with C = {anonymous}::B; T = {anonymous}::B]’:
Tests/rtti.cpp:81:9:   required from here
.build/Linux-x86_64/include/kss/util/rtti.hpp:61:40: warning: the compiler can assume that the address of ‘t’ will never be NULL [-Waddress]
     if (dynamic_cast<const C*>(&t) != nullptr) {
         ~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~

Answer 1

如果您拥有C ++ 17，则可以使用if constexpr ：

template <typename C, typename T>
bool isInstanceOf(const T& t) noexcept {
    if constexpr (std::is_same<T, C>::value) {
        return true;
    } else {
        return dynamic_cast<const C*>(&t) != nullptr;
    }
}

在C ++ 17之前的版本中，重载和SFINAE（或标签分配）可能会完成以下任务：

template <typename C>
bool isInstanceOf(const C& t) noexcept {
    return true;
}

template <typename C, typename T>
std::enable_if_t<!std::is_same<C, T>::value, bool>
isInstanceOf(const T& t) noexcept {
    return dynamic_cast<const C*>(&t) != nullptr;
}

Answer 2

不完全是您的要求，主要是为了娱乐，但是...几个如下的模板重载函数呢？

template <typename T>
bool isIstanceOf (T const &) noexcept
 { return true; }

template <typename>
bool isIstanceOf (...) noexcept
 { return false; }

你必须打电话说明类型T吗？

但是，“可转换为”比“可转换为”更多。

以下是完整的编译示例

#include <iostream>

template <typename T>
bool isIstanceOf (T const &) noexcept
 { return true; }

template <typename>
bool isIstanceOf (...) noexcept
 { return false; }

struct A
 { };

struct B : public A
 { };

int main()
 {
   A  a;
   B  b;

   std::cout << isIstanceOf<A>(a) << std::endl;    // print 1
   std::cout << isIstanceOf<A>(b) << std::endl;    // print 1
   std::cout << isIstanceOf<B>(a) << std::endl;    // print 0
   std::cout << isIstanceOf<B>(b) << std::endl;    // print 1
   std::cout << isIstanceOf<int>(a) << std::endl;  // print 0
   std::cout << isIstanceOf<int>(b) << std::endl;  // print 0
 }