0

int main関数の方で derive<int> d; と宣言すると[純枠仮想関数をオーバーライドするものがありません]というエラー出ます、純枠仮想関数を派生先で定義しているのにも関わらずエラーでる理由がわかりません。教えていただけますでしょうか?

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;//純粋仮想関数

};

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;
    }

};

2 件の回答 2

1

純枠仮想関数以前の問題として、テンプレート仮引数プロトタイプ宣言を混同し、無茶苦茶なコードになっています。これらを区別するため、質問文のテンプレート仮引数を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はテンプレート仮引数TypeTypebを取ります。これらはテンプレートが実体化される際に指定します。

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>です。typetypebは後ほどこの名称でクラス定義されることがプロトタイプ宣言されています。
もう少し分かり易く書き直すと以下と同等です。

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;
    }
};
1
  • 純枠仮想関数を派生クラスでtypeにするためにはどのようにコードを変更すればいいのでしょうか?初学者ため初歩的なことで困っています。
    – user28203
    Commented 2018年10月2日 4:48
0

sayuri さんの回答で言い尽くされているので蛇足っす

template<class typec> 
class derive : public base<class type,class typeb> { ... };

こう記述したプログラマの内心がどうあれコンパイラがこのコードを見て判断するのは
- typec は型引数だな
- class type { ... }; という真のクラスがあって、それを使うんだな
- class typeb { ... }; という真のクラスがあって、それを使うんだな
- クラステンプレート base<>typetypeb で具現化するんだな
ということになります。

class type がテンプレート型引数と読むことはありません。もしこの type が型引数であってほしいのであれば template 直後に型引数であることの明示が必要です。template の型引数を typename で書くように心がけておくと

// 誤ってますがもしこう書いたとしたら
template<typename typec>
class derive : public base<typename type, typename typeb> { ... };

と書いたであろうはずで、これならコンパイラにも class type { ... }; とは読めなくなりエラーが発生します。

c++、テンプレートのtypenameとclassの違いについて知りたい
こんなところに差がありましたってことで。

この質問に回答するには、ログインする必要があります。