Koenig Lookup 또는 Argument Dependent Lookup 은 C ++에서 컴파일러가 규정되지 않은 이름을 찾는 방법을 설명합니다.

C ++ 11 표준 § 3.4.2 / 1 상태는 다음과 같습니다.

함수 호출 (5.2.2)의 접미사 표현식이 규정되지 않은 ID 인 경우, 정규 규정되지 않은 검색 (3.4.1) 중에 고려되지 않은 다른 네임 스페이스가 검색 될 수 있으며, 이러한 네임 스페이스에서 네임 스페이스 범위 친구 함수 선언 ( 11.3) 그렇지 않으면 보이지 않을 수 있습니다. 검색에 대한 이러한 수정은 인수 유형 (및 템플리트 템플리트 인수의 경우 템플리트 인수의 네임 스페이스)에 따라 다릅니다.

간단한 용어로 Nicolai Josuttis는 ^1을 말합니다 .

함수의 네임 스페이스에 하나 이상의 인수 유형이 정의 된 경우 함수의 네임 스페이스를 규정 할 필요가 없습니다.

간단한 코드 예제 :

namespace MyNamespace
{
    class MyClass {};
    void doSomething(MyClass);
}

MyNamespace::MyClass obj; // global object


int main()
{
    doSomething(obj); // Works Fine - MyNamespace::doSomething() is called.
}

위의 예제에는 using선언이나 지시문이 using없지만 컴파일러 doSomething()는 Koenig 조회MyNamespace 를 적용하여 네임 스페이스 에 선언 된 함수로 규정되지 않은 이름 을 올바르게 식별합니다 .

어떻게 작동합니까?

이 알고리즘은 컴파일러에게 로컬 범위뿐만 아니라 인수 유형이 포함 된 네임 스페이스도 확인하도록 지시합니다. 따라서 위 코드에서 컴파일러는 obj함수의 인수 인 객체 doSomething()가 네임 스페이스에 속하는 것을 발견합니다 MyNamespace. 따라서 해당 네임 스페이스를보고의 선언을 찾습니다 doSomething().

Koenig 조회의 장점은 무엇입니까?

위의 간단한 코드 예제에서 알 수 있듯이 Koenig 조회는 프로그래머에게 편의성과 사용 편의성을 제공합니다. Koenig 조회가 없으면 정규화 된 이름을 반복적으로 지정하거나 수많은 using선언을 사용하기 위해 프로그래머에게 오버 헤드가 발생합니다 .

Koenig 조회에 대한 비판이 필요한 이유는 무엇입니까?

Koenig 조회에 대한 과도한 의존은 시맨틱 문제로 이어질 수 있으며 때때로 프로그래머를 보호합니다.

std::swap두 개의 값을 바꾸는 표준 라이브러리 알고리즘 인의 예를 고려하십시오 . Koenig 조회를 사용하면 다음과 같은 이유로이 알고리즘을 사용할 때주의해야합니다.

std::swap(obj1,obj2);

다음과 같은 동작을 나타내지 않을 수 있습니다.

using std::swap;
swap(obj1, obj2);

ADL의 경우 어떤 버전의 swap함수가 호출되는지는 전달 된 인수의 네임 스페이스에 따라 다릅니다.

거기에 네임 스페이스를 존재하는 경우 A와 경우 A::obj1, A::obj2& A::swap()존재하는 다음 두 번째 예를 호출 발생합니다 A::swap()사용자가 원하는 것을하지 않을 수도 있습니다.

또한, 어떤 이유로 두 경우 A::swap(A::MyClass&, A::MyClass&)와 std::swap(A::MyClass&, A::MyClass&)정의, 후 첫 번째 예는 호출 std::swap(A::MyClass&, A::MyClass&)때문이 아니라 두 번째는 컴파일되지 않습니다 swap(obj1, obj2)모호 할 것이다.

하찮은 일:

“Koenig 조회”라고하는 이유는 무엇입니까?

전 AT & T와 Bell Labs의 연구원이자 프로그래머 인 Andrew Koenig에 의해 고안 되었기 때문 입니다.

더 읽을 거리 :

• GotW에서 Herb Sutter의 이름 조회

• 표준 C ++ 03 / 11 [basic.lookup.argdep] : 3.4.2 인수에 따른 이름 조회.

_{¹ Koenig 조회의 정의는 Josuttis의 저서 인 The C ++ Standard Library : A Tutorial and Reference에 정의되어 있습니다.}

답변

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

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

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
  ???
}

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