2010-08-22 02:59:46 +02:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
//
|
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
|
//
|
2010-11-16 23:09:02 +01:00
|
|
|
// This file is dual licensed under the MIT and the University of Illinois Open
|
|
|
|
|
// Source Licenses. See LICENSE.TXT for details.
|
2010-08-22 02:59:46 +02:00
|
|
|
//
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
|
|
// type_traits
|
|
|
|
|
|
|
|
|
|
// is_convertible
|
|
|
|
|
|
|
|
|
|
#include <type_traits>
|
|
|
|
|
|
|
|
|
|
typedef void Function();
|
|
|
|
|
typedef char Array[1];
|
|
|
|
|
|
Eliminate the C++0x-only is_convertible testing function that accepts
a cv-qualifier rvalue reference to the type, e.g.,
template <class _Tp> char __test(const volatile typename remove_reference<_Tp>::type&&);
The use of this function signature rather than the more
straightforward one used in C++98/03 mode, e.g.,
template <class _Tp> char __test(_Tp);
is broken in two ways:
1) An rvalue reference cannot bind to lvalues, so is_convertible<X&,
X&>::value would be false. This breaks two of the unique_ptr tests
on Clang and GCC >= 4.5. Prior GCC's seem to have allowed rvalue
references to bind to lvalues, allowing this bug to slip in.
2) By adding cv-qualifiers to the type we're converting to, we get
some incorrect "true" results for, e.g., is_convertible<const X&, X&>::value.
git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@124166 91177308-0d34-0410-b5e6-96231b3b80d8
2011-01-25 02:15:41 +01:00
|
|
|
class NonCopyable {
|
|
|
|
|
NonCopyable(NonCopyable&);
|
|
|
|
|
};
|
|
|
|
|
|
2010-08-22 02:59:46 +02:00
|
|
|
int main()
|
|
|
|
|
{
|
|
|
|
|
{
|
|
|
|
|
static_assert(( std::is_convertible<void, void>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<const void, void>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<void, const void>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<const void, const void>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<void, Function>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const void, Function>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<void, Function&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const void, Function&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<void, Function*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<void, Function* const>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const void, Function*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const void, Function*const >::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<void, Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<void, const Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const void, Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const void, const Array>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<void, Array&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<void, const Array&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const void, Array&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const void, const Array&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<void, char>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<void, const char>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const void, char>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const void, const char>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<void, char&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<void, const char&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const void, char&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const void, const char&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<void, char*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<void, const char*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const void, char*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const void, const char*>::value), "");
|
|
|
|
|
}
|
|
|
|
|
{
|
|
|
|
|
static_assert((!std::is_convertible<Function, void>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function, const void>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Function, Function>::value), "");
|
|
|
|
|
|
2011-01-28 21:00:37 +01:00
|
|
|
static_assert(( std::is_convertible<Function, Function&>::value), "");
|
2010-08-22 02:59:46 +02:00
|
|
|
|
|
|
|
|
static_assert(( std::is_convertible<Function, Function*>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<Function, Function* const>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Function, Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function, const Array>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Function, Array&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function, const Array&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Function, char>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function, const char>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Function, char&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function, const char&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Function, char*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function, const char*>::value), "");
|
|
|
|
|
}
|
|
|
|
|
{
|
|
|
|
|
static_assert((!std::is_convertible<Function&, void>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function&, const void>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Function&, Function>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert(( std::is_convertible<Function&, Function&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert(( std::is_convertible<Function&, Function*>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<Function&, Function* const>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Function&, Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function&, const Array>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Function&, Array&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function&, const Array&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Function&, char>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function&, const char>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Function&, char&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function&, const char&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Function&, char*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function&, const char*>::value), "");
|
|
|
|
|
}
|
|
|
|
|
{
|
|
|
|
|
static_assert((!std::is_convertible<Function*, void>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function*const, void>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function*, const void>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function*const, const void>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Function*, Function>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function*const, Function>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Function*, Function&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function*const, Function&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert(( std::is_convertible<Function*, Function*>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<Function*, Function* const>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<Function*const, Function*>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<Function*const, Function*const >::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Function*, Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function*, const Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function*const, Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function*const, const Array>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Function*, Array&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function*, const Array&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function*const, Array&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function*const, const Array&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Function*, char>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function*, const char>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function*const, char>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function*const, const char>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Function*, char&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function*, const char&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function*const, char&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function*const, const char&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Function*, char*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function*, const char*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function*const, char*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Function*const, const char*>::value), "");
|
|
|
|
|
}
|
|
|
|
|
{
|
|
|
|
|
static_assert((!std::is_convertible<Array, void>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array, void>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Array, const void>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array, const void>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Array, Function>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array, Function>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Array, Function&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array, Function&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Array, Function*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Array, Function* const>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array, Function*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array, Function*const >::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Array, Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Array, const Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array, Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array, const Array>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Array, Array&>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<Array, const Array&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array, Array&>::value), "");
|
2011-01-28 21:00:37 +01:00
|
|
|
static_assert(( std::is_convertible<const Array, const Array&>::value), "");
|
2010-08-22 02:59:46 +02:00
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Array, char>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Array, const char>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array, char>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array, const char>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Array, char&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Array, const char&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array, char&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array, const char&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert(( std::is_convertible<Array, char*>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<Array, const char*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array, char*>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<const Array, const char*>::value), "");
|
|
|
|
|
}
|
|
|
|
|
{
|
|
|
|
|
static_assert((!std::is_convertible<Array&, void>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array&, void>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Array&, const void>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array&, const void>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Array&, Function>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array&, Function>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Array&, Function&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array&, Function&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Array&, Function*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Array&, Function* const>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array&, Function*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array&, Function*const >::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Array&, Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Array&, const Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array&, Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array&, const Array>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert(( std::is_convertible<Array&, Array&>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<Array&, const Array&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array&, Array&>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<const Array&, const Array&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Array&, char>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Array&, const char>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array&, char>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array&, const char>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<Array&, char&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<Array&, const char&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array&, char&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array&, const char&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert(( std::is_convertible<Array&, char*>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<Array&, const char*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const Array&, char*>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<const Array&, const char*>::value), "");
|
|
|
|
|
}
|
|
|
|
|
{
|
|
|
|
|
static_assert((!std::is_convertible<char, void>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char, void>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<char, const void>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char, const void>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<char, Function>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char, Function>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<char, Function&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char, Function&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<char, Function*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<char, Function* const>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char, Function*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char, Function*const >::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<char, Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<char, const Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char, Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char, const Array>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<char, Array&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<char, const Array&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char, Array&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char, const Array&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert(( std::is_convertible<char, char>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<char, const char>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<const char, char>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<const char, const char>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<char, char&>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<char, const char&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char, char&>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<const char, const char&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<char, char*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<char, const char*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char, char*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char, const char*>::value), "");
|
|
|
|
|
}
|
|
|
|
|
{
|
|
|
|
|
static_assert((!std::is_convertible<char&, void>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char&, void>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<char&, const void>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char&, const void>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<char&, Function>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char&, Function>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<char&, Function&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char&, Function&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<char&, Function*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<char&, Function* const>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char&, Function*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char&, Function*const >::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<char&, Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<char&, const Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char&, Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char&, const Array>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<char&, Array&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<char&, const Array&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char&, Array&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char&, const Array&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert(( std::is_convertible<char&, char>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<char&, const char>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<const char&, char>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<const char&, const char>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert(( std::is_convertible<char&, char&>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<char&, const char&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char&, char&>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<const char&, const char&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<char&, char*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<char&, const char*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char&, char*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char&, const char*>::value), "");
|
|
|
|
|
}
|
|
|
|
|
{
|
|
|
|
|
static_assert((!std::is_convertible<char*, void>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char*, void>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<char*, const void>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char*, const void>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<char*, Function>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char*, Function>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<char*, Function&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char*, Function&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<char*, Function*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<char*, Function* const>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char*, Function*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char*, Function*const >::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<char*, Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<char*, const Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char*, Array>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char*, const Array>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<char*, Array&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<char*, const Array&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char*, Array&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char*, const Array&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<char*, char>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<char*, const char>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char*, char>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char*, const char>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert((!std::is_convertible<char*, char&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<char*, const char&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char*, char&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char*, const char&>::value), "");
|
|
|
|
|
|
|
|
|
|
static_assert(( std::is_convertible<char*, char*>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<char*, const char*>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const char*, char*>::value), "");
|
|
|
|
|
static_assert(( std::is_convertible<const char*, const char*>::value), "");
|
|
|
|
|
}
|
Eliminate the C++0x-only is_convertible testing function that accepts
a cv-qualifier rvalue reference to the type, e.g.,
template <class _Tp> char __test(const volatile typename remove_reference<_Tp>::type&&);
The use of this function signature rather than the more
straightforward one used in C++98/03 mode, e.g.,
template <class _Tp> char __test(_Tp);
is broken in two ways:
1) An rvalue reference cannot bind to lvalues, so is_convertible<X&,
X&>::value would be false. This breaks two of the unique_ptr tests
on Clang and GCC >= 4.5. Prior GCC's seem to have allowed rvalue
references to bind to lvalues, allowing this bug to slip in.
2) By adding cv-qualifiers to the type we're converting to, we get
some incorrect "true" results for, e.g., is_convertible<const X&, X&>::value.
git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@124166 91177308-0d34-0410-b5e6-96231b3b80d8
2011-01-25 02:15:41 +01:00
|
|
|
{
|
|
|
|
|
static_assert((std::is_convertible<NonCopyable&, NonCopyable&>::value), "");
|
|
|
|
|
static_assert((std::is_convertible<NonCopyable&, const NonCopyable&>::value), "");
|
|
|
|
|
static_assert((std::is_convertible<NonCopyable&, const volatile NonCopyable&>::value), "");
|
|
|
|
|
static_assert((std::is_convertible<NonCopyable&, volatile NonCopyable&>::value), "");
|
|
|
|
|
static_assert((std::is_convertible<const NonCopyable&, const NonCopyable&>::value), "");
|
|
|
|
|
static_assert((std::is_convertible<const NonCopyable&, const volatile NonCopyable&>::value), "");
|
|
|
|
|
static_assert((std::is_convertible<volatile NonCopyable&, const volatile NonCopyable&>::value), "");
|
|
|
|
|
static_assert((std::is_convertible<const volatile NonCopyable&, const volatile NonCopyable&>::value), "");
|
|
|
|
|
static_assert((!std::is_convertible<const NonCopyable&, NonCopyable&>::value), "");
|
|
|
|
|
}
|
2010-08-22 02:59:46 +02:00
|
|
|
}
|
