C 함수 템플릿에 대해 ADL(인수 종속 조회)이 실패하는 이유는 무엇입니까?

ADL 함수 템플릿 찾기 실패

C에서 인수 종속 조회(ADL)를 사용하면 다음에서 함수 이름 선언을 검색할 수 있습니다. 함수 호출의 인수와 연관된 네임스페이스. 그러나 C 스펙에는 함수 템플릿과 ADL에 제한이 있습니다.

제약

C Standard 14.8.1.6에 따르면 ADL은 그렇지 않습니다. 호출 시점에 동일한 이름을 가진 표시되는 함수 템플릿이 없으면 함수 템플릿에 적용됩니다. 즉, 명시적인 템플릿 인수가 있는 함수 템플릿의 경우 호출은 표시되는 함수 템플릿과 함께 올바른 구문 형식을 가져야 합니다.

예

다음 예를 고려하세요.

namespace ns {
    struct foo {};
    template<int i> void frob(foo const&amp;) {}
    void non_template(foo const&amp;) {}
}

int main() {
    ns::foo f;
    non_template(f); // This is fine.
    frob<0>(f); // This is not.
}

이 예에서 ADL은 non_template이 일반 템플릿이기 때문에 첫 번째 호출에서 non_template을 찾아 해결합니다. 기능. 그러나 두 번째 호출의 경우 frob는 함수 템플릿입니다. 호출 시점에 눈에 띄는 Frob 함수 템플릿이 없기 때문에 ADL이 실패하고 호출의 구문이 올바르지 않습니다.

제한 사항 해결

To 이 제한을 극복하려면 호출 범위 내에서 함수 템플릿이 표시되는지 확인하세요. 이는 현재 네임스페이스에서 함수 템플릿을 선언하거나 함수 템플릿이 포함된 네임스페이스로 호출을 한정함으로써 달성할 수 있습니다.

위 내용은 C 함수 템플릿에 대해 ADL(인수 종속 조회)이 실패하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!