static_assert dla unique_ptr dowolnego typu

Question

W jaki sposób mogę statycznie potwierdzić, że wyrażenie jest std::unique_ptr, tj. std::unique_ptr<T> dla każdego .

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

Powyżej nie działa. Jeśli nic prostego, interesuje mnie tylko operator bool() zdefiniowany dla tego typu.

Answer 1

Stwórz własną cechę, przy odpowiedniej specjalizacji częściowej:

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 
{}; 

Answer 2

Można utworzyć cechę na to:

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 3

można użyć tego:

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

Zasadniczo , co robi, to tworzenie std::unique_ptr z typu z std::unique_ptr::get(), i porównując to z expr. To będzie zawsze prawdziwe, jeśli expr jest .