C 11 템플릿 대체 오류가 하드 오류인지 소프트 오류인지를 결정하는 요소는 무엇입니까?

C 11 템플릿 대체의 즉각적인 컨텍스트

C 11 표준은 SFINAE(Substitution Failure Is Not An Error)를 도입합니다. 템플릿 인수 대체 중 하드 컴파일 오류를 억제합니다. 그러나 표준은 SFINAE가 적용되는 특정 "즉각적 컨텍스트"를 정의하므로 대체 오류로 인해 언제 하드 또는 소프트 오류가 발생하는지에 대한 불확실성이 남아 있습니다.

즉각적 컨텍스트 정의

표준은 즉각적인 컨텍스트를 다음과 같이 정의합니다.

"함수 유형 및 해당 템플릿의 즉각적인 컨텍스트에서 유효하지 않은 유형 및 표현식만 매개변수 유형은 추론 실패를 초래할 수 있습니다."

이 정의는 모호하지만 비표준적인 메모는 힌트를 제공합니다.

"대체된 유형과 표현식의 평가는 다음과 같은 결과를 초래할 수 있습니다. ... 이러한 부작용은 "즉각적인 맥락"에 있지 않으며 프로그램의 형식이 잘못될 수 있습니다."

결정 절차

즉각적인 상황에서 대체 오류가 발생하는지 확인하려면 다음 결정 절차를 고려하세요.

• 1단계: 모든 템플릿을 식별하고 대체 결과를 결정하는 데 필요한 암시적으로 정의된 함수
• 2단계: 대체가 시작되기 전에 이러한 엔터티가 생성된다고 상상해 보세요.
• 3단계: 이 가상 생성 중에 오류가 발생하면 즉각적인 컨텍스트가 아니며 심각한 오류가 발생합니다.
• 4단계: 모든 엔터티가 오류 없이 생성된 경우 대체 중 후속 오류는 오류가 아니지만 인수 추론이 발생합니다. 실패.

예

• 하드 오류: func> - A의 인스턴스화 참조에 대한 포인터가 허용되지 않기 때문에 실패합니다.
• 인수 추론 실패: func> - A의 인스턴스화 성공했지만 A::type이 존재하지 않습니다.
• 인수 추론 실패: class B { void f(int); }; func::f - f의 암시적 정의는 삭제된 멤버 함수를 생성합니다.

결론

즉각적 컨텍스트의 개념을 이해하고 위의 결정 절차를 통해 프로그래머는 대체 오류가 언제 하드 또는 소프트 오류로 이어질지 더 잘 예측할 수 있으므로 C 11에서 SFINAE를 보다 효과적으로 사용할 수 있습니다. 템플릿.

위 내용은 C 11 템플릿 대체 오류가 하드 오류인지 소프트 오류인지를 결정하는 요소는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!