static_assert für unique_ptr eines beliebigen Typs

Question

Wie kann ich statisch behaupten, dass ein Ausdruck ein std::unique_ptr ist, d. H. std::unique_ptr<T> für einen beliebigen T.

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

Oben funktioniert nicht. Wenn nichts direkt geht, interessiert mich nur, ob für den Typ bool() Operator definiert ist.

Answer 1

Erstellen Sie Ihr eigenes Merkmal, mit dem entsprechenden Teil-Spezialisierung:

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

Sie ein Merkmal dafür erstellen:

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

Sie diese verwenden können:

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

Grundsätzlich , was es tut, ist ein std::unique_ptr aus dem Typ von std::unique_ptr::get() erstellen, und das mit expr vergleichen. Dies ist nur dann der Fall, wenn expr eine std::unique_ptr ist.