sfinae away a destructor

Question

std::vector과 매우 비슷한 것을 구현하지만 메모리 할당 대신 스택에 배열을 사용합니다.

dtor는 SFINAE를 사용하는 함수를 호출합니다.

• value_type이 공백 인 경우 함수에 빈 몸체가 있습니다.
• value_type이 정상 클래스 인 std::string 인 경우 함수에 본문이 있고 모든 데이터가 제대로 삭제됩니다.

이제이 새로운 std::vector을 constexpr으로 사용하고 싶습니다. 그러나 C-tor도 constexpr으로 선언되었지만 클래스에 평범하지 않은 코드가 있으므로 코드가 컴파일되지 않습니다.

template<typename T, std::size_t SIZE> 
class SmallVector{ 
    constexpr SmallVector() = default; 

    ~SmallVector(){ 
     destructAll_<value_type>(); 
    } 

    // ... 

    template<typename X> 
    typename std::enable_if<std::is_trivially_destructible<X>::value == true>::type 
    destructAll_() noexcept{ 
    } 

}; 

내가 클래스 value_type는 POD 및 비 POD 데이터 유형에 대한 유지 기능입니다 constexpr 경우가 될 수 있도록 할 수 있나요 :

여기에 코드의 작은 부분이다.
(물론 동시에는 아님)

Answer 1

불행히도 SFINAE 또는 향후 개념을 사용하여 소멸자를 활성화/비활성화 할 수있는 방법은 없습니다. 즉 때문에 destructos :

• 는
• 는 반환 유형을 가질 수 없습니다 인수를 가질 수 없습니다 템플릿 수 없습니다

할 수있는 일이, 전체 클래스를 전문으로하거나 더 나은 방법으로, 생성/소멸 및 기본 액세스 만 포함하는 기본 클래스를 만들고이를 특수화하십시오. 내가 대신 주요 정의와 하찮게 파괴 유형에 대한 전문성이있을 것이다 'SmallVectorImpl :: 값>'에서 상속 할

template <class T, class Enable = void> 
struct X { 
    ~X() {} 
}; 

template <class T> 
struct X<T, std::enable_if_t<std::is_pod<T>::value>> { 
}; 

static_assert(std::is_trivially_destructible<X<int>>::value); 
static_assert(!std::is_trivially_destructible<X<std::vector<int>>>::value);