為具有不同簽名功能的派生類設計基類

Question

class B {
public:
    virtual void foo(?);
}
class D1 : public B {
public:
    void foo(T1*);
}
class D2 : public B {
public:
    void foo(T2*);
}

B* b1 = new D1();
B* b2 = new D2();

T1和T2可能不相關。

如何設計這樣的類，使得稱為b1和b2的類使用正確的類型調用正確的foo？

最多可以使用c ++ 14。

Answer 1

您希望它執行的方式可以通過以下代碼來實現，但是在我看來，這並不是一個好的設計。 因此，您需要重新考慮您的設計。

class T1 { 
public:
    void f() {
        cout << "Calls T1::f\n";
    }
};
class T2 {
public:
    void g() {
        cout << "Calls T2::g\n";
    }
};
class B {
public:
    virtual ~B() {}
    virtual void foo(T1* t) {/* throw some exception maybe! */}
    virtual void foo(T2* t) {/* throw some exception maybe! */}
};
class D1 : public B {
public:
    void foo(T1* t) {
        t->f();
    }
};
class D2 : public B {
public:
    void foo(T2* t) {
        t->g();
    }
};

現場演示 ！

Answer 2

class B {
public:
    template<class Derived, class T>
    void foo(T &&x) {
        //Crashes if can't be converted, test for nullptr maybe
        dynamic_cast<Derived*>(this)->foo(x);
    }
}

class D1 : public B<D1> {
public:
    void foo(T1*);
}
class D2 : public B<D2> {
public:
    void foo(T2*);
}

B * b1 = new D1();
B * b2 = new D2();

T1 t1;
b1->foo<D1> (&t1);

由於T1和T2沒有關系並且不屬於同一類樹，因此這意味着在調用foo您知道 B b1哪個子類。 因此，您只需將該子類作為模板參數即可。

另一種解決方案是將C樣式轉換為void* ：（在C ++中不建議）

class B {
public:
    template<class T>
    void foo(T *x) {
        foo_handler(reinterpret_cast<void*>(x));
    }
protected:
    virtual void foo_handler(void*) = 0;
}

class D1 : public B<D1> {
public:
    void foo(T1*);
private:
    void foo_handler(void *x) {foo(reinterpret_cast<T1*>(x));}
}
class D2 : public B<D2> {
public:
    void foo(T2*);
private:
    void foo_handler(void *x) {foo(reinterpret_cast<T2*>(x));}
}

B * b1 = new D1();
B * b2 = new D2();

T1 t1;
b1->foo(&t1);