1

以下からの読み取りに基づいて、Loki に基づいて TypeList を実装していました。

http://aszt.inf.elte.hu/~gsd/halado_cpp/ch06s09.html

IndexOfのサイトからこのコードを見ました（タイプリストでタイプのインデックスを見つけるため）：

template <class T>
struct IndexOf< NullType, T>
{
    enum { value = -1 };
};

template <class T, class Tail>
struct IndexOf< Typelist<Head, Tail>, T>
{
private:
    enum { temp = IndexOf<Tail, T>::value };
public:
    enum { value = (temp == -1) ? -1 : 1+temp };
};

リストが再帰的にトラバースされるため、 T を比較するものはどこにも見られないため、それはうまくいかないようです。私の実装では、次のようになります。

template<typename Tlist, typename T>
struct IndexOf
{
private:
  static const int temp = IndexOf<typename Tlist::Tail, T>::value;
public:
  static const int value = (temp == -1) ? -1 : 1 + temp;
};

template<typename T>
struct IndexOf<NullType, T>
{
  static const int value = -1;
};

実際、常に -1 を返します。考えてみれば、TypeList があると想像してください。その後、Tail は NullType になるため、特殊化によって temp は -1 になり、値は -1 になります。たとえ Head が char であり、ゼロを期待していたとしてもです。ここで何が欠けていますか？

ありがとう

Typelist の私の実装は単に:

template<typename H, typename T>
struct Typelist
{
  typedef H Head;
  typedef T Tail;
};

これはロキスではないと思いますが、ジョエルの答えで、これがうまくいきました：

template<typename Head, typename Tail, typename T>
struct IndexOfImpl
{
private:
  static const int temp = IndexOfImpl<typename Tail::Head, typename Tail::Tail, T>::value;
public:
  static const int value = (temp == -1) ? -1 : temp + 1;
};

template<typename T, typename Tail>
struct IndexOfImpl<T, Tail, T>
{
  static const int value = 0;
};

template<typename T>
struct IndexOfImpl<T, NullType, T>
{
  static const int value = 0;
};

template<typename Head, typename T>
struct IndexOfImpl<Head, NullType, T>
{
  static const int value = -1;
};

template<typename Tlist, typename T>
struct IndexOf
{
 public:
  static const int value = IndexOfImpl<typename Tlist::Head, typename Tlist::Tail, T>::value;
};
4

1 に答える 1

1

する必要があります:

template <class T>
struct IndexOf< NullType, T>
{
    enum { value = -1 };
};

template <class T, class Head, class Tail>
struct IndexOf< Typelist<Head, Tail>, T>
{
private:
    enum { temp = IndexOf<Tail, T>::value };
public:
    enum { value = (temp == -1) ? -1 : 1+temp };
};

template <class T, class Tail>
struct IndexOf< Typelist<T, Tail>, T>
{
public:
    enum { value = 0 };
};

リストの再帰エンコーディングのどこかの先頭で T を見つけようとします。

于 2012-05-16T19:54:09.760 に答える