非共享方法的虛函式

我正在進行個人專案，我需要做一些不尋常的事情。我的代碼有點長，但問題來自結構，所以我將使用問題的一個非常簡化的版本。

• 我有兩個類（A 和 B），B 派生自 A。
• B 使用 A 的所有屬性和方法，包括創建類實體的修改克隆的屬性和方法。

問題是我需要能夠在克隆后使用 B 的方法（在本例中為 moo），而該方法在 A 中不存在。我試圖使我的方法虛擬化，但它不能解決問題。沒有 CRTP 有沒有辦法做到這一點？

我真的不想使用 CRTP，因為它真的很復雜。（在我的真實代碼中，我有 4 個類繼承鏈，并且所有 4 個都已經模板化）

#include <iostream>

class A
{
    public:

        /*Common function*/
        virtual void foo(){
            std::cout << "call from A" << std::endl;
        }

        A* clone(){
            /*
            ...
            ...   Code I don't want to write again for B
            ...
            */
            return this;
        }

};

class B: public A
{

        
    public:

        /*Common function*/
        virtual void foo(){
            std::cout << "call from B" << std::endl;
        }

        /*Not derived from A*/
        void moo(){ //Doesn't work even with virtual keyword
            std::cout << "only exist in B" << std::endl;
        }
};


int main(int argc, char const *argv[])
{
    auto tB = new B();

    tB->foo();
    tB->moo();
    tB->clone()->foo();
    tB->clone()->moo();


    return 0;
}

編譯器：

error: 'class A' has no member named 'moo'; did you mean 'foo'?
   38 |     tB->clone()->moo();
      |                  ^~~
      |                  foo

我不是英語，如果不清楚，請見諒。

uj5u.com熱心網友回復：

好吧，根據評論、我的研究以及我認為 c 的作業原理，我放棄了尋找看起來像虛擬方法但仍然令人滿意的東西。

所以我決定使用 CRTP，對于那些感興趣的人，這里是我的 3（我洗掉了一個）繼承類 CRTP 模型的代碼，帶有一個額外的型別模板引數 :)

#include <iostream>

//CRTPI = "CRTP Interface", used for inheritances between CRTPs

template<typename Derived, typename T>
class CRTPI_A
{
    protected:
        T x = 0;


    public:

        T getX(){
            return x;
        }

        Derived* clone(){
            /*
            ...
            ...   Code I don't want to write again for B and it's childs
            ...
            */
            return new Derived();
        }

};

template<typename Derived, typename T>
class CRTPI_B: public CRTPI_A<Derived, T>
{
    public:

        //Only for B and its childs
        void iwd(){
            std::cout << "Hi, i'm a B child !" << std::endl;
        }


};

template<typename Derived, typename T>
class CRTPI_C: public CRTPI_B<Derived, T>{};

template<typename T>
class A: public CRTPI_A<A<T>, T>
{
    public:

        A(){};

        A(T z){
            this->x = z;
        }

        void foo(){
            std::cout << "call from A" << std::endl;
        }
};

template<typename T>
class B: public CRTPI_B<B<T>, T>
{

        
    public:

        B(){};

        B(T z){
            this->x = z;
        }

        void foo(){
            std::cout << "call from B" << std::endl;
        }

        //Not in CRTP interface so won't be inherited by C
        void UwU(){
            std::cout << "I'm exclusive to B" << std::endl;
        }

};

template<typename T>
class C: public CRTPI_C<C<T>, T>
{
    public:

        C(){};

        C(T z){
            this->x = z;
        };

        void foo(){
            std::cout << "call from C" << std::endl;
        }
};


int main(int argc, char const *argv[])
{
    auto tA = new A<char>('A');
    auto tB = new B<int>(2);
    auto tC = new C<float>(420.69);


    tA->foo();
    tA->clone()->foo();

    printf("\n");

    tB->foo();
    tB->iwd();
    tB->clone()->foo();
    tB->clone()->iwd();

    tB->UwU();

    printf("\n");

    tC->foo();
    tC->iwd();
    // tC->UwU(); //Won't work but that's planned

    std::cout << "\n" << tA->getX() << ":" << tB->getX() <<":" << tC->getX() << std::endl;


    return 0;
}

注意，這里 C 的 CRTP 介面是可選的，因為它沒有子類，也沒有獨占方法，所以我們可以寫：

template<typename T>
class C: CRTPI_B<C<T>, T>
{
    ...
}

標籤：C 遗产 crtp

上一篇：學生課堂上的計算

下一篇：在MAUI中使用Masa Blazor