Посыпаю голову пеплом, ухожу в монастырь

[dil]

Берём простейший код:

class B {
  public:
    void method(char c);
    void method(int i);
};

class M {
 int i;
};

class D: public B {
  public:
    void method(M);
};

int main() {
  D d;
  M m;

  d.method('c'); // не работает
  d.method(0); // тоже не работает
  d.method(m); // работает
}

И обнаруживаем, что для объекта производного класса методы базового нифига не вызываются (error: no matching function for call to `D::method(char)'), потому что они перекрыты одноимённым методом в производном.
И где, спрашивается, это ваше хвалёное наследование?
Да, если из D убрать одноимённый метод, то всё работает.
Кто знает, чем обусловлена такая странность?

Comments

[dil.livejournal.com]

1) Коллизии не наблюдаю. Mangled имена методов абсолютно разные получаются.

а) virtual тут вовсе ни при чём, я про полиморфизм ничего не гворил, по ссылке ничего не вызывал, я хочу просто для объекта вызывать метод из его класса, если он есть, а если нет - то унаследованный от базового.

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

[anatolix.livejournal.com]

Overloading вообще для безопасности не работает across different scopes.
Т.е. вот такой пример есть в страуструпе:

void f(int);
void g()
{
void f(double);
f(1) ; // call f(double)
}

И в принципе идея здравая нужно сказать.

[shadowtramp.livejournal.com]

> Пойдем на кухню, ты мне на пальцах покажешь
11 апреля, ок?