Boost.TypeTraits에 `is_complete` 템플릿이 없는 이유는 무엇입니까?

Boost 라이브러리의 Is_Complete 템플릿

Boost 라이브러리에서 is_complete 템플릿을 찾는 동안 해당 템플릿이 Boost.TypeTraits 내에 존재하지 않는다는 것이 분명해졌습니다. 이는 템플릿이 없는 이유와 그러한 템플릿의 잠재적 디자인에 대한 의문을 제기합니다.

다음 코드 조각을 고려하십시오.

<code class="cpp">//! Check whether type complete
template<typename t>
struct is_complete
{   
  static const bool value = ( sizeof(T) > 0 );
};

...

// use it in such a way
BOOST_STATIC_ASSERT( boost::is_complete<t>::value );</t></typename></code>

이 코드는 불완전한 유형에 sizeof를 적용하므로 결함이 있습니다. 불법입니다. 따라서 대체 솔루션을 모색하고 있습니다.

한 가지 가능한 접근 방식은 SFINAE를 사용하는 것입니다. 그러나 이는 일반적으로 ODR(One Definition Rule)을 위반하지 않고는 문제를 해결할 수 없다는 한계가 있습니다.

Alexey Malistov가 제안한 플랫폼별 솔루션을 약간 수정하면 MSVC에서 사용할 수 있습니다.

<code class="cpp">namespace 
{
    template<class t int discriminator>
    struct is_complete {  
      static T & getT();   
      static char (& pass(T))[2]; 
      static char pass(...);   
      static const bool value = sizeof(pass(getT()))==2;
    };
}
#define IS_COMPLETE(X) is_complete<x>::value</x></class></code>

안타깝게도 __COUNTER__ 매크로의 사용은 표준화되지 않았으므로 다양한 컴파일러에 적용하는 데 제한이 있을 수 있습니다.

위 내용은 Boost.TypeTraits에 `is_complete` 템플릿이 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!