ADL(인수 종속 조회)이 명시적 네임스페이스 한정 없이 함수 템플릿을 찾지 못하는 이유는 무엇입니까?

함수 템플릿이 ADL 검색에 저항하는 이유

C에서 ADL(인수 종속 조회)은 컴파일러가 명시적인 네임스페이스 한정 없이 함수를 찾을 수 있도록 해줍니다. 그러나 함수 템플릿의 경우 ADL은 한계에 직면합니다.

이 문제의 핵심은 C Standard 03의 14.8.1.6에 나와 있습니다.

"그러나 명시적인 템플릿 인수가 있는 함수 템플릿이 있는 경우 사용되는 경우 해당 이름을 가진 함수 템플릿이 호출 시점에 표시되지 않는 한 호출은 올바른 구문 형식을 가지지 않습니다. call."

예를 들어 분석해 보겠습니다.

다음 스니펫에는 네임스페이스 ns 내에 함수 템플릿 frob과 비템플릿 함수 non_template이 있습니다.

non_template을 직접 호출하는 것은 허용되지만 frob<0> foo 개체에 대한 컴파일이 실패합니다.

이유는 무엇입니까?

frob<0>(f) 호출은 네임스페이스 한정 없이 구문상 유효하지 않기 때문입니다. 명시적인 네임스페이스가 없으면 컴파일러는 ADL 중에 어떤 frob 템플릿을 찾을지 알 수 없습니다.

이를 수정하려면 frob에 대한 호출을 명시적으로 한정하거나 using을 사용하여 네임스페이스를 범위로 가져와야 합니다. 이렇게 하면 컴파일러는 ADL을 사용하여 올바른 템플릿 정의를 찾을 수 있습니다.

위 내용은 ADL(인수 종속 조회)이 명시적 네임스페이스 한정 없이 함수 템플릿을 찾지 못하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!