純枠仮想関数以前の問題として、テンプレート仮引数とプロトタイプ宣言を混同し、無茶苦茶なコードになっています。これらを区別するため、質問文のテンプレート仮引数をPascal形式で書き直します。
template<class Type, class Typeb>
class base {
private:
protected:
public:
base(){ }
virtual void f(int x) {
Typeb a = x;
std::cout << "仮想関数"<< a <<"\n";
}
virtual Type f2(Type x)const = 0;//純粋仮想関数
};
テンプレートクラスbase
はテンプレート仮引数Type
とTypeb
を取ります。これらはテンプレートが実体化される際に指定します。
template<class Typec>
class derive : public base<class type, class typeb> {
public:
derive(){ }
void f(int x) {
std::cout << "派生"<< x<<"\n";
}
Typec f2(Typec x)const {
std::cout << x;
return x;
}
};
テンプレートクラスderive
はテンプレート仮引数Typec
を取ります。これらはテンプレートが実体化される際に指定します。テンプレートクラスderive
の親クラスはbase<type, typyeb>
です。type
とtypeb
は後ほどこの名称でクラス定義されることがプロトタイプ宣言されています。
もう少し分かり易く書き直すと以下と同等です。
class type; // 後で定義する
class typeb; // 後で定義する
template<class Typec>
class derive : public base<type, typeb> {
public:
derive(){ }
void f(int x) {
std::cout << "派生"<< x<<"\n";
}
Typec f2(Typec x)const {
std::cout << x;
return x;
}
};
質問文のコード片では推測することしかできませんが、恐らくクラスtype
やクラスtypeb
を定義する予定はないと思われます。その場合、純枠仮想関数が存在しなくても最終的にコンパイルエラーになります。
なお、本題の質問についてですが、親クラスがbase<type, typyeb>
でテンプレート実体化されているため、純粋仮想関数はvirtual type f2(type x) const = 0;
となっています。ですので、derive
においてもTypec
ではなくtype
を引数・戻り値に持つ関数を用意しなければなりません。
純枠仮想関数を派生クラスでtypeにするためにはどのようにコードを変更すればいいのでしょうか?
文字通りtype f2(type x)const
とすれば質問の純粋仮想関数の問題は解決します。合わせてtype
クラスを使用することになるためプロトタイプ宣言でなくクラス定義が必要です。
class type{
// 定義する
}
class typeb; // 後で定義する
template<class Typec>
class derive : public base<type, typeb> {
public:
derive(){ }
void f(int x) {
std::cout << "派生"<< x<<"\n";
}
type f2(type x)const {
std::cout << x;
return x;
}
};