Microsoft Visual C의 2단계 템플릿 조회는 표준과 어떻게 다르며 그 결과는 무엇입니까?

Microsoft Visual C의 잘못 이해된 2단계 템플릿 조회

소개

2단계 템플릿 인스턴스화라고도 함 조기 및 후기 조회는 C 템플릿 프로그래밍의 중요한 측면입니다. 그러나 이 기능에 대한 Microsoft의 Visual C(MSVC) 구현은 부적절하다고 보고되어 정밀 조사에 직면했습니다.

이론상의 2단계 조회

표준 C 컴파일러에서는 2단계 조회는 템플릿 함수 및 클래스에 적용됩니다. 첫 번째 단계에서 컴파일러는 구문 검사를 수행하여 적절한 이름으로 선언을 식별합니다. 실제 조회 및 이름 바인딩은 템플릿 인스턴스화 중에 발생하는 두 번째 단계까지 연기됩니다.

MSVC의 제한된 구현

기대와는 달리 MSVC의 템플릿 조회는 제한됩니다. . 첫 번째 단계에서는 기본 구문 검사만 수행합니다. 문제는 두 번째 단계에서 발생합니다.

• 초기 조회 수행: MSVC는 비종속 이름 확인을 연기하므로 초기 조회를 완전히 준수하지 않습니다. 템플릿 인스턴스화까지.
• 비ADL 조회 확장: 두 번째 단계에서 MSVC가 잘못되었습니다. 템플릿 정의 뒤에 추가된 선언을 포함하도록 비ADL 조회를 확장합니다. 이 동작은 ADL 지정 네임스페이스만 확장할 수 있도록 허용하는 표준에서 벗어납니다.

깨진 조회의 결과

2단계 구현의 결함 MSVC에서 조회하면 템플릿 인스턴스화 중에 오류가 발생할 수 있습니다. 예를 들어 다음 코드를 고려해 보세요.

int foo(void*);

template<typename T> struct S {
  S() { int i = foo(0); }
};

void foo(int);

int main() {
  S<int> s;
}

이 예에서 표준 호환 컴파일러는 초기 조회를 수행하고 생성자에서 'foo(0)'를 'foo(void*)'에 바인딩합니다. 그러나 MSVC는 인스턴스화까지 조회를 연기하여 'foo'에 대한 모호한 과부하로 인해 컴파일 오류를 발생시킵니다.

결론

MSVC는 두 가지 기본 구현을 제공합니다. -단계 템플릿 조회로 인해 표준 기대치에 미치지 못합니다. 불완전한 초기 조회와 비ADL 조회의 잘못된 확장으로 인해 오류가 발생하고 MSVC 기반 프로젝트에서 템플릿의 유용성이 제한될 수 있습니다. 이 환경에서 템플릿 기반 코드를 효과적으로 처리하려면 이러한 제한 사항을 이해하는 것이 중요합니다.

위 내용은 Microsoft Visual C의 2단계 템플릿 조회는 표준과 어떻게 다르며 그 결과는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!