я понял, классы определяют одноимённые пространства имён, и поиск имён в классах удовлетворяет правилам поиска в пространствах имён. То есть ищи в текущем до нахождения первого искомого символа и добавь в список кандидатов все оставшиеся здесь, либо иди в обрамляющее пространство имён и ищи там, если ты сейчас не в глобальном. Наследование выходит создаёт для наследника обрамляющее пространство имён в виде объединения пространств предков уровнем выше, то есть непосредственных. Соответственно, если ты определил одноимённую функцию возможно с отличающейся сигнатурой, то поиск выше текущего пространства имён не пойдёт, так называемое сокрытие имён. Однако можно использовать объявление using для "раскрытия"
имён предков.
Теперь к сути. Есть вот такой пример https://pastebin.com/NJxfiNss
Здесь вызывается функция из b, то есть using не используется, и нет множественного определения. Но если заменить в сигнатуру int foo(int) на int fоо(float), то вызывается функция из а, то есть поиск имён не остановился на первом найденном, а в случае выше остановился. Каким образом работает объявления using?
tldr
Не совсем понял вопрос, но попробуюю ответить. Если функция из класса-наследника добавляет в overload-set базового класса свою функцию, то она скрывает все функции из базового класса. using в наследнике импортит всё в скоуп наследника, и получается нормальный процесс перегрузки
Обсуждают сегодня