[数据结构与算法] 【C++】尝试实现 `is

开发: C++知识库 Java知识库 JavaScript Python PHP知识库人工智能区块链大数据移动开发嵌入式开发工具数据结构与算法开发测试游戏开发网络协议系统运维
教程: HTML教程 CSS教程 JavaScript教程 Go语言教程 JQuery教程 VUE教程 VUE3教程 Bootstrap教程 SQL数据库教程 C语言教程 C++教程 Java教程 Python教程 Python3教程 C#教程
数码: 电脑笔记本显卡显示器固态硬盘硬盘耳机手机 iphone vivo oppo 小米华为单反装机图拉丁

-> 数据结构与算法 -> 【C++】尝试实现 `is_constructible` -> 正文阅读

[数据结构与算法]【C++】尝试实现 `is_constructible`

还有行为和 std::is_constructible 不一致的地方：

class Test {
	~Test() = delete ;
};
std::is_constructible<Test,Test>::value ==> false

#include <cstdint>
#include <type_traits>

template<class T>
struct is_reference : std::is_same<T,std::remove_reference_t<T> > {};

template<class T>
inline constexpr bool is_reference_v = ! is_reference<T>::value ;


#if 1

template<class, class T, class... Args>
struct is_constructible_impl : std::false_type {};

template<class T, class... Args>
struct is_constructible_impl< void , T&, Args&...> : std::true_type {};

template<class T, class... Args>
struct is_constructible_impl< void , T&, Args...> : std::false_type {};

template<class T, class... Args>
struct is_constructible_impl< void , T&, Args&&...> : std::false_type {};
//=======================================================================
template<class T, class... Args>
struct is_constructible_impl< void , T&&, Args...> : std::true_type {};

template<class T, class... Args>
struct is_constructible_impl< void , T&&, Args&...> : std::false_type {};

template<class T, class... Args>
struct is_constructible_impl< void , T&&, Args&&...> : std::true_type {};

template<class T, class... Args>
struct is_constructible_impl<decltype( (new T(std::declval<Args>()...) ), void() ) , 
                            T, Args...> : std::true_type {};

template<class T, class... Args>
struct is_constructible : is_constructible_impl<void, T, Args...> {};

#else
using std::is_constructible;
#endif


// TEST CASE
static_assert(is_constructible<int>::value);
static_assert(!is_constructible<intptr_t, int *>::value );

static_assert(is_constructible<int, int>::value);
static_assert(is_constructible<int, int&>::value);
static_assert(is_constructible<int, int&& >::value);

//左侧是左值引用时，右侧只能是左值引用；
static_assert(is_constructible<int&, int& >::value); 
static_assert(!is_constructible<int&, int&& >::value); 
static_assert(!is_constructible<int&, int >::value); 

//左侧是右值引用时，右侧不能是左值引用
static_assert(!is_constructible<int&&, int& >::value); 
static_assert( is_constructible<int&&, int >::value); 
static_assert( is_constructible<int&&, int&& >::value); 

static_assert(is_constructible<int, float>::value);
static_assert(!is_constructible<int, int*>::value);
static_assert(!is_constructible<void, void>::value);
static_assert(!is_constructible<int(int), int(int)>::value);
static_assert(is_constructible<int(*)(), int()>::value);