किसी भी प्रकार के अद्वितीय_ptr के लिए static_assert

Question

मैं स्थिर रूप से यह कह सकता हूं कि एक अभिव्यक्ति std::unique_ptr यानी std::unique_ptr<T> किसी भी 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 से करें। यह केवल तब भी सच होगा यदि exprstd::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 
{};