C 11 SFINAE의 '즉시 컨텍스트'는 무엇이며 대체 실패에 어떤 영향을 줍니까?

C 11 SFINAE의 "즉시 컨텍스트" 이해

C 11 표준은 대체 실패로 인해 하드 컴파일이 발생하는 경우에 대한 조건을 지정합니다. 오류 또는 단순히 오버로드 해결 후보에서 템플릿을 삭제하는 소프트 오류입니다. 이 결정의 핵심 개념 중 하나는 "즉시 컨텍스트"입니다.

"즉시 컨텍스트"의 정의

표준에는 "즉시 컨텍스트"라는 용어가 간략하게 언급되어 있습니다. 그러나 정확한 정의는 명시적으로 제공되지 않습니다. 그러나 다음 텍스트와 함께 발견되는 경우가 많습니다.

Note: The evaluation of the substituted types and expressions can result in side effects such as instantiation of template specializations, generation of implicitly-defined functions, etc. Such side effects are not in the “immediate context” and can result in the program being ill-formed.

이 참고는 템플릿 인스턴스화 또는 암시적 함수 정의와 같은 대체 프로세스 중에 발생하는 모든 부작용이 대체 프로세스의 일부로 간주되지 않음을 나타냅니다. 즉각적인 컨텍스트.

즉시 대체 오류 확인 컨텍스트

즉시 컨텍스트에서 대체 오류가 발생하는지 확인하려면 다음 단계를 고려하세요.

1. 부작용 식별: 모두 인스턴스화한다고 상상해 보세요. 템플릿 인수 대체에 필요한 모든 암시적 함수를 정의합니다.
2. 다음을 확인하세요. 오류: 이 "준비" 단계에서 오류가 발생하면 즉각적인 컨텍스트의 일부가 아니며 하드 컴파일 오류가 발생합니다.
3. 대체 인수: 필요한 인스턴스화가 모두 완료되면 정의가 오류 없이 생성되었으면 인수를 함수 템플릿의 서명으로 대체하세요.
4. 중 오류가 있는지 확인하세요. 대체: 이 최종 대체 단계에서 오류가 발생하면 실제 오류가 아니라 공제 실패입니다.

예

다음을 고려하세요. 템플릿 및 대체 function:

template<typename T>
void func(typename T::type* arg);

template<>
void func(...);

1. 사례 1: A가 유형 멤버가 있는 템플릿이라고 가정하면 func::type*>(nullptr에 대한 호출 ) A를 인스턴스화하기 때문에 하드 컴파일 오류로 인해 실패합니다. (준비 중) 참조에 대한 유효하지 않은 포인터를 생성합니다.
2. 사례 2: A에 char에 대한 명시적인 특수화가 있는 경우 func::type*>에 대한 호출 ;(nullptr)은 A를 인스턴스화합니다. (준비 성공) 그러나 A::type(최종 단계)의 후속 대체는 존재하지 않기 때문에 실패합니다. 이로 인해 추론실패가 발생하게 되는데, fallback 기능을 사용하게 됩니다.

결론

즉시적 맥락의 개념을 이해하면 언제, 대체 오류로 인해 하드 컴파일 오류나 소프트 공제 실패가 발생하여 C 11에서 SFINAE를 효과적으로 사용할 수 있습니다.

위 내용은 C 11 SFINAE의 '즉시 컨텍스트'는 무엇이며 대체 실패에 어떤 영향을 줍니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!