引数を取り囲むクラスを持つメソッドでC++オブジェクトを持つには？

Question

私はここで何をしようとしているかについて、C++に既知のパターン/イディオムがあるかどうかを調べようとしています。クラスAは、引数がタイプAでなければならない関数を持つオブジェクトで構成されていなければなりません。次のコードは、定数式でtypeidを使用できないためコンパイルされません。助言がありますか？

#include <iostream> 
#include <typeinfo> 
using namespace std; 

template <typename T> 
struct B { 
    int f(T& i) { cout << "Hello\n"; } 
}; 

class A { 
    B<typeid(A)> b; 
}; 

int main() 
{ 
    A k; 
} 

Answer 1

B<A> b;次のプログラムは、g ++ 4.4.3でエラーまたは警告なしでコンパイルされます。

#include <iostream> 
#include <typeinfo> 
using namespace std; 

template <typename T> 
struct B { 
    int f(T& i) { cout << "Hello\n"; return 0; } 
}; 

class A { 
public: 
    B<A> b; 
}; 

int main() 
{ 
    A k; 
    return k.b.f(k); 
} 

注：あなたが唯一の前方宣言を避けるために、テンプレートを使用している場合は、私の解決策が間違っています。しかし、他の正当な理由のためにテンプレートを使用している場合に備えて、ここに残しておきます。

Answer 2

あなたの規定の要件がすべてでテンプレートを必要としない、単なる前方宣言：

#include <iostream> 

class A; // forward declare A 

struct B { 
    int f(A &i); // declaration only, definition needs the complete type of A 
}; 

class A { 
    B b; 
}; 

int B::f(A &i) { std::cout << "Hello\n"; } // define f() 

int main() 
{ 
    A k; 
}