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可以构造的.