Переопределение виртуального метода, отличного от const, скрывает перегрузку константы?

Question

Рассмотрим:

#include <iostream> 

using namespace std; 

struct A { 
    virtual void f() { cout << "A::f" << endl; } 
    virtual void f() const { cout << "A::f const" << endl; } 
}; 

struct B : public A {}; 

struct C : public A { 
    virtual void f() { cout << "C::f" << endl; } 
}; 


int main() 
{ 
    const B b; 
    b.f(); // prints "A::f const" 

    const C c; 
    c.f(); 
    // Compile-time error: passing ‘const C’ as ‘this’ argument of 
    // ‘virtual void C::f()’ discards qualifiers 
} 

(. Я использую GCC)

Таким образом, кажется, что сопзИте версию F() получает скрытый в C. Это делает много смысла для меня, но он санкционирован стандартом?

Answer 1

Я буду (еще раз) связывают это большой article:

Во-первых, [составитель] выглядит в непосредственной области , в этом случае объем класса C, и составляет список все функции, которые могут найти, это с именем f (независимо от того, являются ли они доступными или даже принимают количество параметров). Только если он не делает это затем продолжить «наружу» в следующий ограждающих сферы [...]

Так что да, версия fconst скрыта, и это совершенно нормально. Как отметил Симоне, вы можете использовать заявление using, чтобы довести A::f до C.

Answer 2

Вставка using B::f;

struct C : public A { 
    using A::f; 
    virtual void f() { cout << "C::f" << endl; } 
}; 

С ++ Стандарт 2003. 13.2 ч.1:

Две функциональные заявления одного и того же названия относятся к одной и той же функции , если они находятся в том же объеме и имеют эквивалентные объявления параметров (13.1). Функция член производного класса не является в той же областью действия как одноименный элемент функции в базовом классе.

Таким образом, C::f скрывает все A::f.

Answer 3

Да, это так. Вы можете написать:

struct C : public A { 
    virtual void f() { cout << "C::f" << endl; } 
    using A::f;  
}; 

, чтобы сделать код компиляцию:

int main() 
{ 
    const B b; 
    b.f(); // prints "A::f const" 

    const C c; 
    c.f(); // prints "A::f const" 
} 

Для более подробной информации, вы можете обратиться к 2010 C++ проект документирует (который вы можете найти here) Глава 10.2 (3-. 4).

Answer 4

Это не виртуальность или константа (или ее отсутствие), которая скрывает базовый элемент, а любой производный метод скрывает базовый метод с тем же именем. Это было сделано для улучшения хрупкой проблемы базового класса.

Представьте, что ваш код работает (возможно, в течение многих лет), как показано ниже, с не соответствующими удаленными:

struct Base { 
}; 

struct Derived : Base { 
    void f(double); 
} 

void g(Derived &d) { 
    d.f(42); 
} 

Затем вам нужно изменить базу, чтобы включить метод, который делает что-то совершенно другое, но, для какая-то причина, вы хотите назвать его «F»:

struct Base { 
    void f(int); 
}; 

Без этого правила, каждые использования Derived вызывающих е необходимо оценить вручную - и если база находится в библиотеке данные других людей, вы даже не можете ccess для других целей! Это становится хуже перед лицом пользовательских (неявных) конверсий.

Вместо этого было решено потребовать, чтобы производные классы явно указывали, что они хотят импортировать данные из базы с помощью объявления using. Это правило может быть неожиданным, и я не уверен, что сегодня это чистая польза для языка, но они не спрашивали меня - в то время я, вероятно, мог бы ответить только на них словами с двумя слогами. :)