2

テンプレート クラスの CRTP を実行したいのですが、抽象基本クラスに派生クラスのテンプレート パラメーターを認識させたいと考えています。

私はこれを試しましたが、うまくいきません:

template<template<class T, unsigned int TDIM> class TCRTP> class NAbstract
{
    T _data[TDIM];
};

template<typename T, unsigned int TDIM> class NArray : NAbstract< NArray<T, TDIM> >
{

};

template<typename T, unsigned int TDIM> class NVector : NAbstract< NVector<T, TDIM> >
{

};

g++ 4.6.2 は私に教えてくれます:

main.cpp|5|error: 'T' does not name a type|
main.cpp|8|error: type/value mismatch at argument 1 in template parameter list for 'template<template<class T, unsigned int TDIM> class TCRTP> class NAbstract'|
main.cpp|8|error:   expected a class template, got 'NArray<T, TDIM>'|
main.cpp|13|error: type/value mismatch at argument 1 in template parameter list for 'template<template<class T, unsigned int TDIM> class TCRTP> class NAbstract'|
main.cpp|13|error:   expected a class template, got 'NVector<T, TDIM>'|

何が問題で、そのようなことの良い解決策は何ですか?

4

3 に答える 3

1

1 つの解決策は、テンプレートを部分的に特殊化することです。

template <typename> struct NAbstract;

template <typename T, unsigned int N>
struct NAbstract<NArray<T, N>>
{
    T _data[N];
    // ...
};

または:

template <template <typename, unsigned int> class Container,
          typename T, unsigned int N>
struct NAbstract<Container<T, N>>
{
    T _data[N];
    // ...
};
于 2012-08-13T05:56:39.180 に答える
1

以下は、エラーを修正した後のコードを示しています。

template<class T, unsigned int TDIM, template<class, unsigned int> class TCRTP>
class NAbstract
{
  T _data[TDIM];
};

template<typename T, unsigned int TDIM>
class NArray : NAbstract< T, TDIM, NArray >
{
};

template<typename T, unsigned int TDIM>
class NVector : NAbstract< T, TDIM, NVector >
{
};

template templateパラメータは使用できません。実際、コンパイラは単にそれらを無視します。
たとえば、元のコードから、以下の行では無視されますT。TDIM

template<template<class T, unsigned int TDIM> class TCRTP> class NAbstract
                       ^^^              ^^^^  // <--- ignored
于 2012-08-13T05:47:17.310 に答える
0

特性を使用してこれを実現できます。次に、 のテンプレート テンプレート パラメータは必要ありませんNAbstract。

template<class TCRTP>
class NAbstract {
    typename TCRTP::value_type data_[TCRTP::DIM];
};

template<typename T, unsigned int TDIM>
struct NTraits {
    typedef T value_type;
    enum { DIM = TDIM };
};

template<typename T, unsigned int TDIM>
struct NArray : NAbstract< NTraits<T, TDIM> > {
};

template<typename T, unsigned int TDIM>
struct NVector : NAbstract< NTraits<T, TDIM> > {
};
于 2012-08-13T05:36:47.427 に答える