C++コンストラクタ

Question

でテンプレートクラスとinit私はテンプレートクラス、Fooの持っている：そして、私は私のFooクラスの属性であり、これは、テンプレートパラメータとしてのFooクラスを取るのAttrと呼ばれる別のテンプレートクラスを持っている

template <class A, class B> 
class Foo 
{ 
public: 
    Foo(A &aInstance); 

private: 
    Attr<Foo> _attr; 
}; 

を自体。

template <class C> 
class Attr 
{ 
    class SomeType 
    { 
     SomeType(); 
     ~SomeType(); 
    }; 

    Attr(const SomeType* st); 
    ~Attr(); 

private: 
    Attr(); 
} 

コンストラクタでinit _attr（Attr型）を使い、最初のパラメータをSomeTypeとしてテンプレートからキャストします。

Fooのコンストラクタの実装：

template<class A, class B> 
Foo<A, B>::Foo(A &aInstance): 
    _attr(
     (Attr<Foo<A, B> >::SomeType *) aInstance) 
{ 

} 

これはコンパイルされません。

エラー：エラーがfooでキャストラインを指し前に、プライマリ・表現予想 '）' トークン

をあたかもSomeTypeが認識されなかったかのように、コンストラクタを実装します。

私は今インスタンスを持っていますが、それでも同じエラーがあります。

Answer 1

0）、その時点で

(Attr<Foo<A, B> >::SomeType *) A) 

、Aは型名、タイプのすなわち名前、あなたがキャストできますので、何でもないです。

1）

また、Foo<A,B>したがって、Attr<Foo<A, B> >は、あまりにも依存名であり、AとBに依存します。したがって、SomeTypeがタイプであるコンパイラ言うように、あなたがそこにtypenameが必要になります。

(typename Attr<Foo<A, B> >::SomeType *) somePointer) 

2）

をさらに、C++で、一般的にC++を好む - C-スタイルキャストの上にキャストします。あなたはそれらで多くの間違いをキャッチします。また一方this tutorial :)

3）

を参照してください：あなたがデザインすることにより、キャストを必要とするよろしいですか、すべきAttrポイントに正確にFoo<A, B>？

Answer 2

template<class A, class B> 
Foo<A, B>::Foo(): 
    _attr(
     (Attr<Foo<A, B> >::SomeType *) A) 
{ 

} 

Aは型であり、コンストラクタに渡そうとしています。ここにインスタンスが必要です。

Answer 3

まず、Attrクラスは（あなたのスニペットで）Cタイプを使用しないので、その使用場所とCとSomeTypeの関係は何かを説明する必要があります。

第二に、この行に

Foo<A, B>::Foo(): 
    _attr(
     (Attr<Foo<A, B> >::SomeType *) A) 

A型ではなくオブジェクトです。 _attrをFooオブジェクト自体で初期化する必要がある場合は、ポインタthisを渡す必要があります。

Foo<A, B>::Foo(): 
    _attr(
     (Attr<Foo<A, B> >::SomeType *) this) 

しかし、この点は、Fooのオブジェクトがまだ構築されていないことを、あなたがたAttrのコンストラクタ内のポインタで何をするか注意してください。

Answer 4

にあなたのコンストラクタを変更してみてください：あなたは、あなたがポインタをしたいので、インスタンスオブジェクトのアドレスを取得するために、アドレス演算子を追加する必要があります

template<class A, class B> 
Foo<A, B>::Foo(A &aInstance): 
    _attr(
     (typename Attr<Foo<A, B> >::SomeType *) &aInstance) {} 

...そうaInstance意志ポインタ型ではなく、オブジェクトへのポインタではなく、オブジェクト自身を（参照で）渡すのと実質的に同じ参照型になります。

Answer 5

これは私のために働く。いくつかのtypedefは、テンプレート化されたコードの意味を少し簡単にするのに役立ちます。

template<class C> 
class Attr 
{ 
public: 
    class SomeType 
    { 
     SomeType(); 
     ~SomeType(); 
    }; 

    typedef typename Attr<C>::SomeType ReachIntoSomeType; 

    Attr(const SomeType* st) { } 
    ~Attr() { } 

private: 
    Attr(); 
}; 

template <class A, class B> 
class Foo 
{ 
public: 
    Foo(A &aInstance) : _attr(reinterpret_cast<AttrOfFoo::ReachIntoSomeType*>(aInstance))  
    { } 

private: 
    typedef Attr<Foo> AttrOfFoo; 
    AttrOfFoo _attr; 
};