0 added
0 removed
Original
2026-01-01
Modified
2026-03-10
1
<p>Теги: c++, namespace, cplus, func, adl, operator<<, std::cout, поиск кенига</p>
1
<p>Теги: c++, namespace, cplus, func, adl, operator<<, std::cout, поиск кенига</p>
2
<p>С места в карьер! Скомпилируется ли следующий код? Если да - почему? Если нет - почему?</p>
2
<p>С места в карьер! Скомпилируется ли следующий код? Если да - почему? Если нет - почему?</p>
3
#include <iostream> namespace A { struct SomeClass {}; void func(const SomeClass& value) { std::cout << "Hello from A::func!" << std::endl; } } int main(int argc, char * argv[]) { func(A::SomeClass{}); return 0; }<p>Да, такой код скомпилируется, несмотря на то, что мы не указали пространство имён при вызове функции<strong>func</strong>. Как же компилятор догадался "заглянуть" в<strong>namespace A</strong>и поискать функцию там? Ответ можно прочитать в заголовке этой заметки</p>
3
#include <iostream> namespace A { struct SomeClass {}; void func(const SomeClass& value) { std::cout << "Hello from A::func!" << std::endl; } } int main(int argc, char * argv[]) { func(A::SomeClass{}); return 0; }<p>Да, такой код скомпилируется, несмотря на то, что мы не указали пространство имён при вызове функции<strong>func</strong>. Как же компилятор догадался "заглянуть" в<strong>namespace A</strong>и поискать функцию там? Ответ можно прочитать в заголовке этой заметки</p>
4
<h2>Поиск Кенига (Koenig lookup или Argument-dependent lookup)</h2>
4
<h2>Поиск Кенига (Koenig lookup или Argument-dependent lookup)</h2>
5
<p>Правила этого поиска довольно сложны и включают в себя девять (!!!) пунктов различных условий. Однако то, что нас интересует в данный момент, можно выразить достаточно просто: при разрешении вызова функции список кандидатов составляется не только из элементов, доступных в данном пространстве имён, но и в пространствах имён аргументов вызова.</p>
5
<p>Правила этого поиска довольно сложны и включают в себя девять (!!!) пунктов различных условий. Однако то, что нас интересует в данный момент, можно выразить достаточно просто: при разрешении вызова функции список кандидатов составляется не только из элементов, доступных в данном пространстве имён, но и в пространствах имён аргументов вызова.</p>
6
<p>Таким образом, встретив вызов</p>
6
<p>Таким образом, встретив вызов</p>
7
<p>компилятор будет искать целевую функцию с именем<strong>func</strong>не только в текущем пространстве имён, но и в пространстве имён аргумента (в данном случае в namespace A).</p>
7
<p>компилятор будет искать целевую функцию с именем<strong>func</strong>не только в текущем пространстве имён, но и в пространстве имён аргумента (в данном случае в namespace A).</p>
8
<h2>Почему поиск работает именно так, а не иначе?</h2>
8
<h2>Почему поиск работает именно так, а не иначе?</h2>
9
<p>Вопрос резонный. Для того, чтобы лучше понять и запомнить что-то, иногда бывает полезно осознать мотивацию. Тем более в данном случае мотивация очень и очень серьёзная. Достаточно посмотреть на следующий пример кода, который пришлось бы написать, не будь в языке C++ реализован<strong>ADL</strong>:</p>
9
<p>Вопрос резонный. Для того, чтобы лучше понять и запомнить что-то, иногда бывает полезно осознать мотивацию. Тем более в данном случае мотивация очень и очень серьёзная. Достаточно посмотреть на следующий пример кода, который пришлось бы написать, не будь в языке C++ реализован<strong>ADL</strong>:</p>
10
// std::cout << "Hello, World!" << std::endl; std::operator<<(std::operator<<(std::cout, "Hello, World!"), "\n");<p>Обратите внимание на закомментированную строчку 1. Знакомо, не правда ли? Каждый программист на C++ довольно часто пользуется оператором<strong>operator<<</strong>для вывода в<strong>std::cout</strong>. Но проблема в том, что в глобальном пространстве имён такого оператора нет!</p>
10
// std::cout << "Hello, World!" << std::endl; std::operator<<(std::operator<<(std::cout, "Hello, World!"), "\n");<p>Обратите внимание на закомментированную строчку 1. Знакомо, не правда ли? Каждый программист на C++ довольно часто пользуется оператором<strong>operator<<</strong>для вывода в<strong>std::cout</strong>. Но проблема в том, что в глобальном пространстве имён такого оператора нет!</p>
11
<p>Он имеется только в пространстве имён<strong>std</strong>. Поэтому без поиска Кенига нам бы пришлось написать полную квалификацию пространств имён используемых функций (в данном случае это<strong>operator<<</strong>).</p>
11
<p>Он имеется только в пространстве имён<strong>std</strong>. Поэтому без поиска Кенига нам бы пришлось написать полную квалификацию пространств имён используемых функций (в данном случае это<strong>operator<<</strong>).</p>
12
<p>В результате изо дня в день пришлось бы писать строчки, как строка 2 в приведённом выше примере.<strong>Спасибо Кенигу!</strong>Оказывается, мы пользуемся его творением практически постоянно!</p>
12
<p>В результате изо дня в день пришлось бы писать строчки, как строка 2 в приведённом выше примере.<strong>Спасибо Кенигу!</strong>Оказывается, мы пользуемся его творением практически постоянно!</p>
13
<p><em>Полезная<a>ссылка</a>на почитать</em></p>
13
<p><em>Полезная<a>ссылка</a>на почитать</em></p>
14
<p><em>Есть вопрос? Напишите в комментариях!</em></p>
14
<p><em>Есть вопрос? Напишите в комментариях!</em></p>
15
15