Почему функция перегрузки не может быть найдена? [dубликат]

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

Решение, обоснование скрытия имени, т. е. , почему , он фактически был разработан в C ++, заключается в том, чтобы избежать определенного противоречивого, непредвиденного и потенциально опасного поведения, которое может иметь место, если унаследованный набор перегруженных функций был разрешен для смешивания с текущим набором перегрузок в данном классе. Вероятно, вы знаете, что в C + + перегрузка разрешает работу, выбирая наилучшую функцию из набора кандидатов. Это делается путем сопоставления типов аргументов с типами параметров. Правила сопоставления иногда могут быть сложными и часто приводят к результатам, которые могут быть восприняты нелогично неподготовленным пользователем.

Например, базовый класс B имеет функцию-член foo , который принимает параметр типа void * , и все вызовы foo (NULL) разрешены на B :: foo (void *) . Предположим, что скрытие имени отсутствует, и этот B :: foo (void *) отображается во многих разных классах, спускающихся с B . Однако, скажем, у некоторого [непрямого, удаленного] потомка D класса B определена функция foo (int) . Теперь, без скрытия имени D имеет как foo (void *) , так и foo (int) видимые и участвующие в разрешении перегрузки. Какую функцию вызовут вызовы foo (NULL) , если они сделаны через объект типа D ? Они разрешат D :: foo (int) , поскольку int является лучшим совпадением для интегрального нуля (т. Е. [D17] NULL ), чем любой тип указателя , Таким образом, по всей иерархии вызывает foo (NULL) решение одной функции, а в D (и под) они внезапно разрешаются на другую.

Другой пример приведен в . Дизайн и эволюция C ++ , стр. 77:

  class Base {int x;  public: virtual void copy (Base * p) {x = p- & gt;  Икс;  }};  class Derived {int xx;  public: virtual void copy (Derived * p) {xx = p- & gt; xx;  Основание :: копия (р);  }};  void f (База a, Производные b) {a.copy (& amp; b);  // ok: копировать базовую часть b b.copy (& amp; a);  // error: copy (Base *) скрыта копией (Derived *)}  

Без этого правила состояние b будет частично обновлено, что приведет к разрезанию.

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

Как вы правильно заметили в вашем исходном сообщении (я имею в виду замечание «Не полиморфное»), это поведение можно рассматривать как нарушение отношений IS-A между классами. Это правда, но, видимо, тогда было решено, что в конечном итоге сокрытие имен окажется меньшим злом.