多くのデータ構造に対して (別のクラスの演算子 << および >> を介して) いくつかの入出力操作を実行できるクラス テンプレートを定義しようとしています。
要するに、たとえば次のことができます。
vector<int> x;
map<string,vector<vector<int>>> y;
const int z = 42;
FooStream fs;
Foo<decltype(x)> fx(x);
Foo<decltype(y)> fy(y);
Foo<decltype(z)> fz(z);
fs << fx << fy << fz >> fy >> fx;
私の質問は、どうすればこれに到達できるかです:
vector<int> x;
map<string,vector<vector<int>>> y;
const int z = 42;
FooStream fs;
fs << x << y << z >> y >> x;
//error : no operator found which takes a right-hand operand of type 'std::vector<_Ty>' (or there is no acceptable conversion)
FooStream::operator<< と >> は、特殊化 Foo< T> が定義されている場合、型 T を受け入れる必要があります。
詳細については、これが私の(簡略化された)コードです。
class FooBase1{
protected:
union p_type{const void *p1;void *p2;} p;
public:
FooBase1(const void *v){p.p1 = v;};
virtual void func1_() = 0;
};
class FooBase2 : public FooBase1{
public:
FooBase2(void *v) : FooBase1(v){};
virtual void func2_() = 0;
};
template<typename T,typename Enable=void>
class Foo{
public:
typedef void generic;
};
template<typename T,typename E=void> struct is_generic : std::false_type{};
template<typename T> struct is_generic<T,typename Foo<T>::generic> : std::true_type {};
template<typename T,typename T2=void> struct enable_if_ng : enable_if<!is_generic<T>::value,T2> {};
template<typename T> struct get_foo_type {};
template<typename T> struct get_foo_type<Foo<T> > {typedef T type;};
#define DECLARE_FOO_SPECIALIZATION(Type)\
template<>\
class Foo<Type> : public FooBase2{\
public:\
Foo(Type &v) : FooBase2(&v){}\
virtual void func1_(){func1(*(const Type *)p.p2);}\
virtual void func2_(){func2(*(Type *)p.p2);}\
static void func1(const Type&){/*user defined*/}\
static void func2(Type&){/*user defined*/}\
};
//friend FooStream& operator>>(FooStream& fs,Type &f){Foo<Type>(f).func2_();return fs;} doesn't work
DECLARE_FOO_SPECIALIZATION(bool)
DECLARE_FOO_SPECIALIZATION(int)
DECLARE_FOO_SPECIALIZATION(long)
DECLARE_FOO_SPECIALIZATION(float)
DECLARE_FOO_SPECIALIZATION(double)
DECLARE_FOO_SPECIALIZATION(string)
template<typename T1>
class Foo<vector<T1>,typename enable_if_ng<T1>::type> : public FooBase2{
public:
Foo(vector<T1> &v) : FooBase2(&v){}
virtual void func1_(){func1(*(const vector<T1> *)p.p2);}
virtual void func2_(){func2(*(vector<T1> *)p.p2);}
static void func1(const vector<T1>&){/*user defined*/}
static void func2(vector<T1>&){/*user defined*/}
};
template<typename T1,typename T2>
class Foo<map<T1,T2>,typename enable_if<!is_generic<T1>::value && !is_generic<T2>::value>::type> : public FooBase2{
public:
Foo(map<T1,T2> &v) : FooBase2(&v){}
virtual void func1_(){func1(*(const map<T1,T2> *)p.p2);}
virtual void func2_(){func2(*(map<T1,T2> *)p.p2);}
static void func1(const map<T1,T2>&){/*user defined*/}
static void func2(map<T1,T2>&){/*user defined*/}
};
template<typename T1>
class Foo<const T1,typename enable_if_ng<T1>::type> : public FooBase1{
public:
Foo(const T1 &v) : FooBase1(&v){}
virtual void func1_(){func1(*(const T1 *)p.p1);}
static void func1(const T1& v){Foo<T1>::func1(v);}
};
class FooStream{
public:
FooStream(){};
FooStream& operator<<(FooBase1 &f){f.func1_();return *this;};
FooStream& operator>>(FooBase2 &f){f.func2_();return *this;};
};
(追加の質問: マクロ DECLARE_FOO_SPECIALIZATION をテンプレートを使用してより適切なものに置き換えることはできますか? クラス階層を変更する必要がありますか?)
ありがとうございました。