이 ADL 예제에 대해 Bjarne이 틀렸습니까? 아니면 컴파일러 버그가 있습니까?

Question 1

저는 The C ++ Programming Language, 4th Edition (by Bjarne Stroustrup )을 읽고 있습니다 .인수 종속 조회. 다음은 인용문입니다 (26.3.6, Overaggressive ADL) :

인수 종속 조회 (종종 ADL이라고 함)는 자세한 정보를 피하는 데 매우 유용합니다 (14.2.4). 예를 들면 :
#include <iostream>

int main()
{
    std::cout << "Hello, world" << endl; // OK because of ADL
}
인수 종속 조회가 없으면 endl조작자를 찾을 수 없습니다. 그 첫 번째 인수는 것을 컴파일러 공지이므로 <<된다 ostream정의 std. 따라서 endlin std을 찾아서 찾습니다 (in <iostream>).

다음 은 컴파일러가 생성 한 결과 입니다 (C ++ 11 모드).

prog.cpp: In function ‘int main()’:
prog.cpp:4:36: error: ‘endl’ was not declared in this scope
 std::cout << "Hello, world" << endl;
                                ^

이것은 컴파일러 또는 책의 버그입니다. 표준은 무엇을 말합니까?

최신 정보:

좀 명확히해야 겠네요. 정답은를 사용하는 것임을 알고 있습니다 std::endl. 질문은 책의 텍스트에 관한 것이 었습니다. 로 클런 이스턴은 이미 그냥 오타 아니다 말했다. 전체 단락이 (아마도) 잘못되었습니다. 이 책이 다른 (덜 알려진) 저자의 책이라면 이런 종류의 오류를 받아 들일 수 있지만, Bjarne이 저술했기 때문에 나는 여전히 의심 스럽습니다.

Question 2

컴파일러의 버그가 아닙니다. ADL은 인수가 아닌 함수 를 조회하는 데 사용됩니다 . 여기에서 ADL을 통해 매개 변수 와 (무엇이되어야하는지) 살펴보면서 찾은 함수 입니다.operator<<std::coutstd::endl

Question 3

오타라고 말하는 사람들에게는 그렇지 않습니다. Bjarne이 실수를했거나 컴파일러가 잘못했습니다. OP가 게시 한 다음 단락은 다음과 같습니다.

인수 종속 조회가 없으면 endl 조작자를 찾을 수 없습니다. 그대로, 컴파일러는 <<에 대한 첫 번째 인수가 std에 정의 된 ostream임을 인식합니다. 따라서 std에서 endl을 찾고 (에서 <iostream>) 찾습니다 .

Question 4

~~다른 사람들이 이미 지적했듯이 책의 오타입니다. 그러나 책에서 의미하는 것은~~ 우리가

std::operator<<(std::cout, "Hello, world").operator<<(std::endl);

ADL없이. 그것이 Bjarne이 장황함을 의미하는 것입니다.

나는 바로 잡았다. 로 클런 이스턴는 지적이 오타하지만 아닌 실수 책이다. 나는이 책에 접근 할 수 없어서 그 단락을 읽고 스스로 깨닫지 못했던 것이다. 나는이 실수를 Bjarne에게보고하여 그가 고칠 수 있도록했습니다.

이상한. 동일한 예가 Wikipedia에 있으며

참고이 std::endl기능이지만,이에 대한 인수로 사용되기 때문에 그것은, 전체 자격을 필요로 operator<<( std::endl함수 포인터가 아닌 함수 호출).

의심 할 여지없이 책의 실수입니다. 그럼에도 불구하고이 예제 std::operator<<(std::cout, "Hello, world").operator<<(std::endl);는 ADL이 자세한 정도를 줄이는 데 어떻게 도움이되는지 보여줍니다.

내 실수 를 지적 해준 gx_ 에게 감사드립니다 .

Question 5

힌트는 "인수 종속 조회"라는 이름에 있습니다.

이 작품 것으로, 규정되지 않은 함수 이름에 대한 조회의 따라 온 인수 .

그것은 조회와는 아무 상관 없어 있어요 위해를 인수를.

비얀 미스 포크.

Question 6

책은 없지만 이것은 책의 오류 인 것 같습니다. 네임 스페이스 한정자가 없다는 사실은 ADL과 아무 관련이 없습니다. 이어야합니다 std::endl.

Question 7

예, 오류입니다. 예제는 형식이 잘못되어 컴파일해서는 안됩니다. ADL은 함수 호출 표현식을 도입하는 정규화되지 않은 함수 이름에 적용됩니다. endl조회를 시도하는 ID 표현식 std::endl입니다. endl함수 호출 표현식을 도입하지 않으므로 인수 종속 조회가 사용되지 않고 정규화되지 않은 조회 만 사용되므로 std::endl의도 한대로 찾을 수 없습니다 .

더 간단하고 올바른 예는 다음과 같습니다.

#include <vector>

int main()
{
    std::vector<int> x, y;
    swap(x,y); // calls std::swap due to ADL
}

요약하면, f(x,y,z)정규화되지 않은 ID (예 :)를 가진 함수 호출 (예 f:)을 조회 하기 전에 먼저 함수 의 매개 변수 (예 :x,y,z :)를 분석하여 유형을 결정합니다. 연결된 네임 스페이스 목록은 형식에 따라 구성됩니다 (예 : 형식 정의의 둘러싸는 네임 스페이스는 연결된 네임 스페이스 임). 그런 다음 이러한 네임 스페이스에서 함수를 추가로 검색합니다.

Bjarne의 예의 의도는 ADL을 과시하는 것입니다. std::operator<< 기능을하지 std::endl. 이 때문에 오버로드 연산자, 사실 함수 호출 식에 있는지 추가 이해가 필요 x << y수단을 operator<<(x,y), 및 operator<<규정 화되지 않은 이름이며, 따라서 ADL은 적용됩니다. 좌변의 종류는 std::ostream매우 std연관된 공간이므로 std::operator<<(ostream&, ...)발견된다.

수정 된 설명은 다음과 같아야합니다.

인수 종속 조회가 없으면 네임 스페이스 <<에서 오버로드 된 연산자를 std찾을 수 없습니다. 그대로 컴파일러는 <<에 대한 첫 번째 인수가 std에 정의 된 ostream임을 인식합니다. 따라서 <<std 에서 연산자 를 찾고 (에서 <iostream>) 찾습니다 .