feedc0de/boost_type_traits
1
0
Fork 0
forked from boostorg/type_traits
Code Pull Requests Activity

Change is_copy_constructible to use is_constructible where possible, and fix some MSVC failures.

Browse Source
This commit is contained in:
jzmaddock
2015-06-12 13:26:27 +01:00
parent ae76223bab
commit cb98a630ff
3 changed files with 155 additions and 86 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/is_copy_constructible_test.cpp
+7 -13
View File
@@ -80,7 +80,10 @@ TT_TEST_BEGIN(is_copy_constructible)
// Main part of the test
BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_copy_constructible<has>::value, true);
BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_copy_constructible<has2>::value, true);
BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_copy_constructible<has3>::value, true);
// Only constructible from has3& not from const-reference, this only works if we have decltype:
#if !defined(BOOST_NO_CXX11_DECLTYPE) && !BOOST_WORKAROUND(BOOST_MSVC, < 1800)
BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_copy_constructible<has3>::value, false);
#endif
BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_copy_constructible<has4>::value, true);
BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_copy_constructible<has_not>::value, false);
#if !defined(BOOST_NO_CXX11_DELETED_FUNCTIONS) && !defined(BOOST_INTEL_CXX_VERSION)
@@ -260,18 +263,9 @@ BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_copy_constructible<enum_UDT>::value, true
BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_copy_constructible<int&>::value, true);
#ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
// Code like `int&& a = 10;` or
// struct nonc {
// nonc() = default;
// nonc(const nonc&) = delete;
// nonc(nonc&&) = delete;
// nonc& operator=(const nonc&) = delete;
// nonc& operator=(nonc&&) = delete;
// };
//
// nonc && a = nonc();
// is legal in C++11. so this trait MUST return true.
BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_copy_constructible<int&&>::value, true);
// This is debatable, we used to insist this was true, but copy-constructibility
// implies copying a constant-object, and that isn't the case here:
BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_copy_constructible<int&&>::value, false);
#endif
BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_copy_constructible<const int&>::value, true);