인스턴스화되지 않은 템플릿에 대한 정적 어설션 동작에서 GCC와 Clang이 다른 이유는 무엇입니까?

GCC와 Clang 간의 정적 어설션 동작 불일치

템플릿 프로그래밍에서는 정적 어설션을 사용하여 컴파일 타임에 특정 조건을 적용할 수 있습니다. 그러나 최근 관찰에서 알 ​​수 있듯이 다양한 컴파일러는 이러한 어설션을 평가할 때 동작의 변화를 보일 수 있습니다.

다음 코드 조각을 고려하세요.

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

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

이 예에서는 다음을 시도합니다. Hitchhiker에 대한 일반 템플릿 인스턴스화를 비활성화하려면 정적 어설션을 사용하세요. 그러나 컴파일 시 clang은 템플릿이 인스턴스화되지 않은 경우에도 어설션 오류를 생성하는 반면, gcc는 42가 아닌 매개변수로 Hitchhiker를 인스턴스화할 때만 오류를 생성한다는 점을 알 수 있습니다.

추가 조사를 통해 이러한 불일치가 발생하는 것으로 나타났습니다. 다음 코드 부분에서:

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

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

이 수정된 코드로 컴파일할 때 두 컴파일러 모두 동일한 동작을 나타냅니다. 즉, 일반 템플릿이 인스턴스화될 때만 어설션이 트리거됩니다. 이 동작은 [temp.res]/8에 지정된 대로 C 표준과 일치합니다.

If no valid specialization can be generated for a template, and that template is not instantiated, the template is ill-formed, no diagnostic required.

이 구절에 따르면 템플릿에 대해 유효한 특수화를 생성할 수 없고 인스턴스화되지 않은 경우 템플릿은 잘못된 형식으로 간주되어 진단이 필요하지 않습니다. 이 경우 clang은 진단 기능을 제공하기로 선택하지만 gcc는 그렇지 않습니다.

42만 허용하도록 제한을 적용하려면 일반 템플릿을 정의하지 않는 것이 한 가지 접근 방식입니다.

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

위 내용은 인스턴스화되지 않은 템플릿에 대한 정적 어설션 동작에서 GCC와 Clang이 다른 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!