c ++ перевантажене попередження віртуальної функції clang?

clang видає попередження при складанні наступного коду:

struct Base
{
    virtual void * get(char* e);
//    virtual void * get(char* e, int index);
};

struct Derived: public Base {
    virtual void * get(char* e, int index);
};

Попередження:

warning: 'Derived::get' hides overloaded virtual function [-Woverloaded-virtual]

(згадане попередження, звичайно, слід увімкнути).

Я не розумію чому. Зауважте, що не коментуючи ту саму декларацію в Base, попередження замикається. Я розумію, що оскільки дві функції get () мають різні підписи, приховування бути не може.

Кленг правий? Чому?

Зверніть увагу, що це на MacOS X, на якій запущена остання версія Xcode.

clang --version
Apple LLVM version 5.0 (clang-500.1.74) (based on LLVM 3.3svn)

Оновлення: однакова поведінка з Xcode 4.6.3.

Це попередження існує для запобігання випадковому приховуванню перевантажень, коли передбачається перевизначення. Розглянемо дещо інший приклад:

struct chart; // let's pretend this exists
struct Base
{
    virtual void* get(char* e);
};

struct Derived: public Base {
    virtual void* get(chart* e); // typo, we wanted to override the same function
};

Оскільки це попередження, це не обов’язково означає, що це помилка, але воно може вказувати на таке. Зазвичай такі попередження мають засіб вимкнути їх, будучи більш явними та повідомляючи компілятору, що ви задумали те, що ви написали. Я вважаю, що в цьому випадку ви можете зробити наступне:

struct Derived: public Base {
    using Base::get; // tell the compiler we want both the get from Base and ours
    virtual void * get(char* e, int index);
};

Іншим способом відключення попередження, щоб зберегти загальнодоступний інтерфейс struct, буде:

struct Derived: public Base
{
    virtual void * get(char* e, int index);
private:
    using Base::get;
};

Це забороняє споживачеві Derivedтелефонувати Derived::get(char* e)під час мовчання попередження:

Derived der;
der.get("", 0); //Allowed
der.get("");    //Compilation error

Рішення Р. Мартіньо Фернандеса цілком справедливо, якщо ви насправді хочете застосувати get()метод, який бере один аргумент char * в Derivedобласть дії.

Насправді, у наведеному вами фрагменті немає потреби у віртуальних методах (оскільки Base та Derived не мають жодного методу з однаковим підписом).

Якщо припустити, що насправді існує потреба в поліморфізмі, потаємна поведінка, тим не менше, могла бути такою, як передбачається. У цьому випадку можна локально відключити попередження Кланга з наступною прагмою:

#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Woverloaded-virtual"
    // Member declaration raising the warning.
#pragma clang diagnostic pop

Попередження означає, що в області виведеного класу не буде функції void * get (char * e), оскільки вона буде прихована іншим методом з тим самим іменем. Компілятор не буде шукати функцію в базових класах, якщо похідний клас має принаймні один метод із зазначеним ім'ям, навіть якщо він має інші аргументи.

Цей зразок коду не компілюється:

class A
{
public:
    virtual void Foo() {}
};

class B : public A
{
public:
    virtual void Foo(int a) {}
};


int main()
{
    B b;
    b.Foo();
    return 0;
}