Поиск Кенига или как найти то, чего не видно | OTUS
⚡ Подписка на курсы OTUS!
Интенсивная прокачка навыков для IT-специалистов!
Подробнее

Курсы

Программирование
Backend-разработчик на PHP Алгоритмы и структуры данных Team Lead Архитектура и шаблоны проектирования Разработчик IoT C# Developer. Professional HTML/CSS
-11%
C# ASP.NET Core разработчик
-5%
Kotlin Backend Developer
-8%
iOS Developer. Professional
-8%
Symfony Framework Unity Game Developer. Basic JavaScript Developer. Professional Android Developer. Basic JavaScript Developer. Basic Java Developer. Professional Highload Architect Reverse-Engineering. Professional Java Developer. Basic Web-разработчик на Python Framework Laravel Cloud Solution Architecture Vue.js разработчик Интенсив «Оптимизация в Java» Супер - интенсив по паттернам проектирования Супер - интенсив по Kubernetes Супер-интенсив "Tarantool" PHP Developer. Basic
Инфраструктура
Мониторинг и логирование: Zabbix, Prometheus, ELK Administrator Linux. Professional Дизайн сетей ЦОД Разработчик IoT PostgreSQL Экспресс-курс "Версионирование и командная работа с помощью Git"
-30%
Microservice Architecture Highload Architect MS SQL Server Developer Разработчик программных роботов (RPA) на базе UiPath и PIX Разработчик голосовых ассистентов и чат-ботов Administrator Linux. Advanced Infrastructure as a code Супер-практикум по использованию и настройке GIT Administrator Linux.Basic Экспресс-курс «IaC Ansible» Экспресс-курс «CI/CD или Непрерывная поставка с Docker и Kubernetes» Основы Windows Server
Корпоративные курсы
Безопасность веб-приложений IT-Recruiter Дизайн сетей ЦОД Компьютерное зрение Разработчик IoT Вебинар CERTIPORT Machine Learning. Professional
-6%
NoSQL Пентест. Практика тестирования на проникновение Java QA Engineer. Базовый курс Руководитель поддержки пользователей в IT
-8%
SRE практики и инструменты Cloud Solution Architecture Внедрение и работа в DevSecOps Супер-практикум по работе с протоколом BGP Infrastructure as a code Супер-практикум по использованию и настройке GIT Промышленный ML на больших данных Экспресс-курс «CI/CD или Непрерывная поставка с Docker и Kubernetes» BPMN: Моделирование бизнес-процессов Основы Windows Server
Специализации Курсы в разработке Подготовительные курсы Подписка
+7 499 938-92-02

Поиск Кенига или как найти то, чего не видно

С___Deep_27-5020-46c496.08_site.png

С места в карьер! Скомпилируется ли следующий код? Если да – почему? Если нет – почему?

#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;
}

Да, такой код скомпилируется, несмотря на то, что мы не указали пространство имён при вызове функции func. Как же компилятор догадался «заглянуть» в namespace A и поискать функцию там? Ответ можно прочитать в заголовке этой заметки

Поиск Кенига (Koenig lookup или Argument-dependent lookup)

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

Таким образом, встретив вызов

func(A::SomeClass{});

компилятор будет искать целевую функцию с именем func не только в текущем пространстве имён, но и в пространстве имён аргумента (в данном случае в namespace A).

Почему поиск работает именно так, а не иначе?

Вопрос резонный. Для того, чтобы лучше понять и запомнить что-то, иногда бывает полезно осознать мотивацию. Тем более в данном случае мотивация очень и очень серьёзная. Достаточно посмотреть на следующий пример кода, который пришлось бы написать, не будь в языке C++ реализован ADL:

// std::cout << "Hello, World!" << std::endl;
std::operator<<(std::operator<<(std::cout, "Hello, World!"), "\n");

Обратите внимание на закомментированную строчку 1. Знакомо, не правда ли? Каждый программист на C++ довольно часто пользуется оператором operator<< для вывода в std::cout. Но проблема в том, что в глобальном пространстве имён такого оператора нет!

Он имеется только в пространстве имён std. Поэтому без поиска Кенига нам бы пришлось написать полную квалификацию пространств имён используемых функций (в данном случае это operator<<).

В результате изо дня в день пришлось бы писать строчки, как строка 2 в приведённом выше примере. Спасибо Кенигу! Оказывается, мы пользуемся его творением практически постоянно!

Полезная ссылка на почитать

Есть вопрос? Напишите в комментариях!

Не пропустите новые полезные статьи!

Спасибо за подписку!

Мы отправили вам письмо для подтверждения вашего email.
С уважением, OTUS!

Автор
0 комментариев
Для комментирования необходимо авторизоваться