我的业余爱好库的基本组件必须与C++ 98和C++ 11编译器一起使用.要了解和欣赏自己,我创建了几个类型支持的功能(如C++ 98级的实现enable_if,conditional,is_same,is_integral为了使用它们的时候没有C++ 11的支持等...).
然而,当我实施时,is_constructible我陷入困境.有没有任何模板魔术(某种SFINAE),我可以用它来实现它而不需要C++ 11支持(declval)？
当然在C++ 03中没有可变参数模板支持,所以我将把实现专门化到一定深度.主要问题是,是否存在可以决定T是否可以从给定类型构造的技术.
move_constructible我从cppreference得到了以下 C++ 概念的实现
template<typename _Tp>
concept move_constructible =
constructible_from<_Tp, _Tp> &&
convertible_to<_Tp, _Tp>;
我不明白为什么这有效。我认为任何类型都可以转换为自身，因此第二个要求是毫无意义的（上帝，我一定是在某些方面错了）。另外，对于第一个要求，我希望constructible_from<_Tp, _Tp&&>检查类型是否可以从 rvalue-ref 构造（因此移动）。
请解释一下这个实现是如何工作的。