iscopy_constructible的libc实现是这样的：
template <class _Tp>
struct _LIBCPP_TYPE_VIS_ONLY is_copy_constructible
: public is_constructible<_Tp,const typename add_lvalue_reference<_Tp>::type>
{};
is_copy_constructible的C规范简单：
std::is_copy_constructible specification: std::is_constructible<T,const T&>::value is true.
但是,上述实施并不是T& const而不是const T&将const应用于add_lvalue_reference应该没有影响,至少有一个编译器(EDG)以警告的形式识别这个.
示例程序演示问题：
#include <type_traits>
struct ProofTest
{
ProofTest(){}
ProofTest(const ProofTest&) = delete; // is_copy_constructible should use this.
ProofTest(ProofTest&){ } // But instead it's using this.
};
void Proof()
{
static_assert(std::is_copy_constructible<ProofTest>::value == false,"is_copy_constructible bug");
}
在libstdc下,上面的代码编译好,但在libc下,static_assert被触发.
以下是正确的修复？
template <class _Tp>
struct _LIBCPP_TYPE_VIS_ONLY is_copy_constructible
: public is_constructible<_Tp,typename add_lvalue_reference<typename std::add_const<_Tp>::type>::type>
{};
这也会影响其他一些libc类型的特征.
解决方法
同意,谢谢你的错误报告.
更新
Related question: What’s the expected value of:
std::is_constructible<int&>::value? It’s not perfectly clear to
me from reading the standard.
标准说明：
For a referenceable type
T,the same result asis_constructible<T,const T&>::value,otherwisefalse.
“可引用类型”基本上是一个空白.我是释义这不是一个确切的定义.这是可以理解的,而不是精确的.语言律师(包括我自己)可以将它分开.但是为了方便理解,“除了一个空白之外的任何东西”都足够近了.
所以你的问题成了,什么是：
std::is_constructible<int&,const (int&)&>::value // I've used pseudo code
const应用于引用是一个no-op().而应用于lvalue引用的lvalue引用是一个no-op(由于引用崩溃).例如考虑这个非便携式type_name设备：
#include <type_traits>
#include <memory>
#include <iostream>
#include <cxxabi.h>
#include <cstdlib>
template <typename T>
std::string
type_name()
{
typedef typename std::remove_reference<T>::type TR;
std::unique_ptr<char,void(*)(void*)> own
(
abi::__cxa_demangle(typeid(TR).name(),nullptr,nullptr),std::free
);
std::string r = own != nullptr ? own.get() : typeid(TR).name();
if (std::is_const<TR>::value)
r += " const";
if (std::is_volatile<TR>::value)
r += " volatile";
if (std::is_lvalue_reference<T>::value)
r += "&";
else if (std::is_rvalue_reference<T>::value)
r += "&&";
return r;
}
int
main()
{
typedef int& T;
std::cout << type_name<const T&>() << '\n';
}
对我来说,这是打印出来的：
int&
所以上面简化为：
std::is_constructible<int&,int&>::value // true
这应该是真的,因为lvalue int应该是从非const lvalue int可以构造的.