Проблема с пониманием точки поиска, зависящего от аргумента. ⇐ C++
-
Гость
Проблема с пониманием точки поиска, зависящего от аргумента.
У меня есть простой пример, чтобы прояснить мою проблему:
struct S; пространство имен A{ недействительный f(S&&) {}; пространство имен B{ структура S {}; } } int main(void) { е(A::B::S()); } Эта программа имеет неверный формат, поскольку она не может найти имя f путем поиска по аргументам.
Но cppreference утверждает следующее:
Поиск, зависящий от аргумента, также известный как ADL или поиск Кенига 1, представляет собой набор правил для поиска неполных имен функций в выражениях вызова функций, включая неявные вызовы функций для перегруженных операторов. Имена этих функций просматриваются в пространствах имен их аргументов в дополнение к областям и пространствам имен, рассматриваемым при обычном поиске неполных имен.
Насколько я понимаю приведенную выше формулировку, я вижу, что пространство имен A ищется путем неквалифицированного поиска, поэтому, когда ADL ищет имя функции f, пространство имен < code>A необходимо проверить в дополнение к пространству имен A::B. Так почему же ADL не ищет f в A? Учитываются ли пространства имен A при обычном поиске неполных имен? Правильно ли я понимаю выделенное жирным шрифтом?
У меня есть простой пример, чтобы прояснить мою проблему:
struct S; пространство имен A{ недействительный f(S&&) {}; пространство имен B{ структура S {}; } } int main(void) { е(A::B::S()); } Эта программа имеет неверный формат, поскольку она не может найти имя f путем поиска по аргументам.
Но cppreference утверждает следующее:
Поиск, зависящий от аргумента, также известный как ADL или поиск Кенига 1, представляет собой набор правил для поиска неполных имен функций в выражениях вызова функций, включая неявные вызовы функций для перегруженных операторов. Имена этих функций просматриваются в пространствах имен их аргументов в дополнение к областям и пространствам имен, рассматриваемым при обычном поиске неполных имен.
Насколько я понимаю приведенную выше формулировку, я вижу, что пространство имен A ищется путем неквалифицированного поиска, поэтому, когда ADL ищет имя функции f, пространство имен < code>A необходимо проверить в дополнение к пространству имен A::B. Так почему же ADL не ищет f в A? Учитываются ли пространства имен A при обычном поиске неполных имен? Правильно ли я понимаю выделенное жирным шрифтом?
