C++递归类型特征

C++ recursive type traits

本文关键字：特征 类型 递归 C++      更新时间：2023-10-16

>我正在尝试实现一个模板类（此处命名为Get<>），给定一个结构H，如果限定 id H::der不存在，则类型 Get<H>::type 是H本身，否则Get<H::der>::type。我不明白以下代码有什么问题：

#include <iostream>
#include <typeinfo>
using namespace std;
template<class U, class V = void>
struct Get
{
  static const char id = 'A';
  typedef U type;
};
template<class U>
struct Get<U,typename U::der>
{
  static const char id = 'B';
  typedef typename Get<typename U::der>::type type;
};
struct H1
{ };
struct H2
{ typedef double der; };
struct H3
{ typedef void der; };
struct H4
{ typedef H2 der; };
void print(char id, const char* name)
{
  cout << id << ", " << name << endl;
}
int main(int , char *[])
{
  print(Get<H1>::id, typeid(Get<H1>::type).name()); // prints "A, 2H1", OK
  print(Get<H2>::id, typeid(Get<H2>::type).name()); // prints "A, 2H2", why?
  print(Get<H3>::id, typeid(Get<H3>::type).name()); // prints "B, v"  , OK
  print(Get<H4>::id, typeid(Get<H4>::type).name()); // prints "A, 2H4", why?
}

我需要一些帮助来使这段代码按预期运行。更具体地说，我希望Get< H2 >::type等于double，Get< H4 >::type也是如此。

模板Get<>有一个默认的模板参数 - 这是非常危险的。 根据V是否等于int，void或double你会得到不同的结果。这是发生的情况：

Get<H2>::type首先Get<H2, void>（id='A'）。现在检查一下，它是否有专业化。你的B是Get<U,typename U::der>，它变成了Get<U, double>。但这不符合Get<H2, void>，所以选择了A。事情变得有趣Get<H2>::type.然后变体 B 也Get<U, void>并提供更好的匹配。 但是，该方法不适用于所有类型。

这就是我将如何实现Get：

template<class U>
class Get
{
  template <typename T, typename = typename T::der>
  static typename Get<typename T::der>::type test(int);
  template <typename T>
  static T test(...);
public:
  typedef decltype(test<U>(0)) type;
};
<</div> div class="answers">

虽然我给@ipc答案一个+1，并且对于启用C++11的编译器来说非常好，但对于C++03编译器，您应该使用不同的方法，因为C++03不支持函数模板参数的默认值。所以我有这个代码：

template<class U, class V = void>
struct Get
{
    static const char id = 'A';
    typedef U type;
};
template< class T >
struct is_type {
    static const bool value = true;
};
template<class U>
struct Get<U,
    typename std::tr1::enable_if<is_type<typename U::der>::value, void>::type>
{
    static const char id = 'B';
    typedef typename Get<typename U::der>::type type;
};
相关文章：