仮想関数のテンプレート化に対するテクニックはあるか

質問

• 仮想関数をテンプレートにできないため、型ごとにメンバ関数を記述する必要がある
• テンプレート仮想関数を実現する方法はないが、メンバ関数を記述する手間を減らす方法はある
• 複雑でも型ごとのメンバ関数を入力する手間を省くためのテクニックを探している

回答No.1

rinkun

マクロを使えば? 例えば
#define VOPDEC(type) virtual operator type() = 0

struct HOGE{
VOPDEC(int);
VOPDEC(short);
//...
};

#define VOPDEF(type) operator type(){return 0;}

struct HOGE1 : HOGE{
VOPDEF(int)
VOPDEF(short)
//...
};
とか。
イマイチやりたいことが見えないので、これで良いのか分かりませんけど。

補足

回答ありがとうございます。

やりたいことはvariant型のようなものを作ることです。
現在何の型を保持しているかという情報をvtblに任せるという方法をとってみようと思っています。

template<typename T = void>
struct aconv;

//基底
template<>
struct aconv<void> abstract{

//ここでエラー
template<typename U>
virtual operator U() const = 0;

};

//intなどの型用
template<typename T>
struct aconv : aconv<>{

T v;
aconv(const T &r) : v(r){}

template<typename U>
operator U() const{ return (U)v; }

template<>
operator str::string() const { /*数値から文字列への変換は後で実装*/ }

//その他の型への変換

};

//特殊化1
template<>
struct aconv<void*> : aconv<>{
typedef void *T;

T v;
aconv(const T &r) : v(r){}

template<typename U>
U conv() const{ return (U)(unsigned int)v; }
};

//その他の特殊化(stringなど)
template<>
struct aconv<void*> : aconv<>{
・・・
};

struct any{

//何らかのaconv<?>へのポインタ
aconv<> *p;

~any(){ delete p; p = 0; }

any() : p(0){}

//ある変数の型のaconv<?>を確保してpに保持
template<typename T>
any(const T &r) : p(new aconv<T>(r)){}

template<typename T>
operator T() const{
if(p){
return p->operator T();
}else{
return T();
}
}

//保持しているpを破棄して新しいaconv<?>を確保
template<typename T>
any &operator=(const T &r){
aconv<> *tp = p;
p = new aconv<T>(r);
delete tp;
return *this;
}

};

any a = 3; //代入は問題なくできるようになりました
double b = a; //
std::string c = a; //

仮想でないテンプレートoperator Uからテンプレートでない仮想関数などを呼び出して、どうにかして子クラスのテンプレート関数を呼ぼうかと思っていますが、型の情報をそのまま渡す手段がなくて、型を数値に変換して、数値から型を復元しようかと思いましたが、switch caseが多くなりすぎて困っています。
単純に変換を喜寿すると、caseの数が型数の2乗のオーダーになってしまうので、何とか型数の1乗のオーダーにして、特殊化が必要なstringなどを除いて、intやshortなどをできるだけ記述しないような方法を探しています。