범용 템플릿 없이 C에서 유형 완전성을 확인하는 방법은 무엇입니까?

사용자 정의 템플릿을 사용하여 유형 완전성 확인

완전히 정의되지는 않았지만 불완전한 유형은 C 프로그래밍에서 중요한 역할을 합니다. 그러나 유형이 완전한지 여부를 결정하는 것은 어려울 수 있습니다. 특히 Boost의 is_complete와 같은 전용 템플릿이 없으면 더욱 그렇습니다.

제안된 솔루션

ODR(단일 정의 규칙)을 준수하는 것이 어려울 수 있지만 플랫폼별 접근 방식은 Microsoft Visual C에 효과적인 것으로 입증되었습니다. Alexey Malistov가 설명한 대로 다음 템플릿을 사용할 수 있습니다.

<code class="cpp">namespace
{
    template<class T, int discriminator>
    struct is_complete {  
      static T &amp; getT();   
      static char (&amp; pass(T))[2]; 
      static char pass(...);   
      static const bool value = sizeof(pass(getT()))==2;
    };
}</code>

사용

이 템플릿을 활용하려면 매크로 IS_COMPLETE(X)를 활용하면 됩니다. X는 문제의 유형입니다. 예를 들면 다음과 같습니다.

<code class="cpp">#define IS_COMPLETE(X) is_complete<X,__COUNTER__>::value</code>

주의 사항

__COUNTER__ 매크로는 C 표준의 일부가 아니라는 점에 유의하는 것이 중요합니다. 따라서 이 솔루션은 모든 컴파일러에 적합하지 않을 수 있습니다.

위 내용은 범용 템플릿 없이 C에서 유형 완전성을 확인하는 방법은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!