Przeciążanie funkcji wirtualnych o tej samej nazwie z różnych klas bazowych. Czy to możliwe?

Question

Tytuł prawdopodobnie jest mylący.

Załóżmy, że mamy następującą konfigurację;

class A 
{ 
public: 
    virtual void fn() = 0; 
}; 

class B 
{ 
public: 
    virtual int fn() {}; 
}; 

class C: public A, public B 
{ 
}; 

Czy istnieje jakiś sposób, aby określić A::fn w class C?

Answer 1

Nie. To jest niemożliwe. Zawsze będzie kolidować z jednym z fn().

Składnia fn() są różne,

void fn(); // in A 

aw B jest

int fn(); // in B 

Trzeba by te samą składnię w A i B pozwolić C wdrożyć fn(). Demo.

Answer 2

Nie ma mowy w C aby określić, że jeden z C::fn() wdrożeń przeciąża A::fn() (i prawdopodobnie kolejne przeciążenia B::fn()). Co można zrobić, jest jednak wprowadzenie pośredniego klasę która “ zmienia nazwę ” funkcje, coś takiego:

class RemapA : public A 
{ 
    virtual void fnInA() = 0; 
public: 
    virtual void fn() 
    { 
     fnInA(); 
    } 
}; 

class RemapB : public B 
{ 
    virtual int fnInB() = 0; 
public: 
    virtual int fn() 
    { 
     return fnInB(); 
    } 
}; 

class C : public RemapA, public RemapB 
{ 
    virtual void fnInA() { /* ... */ } 
    virtual void fnInB() { /* ... */ } 
    // ... 
}; 

Answer 3

Czasami warto przeczytać moją odpowiedź na następujące pytanie: Implement two functions with the same name but different, non-covariant return types due to multiple abstract base classes W skrócie: Tak, z pewne ograniczenia dotyczące wywoływania tego. Można go nazwać jako A (wskaźnik lub odniesienie) lub B (wskaźnik lub odniesienie), ale nie jako C, ponieważ byłoby to niejednoznaczne.