5

おそらく派生クラス自体がテンプレートであるため、g++ 4.2.1 でコンパイルされない CRTP を使用していますか? なぜこれが機能しないのか、それともうまくいくのか、それを機能させる方法を知っている人はいますか? サンプル コードとコンパイル エラーは次のとおりです。

ソース: foo.C

#include <iostream>

using namespace std;

template<typename X, typename D> struct foo;

template<typename X> struct bar : foo<X,bar<X> >
{
  X evaluate() { return static_cast<X>( 5.3 ); }
};

template<typename X> struct baz : foo<X,baz<X> >
{
  X evaluate() { return static_cast<X>( "elk" ); }
};

template<typename X, typename D> struct foo : D
{
  X operator() () { return static_cast<D*>(this)->evaluate(); }
};

template<typename X, typename D>
void print_foo( foo<X,D> xyzzx )
{
  cout << "Foo is " << xyzzx() << "\n";
}

int main()
{
  bar<double> br;
  baz<const char*> bz;

  print_foo( br );
  print_foo( bz );

  return 0;
}

コンパイラ エラー

foo.C: In instantiation of ‘foo<double, bar<double> >’:
foo.C:8:   instantiated from ‘bar<double>’
foo.C:30:   instantiated from here
foo.C:18: error: invalid use of incomplete type ‘struct bar<double>’
foo.C:8: error: declaration of ‘struct bar<double>’
foo.C: In instantiation of ‘foo<const char*, baz<const char*> >’:
foo.C:13:   instantiated from ‘baz<const char*>’
foo.C:31:   instantiated from here
foo.C:18: error: invalid use of incomplete type ‘struct baz<const char*>’
foo.C:13: error: declaration of ‘struct baz<const char*>’
4

2 に答える 2

3

CRTP の考え方は、その派生物がどのような型であるかを知っている基本クラスを持つことです。基本クラスをその派生物から派生させないようにすることです。
そうしないと、次のような状況になります。

  • Derivedから派生しますBase<Derived>。
  • から派生しますDerived。
  • から派生しますBase<Derived>。
  • ...

代わりに次を使用します。

template<typename X, typename D> struct foo // : D
// ...                                         ^ remove that
于 2010-05-30T21:40:20.943 に答える
3

テンプレート派生クラスに対して CRTP を機能させる方法がありますが、常にテンプレートである必要があることに注意してください。

#include <iostream>
#include <typeinfo>


template<template <class> class Derived, class T>
struct A{
    void interface(){
        static_cast<Derived<T>*>(this)->impl();
    }
};

template<class T>
struct B: public A<B, T>
{
    void impl(){
        std::cout << "CRTP with derived templates are real\n";
        std::cout << "Tempate argument is " << typeid(T).name() << "\n";
    }
};

int main(void)
{   
    B<char>().interface();
    B<double>().interface();
    B<void>().interface();
    return 0;
}

gcc 4.4.7 およびそれより古いバージョンで動作しますが、確認できません。

于 2020-06-28T10:45:53.083 に答える