GCC와 Clang 간의 템플릿 인스턴스화에서 'static_assert' 동작이 다양합니까?

템플릿 인스턴스화에서 static_assert 동작 평가

이 코드에서는 static_assert를 사용하여 비유형 템플릿 매개변수의 값을 검증합니다. 답변. 그러나 이 주장의 동작은 gcc와 clang 사이에서 다릅니다:

<code class="cpp">template <int answer> struct Hitchhiker {
  static_assert(sizeof(answer) != sizeof(answer), "Invalid answer");
};

template <> struct Hitchhiker<42> {};</code>

gcc의 동작:

gcc는 Hitchhiker를 다음 이외의 매개변수로 인스턴스화할 때만 어설션을 트리거합니다. 42.

clang의 동작:

clang은 템플릿이 명시적으로 인스턴스화되지 않은 경우에도 어설션 오류를 발생시킵니다.

표준 해석:

C 표준에는 템플릿에 유효한 전문화가 없고 인스턴스화되지 않은 경우 템플릿이 잘못된 형식으로 간주된다고 명시되어 있습니다. 즉, 진단이 필요하지 않습니다.

분석:

두 컴파일러 모두 동작이 정확합니다. Clang은 표준에서 요구하지 않는 진단 기능을 제공하기로 선택합니다.

대체 접근 방식:

42라는 대답만 허용하려면 일반 템플릿을 생략할 수 있습니다. , 그리고 다음과 같이 정의된 특수 템플릿:

<code class="cpp">template <> struct Hitchhiker<42> {};</code>

위 내용은 GCC와 Clang 간의 템플릿 인스턴스화에서 'static_assert' 동작이 다양합니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!