모든 유형의 unique_ptr에 대한 static_assert

Question

어떤 표현식이 std::unique_ptr (의 경우 std::unique_ptr<T>)이라고 정적으로 주장 할 수 있습니까?

static_assert (std::is_pointer<decltype(exp)>()), "not a smart pointer") 

위의 코드는 작동하지 않습니다. 똑바로 서두르지 않으면 형식에 대해 bool() 연산자가 정의 된 경우에만 관심이 있습니다.

Answer 1

해당 부분 특수화와 함께, 자신의 특성을 만들기 : 기본적으로

static_assert(std::is_same<decltype(expr), 
    std::unique_ptr<std::remove_pointer<decltype(expr.get())>::type>>::value, ""); 

:

이

template <typename T, typename D> 
std::true_type is_unique_ptr_impl(const std::unique_ptr<T, D>&, int); 

template <typename T> 
std::false_type is_unique_ptr_impl(const T&, ...); 

template <typename T> 
using is_unique_ptr = decltype(is_unique_ptr_impl(std::declval<T>(), 0)); 

Answer 2

당신은 그에 대한 특성을 만들 수 있습니다 , 무엇이 std::unique_ptr::get()에서 형식 중 std::unique_ptr을 만들고, 이를 expr과 비교합니다. expr이 std::unique_ptr 인 경우에만 적용됩니다.

Answer 3

당신은이를 사용할 수 있습니다

template <class T> 
struct is_unique_ptr : std::false_type 
{}; 

template <class T, class D> 
struct is_unique_ptr<std::unique_ptr<T, D>> : std::true_type 
{};