Что такое " Поиск, зависящий от аргумента "(он же ADL или"поиск Кенига")?

в Koenig Lookup, если функция вызывается без указания ее пространства имен, то имя функции и поиск в пространстве имен, в котором определен тип аргумента(ов). Вот почему он также известен как поиск имени, зависящего от аргумента, короче просто ADL.

это из-за поиска Кенига, мы можем написать это:

std::cout << "Hello World!" << "\n";

в противном случае нам пришлось бы написать:

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

что действительно слишком много набрав и код выглядит действительно некрасиво!

другими словами, при отсутствии поиска Кенига, даже a Привет, Мир программа выглядит сложным.

может быть, лучше начать с того, почему, и только потом перейти к тому, как.

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

namespace N
{
  class X {};
  void f(X);
  X& operator++(X&);
}

int main()
{
  // define an object of type X
  N::X x;

  // apply f to it
  N::f(x);

  // apply operator++ to it
  ???
}

конечно, вы могли бы написать N::operator++(x), но это бы победило весь смысл перегрузки оператора. Поэтому необходимо было найти решение, которое позволило бы компилятору найти operator++(X&) несмотря на то, что он не был в области. С другой стороны, он все равно не должен найти другого operator++ определено в другом, несвязанном пространстве имен, которое может сделать вызов неоднозначным (в этом простом примере вы не получите двусмысленности, но в более сложных примерах вы можете). Решением был поиск, зависящий от аргумента (ADL), вызванный таким образом, поскольку поиск зависит от аргумента (точнее, от типа аргумента). С схема была изобретена Эндрю Р. Кенигом, ее также часто называют Koenig lookup.

хитрость заключается в том, что для вызовов функций, в дополнение к обычному поиску имен (который находит имена в области в точке использования), выполняется второй поиск в областях типов любых аргументов, заданных функции. Так что в приведенном выше примере, если вы пишете x++ в основном, он ищет operator++ не только в глобальной области, но и дополнительно в области, где тип x,N::X, был определено, т. е. в namespace N. И там он находит совпадение operator++, и поэтому x++ просто работает. Еще один operator++, определенный в другом пространстве имен, скажем N2, не будет найден, однако. Поскольку ADL не ограничивается пространствами имен, вы также можете использовать f(x) вместо N::f(x) на main().

не все об этом хорошо, на мой взгляд. Люди, включая поставщиков компиляторов, оскорбляли его из-за его иногда неудачного поведения.

ADL отвечает за капитальный ремонт цикла for-range в C++11. Чтобы понять, почему ADL иногда может иметь непреднамеренные эффекты, учтите, что рассматриваются не только пространства имен, в которых определены аргументы, но и аргументы шаблонных аргументов аргументов, типов параметров функции типы / типы указателей типов указателей этих аргументов и т. д. и т. д.

пример использования boost

std::vector<boost::shared_ptr<int>> v;
auto x = begin(v);

это привело к двусмысленности, если пользователь использует повышение.библиотека диапазона, потому что оба std::begin Не найдено (АДЛ, используя std::vector) и boost::begin - Это нашли (АДЛ, используя boost::shared_ptr).