diff options
Diffstat (limited to 'test/std/utilities/meta/meta.rel/is_convertible.pass.cpp')
-rw-r--r-- | test/std/utilities/meta/meta.rel/is_convertible.pass.cpp | 195 |
1 files changed, 195 insertions, 0 deletions
diff --git a/test/std/utilities/meta/meta.rel/is_convertible.pass.cpp b/test/std/utilities/meta/meta.rel/is_convertible.pass.cpp new file mode 100644 index 000000000000..429fb33037ff --- /dev/null +++ b/test/std/utilities/meta/meta.rel/is_convertible.pass.cpp @@ -0,0 +1,195 @@ +//===----------------------------------------------------------------------===// +// +// The LLVM Compiler Infrastructure +// +// This file is dual licensed under the MIT and the University of Illinois Open +// Source Licenses. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// + +// type_traits + +// is_convertible + +#include <type_traits> + +template <class T, class U> +void test_is_convertible() +{ + static_assert((std::is_convertible<T, U>::value), ""); + static_assert((std::is_convertible<const T, U>::value), ""); + static_assert((std::is_convertible<T, const U>::value), ""); + static_assert((std::is_convertible<const T, const U>::value), ""); +} + +template <class T, class U> +void test_is_not_convertible() +{ + static_assert((!std::is_convertible<T, U>::value), ""); + static_assert((!std::is_convertible<const T, U>::value), ""); + static_assert((!std::is_convertible<T, const U>::value), ""); + static_assert((!std::is_convertible<const T, const U>::value), ""); +} + +typedef void Function(); +typedef char Array[1]; + +class NonCopyable { + NonCopyable(NonCopyable&); +}; + +int main() +{ + // void + test_is_convertible<void,void> (); + test_is_not_convertible<void,Function> (); + test_is_not_convertible<void,Function&> (); + test_is_not_convertible<void,Function*> (); + test_is_not_convertible<void,Array> (); + test_is_not_convertible<void,Array&> (); + test_is_not_convertible<void,char> (); + test_is_not_convertible<void,char&> (); + test_is_not_convertible<void,char*> (); + + // Function + test_is_not_convertible<Function, void> (); + test_is_not_convertible<Function, Function> (); + test_is_convertible<Function, Function&> (); + test_is_convertible<Function, Function*> (); + test_is_not_convertible<Function, Array> (); + test_is_not_convertible<Function, Array&> (); + test_is_not_convertible<Function, char> (); + test_is_not_convertible<Function, char&> (); + test_is_not_convertible<Function, char*> (); + + // Function& + test_is_not_convertible<Function&, void> (); + test_is_not_convertible<Function&, Function> (); + test_is_convertible<Function&, Function&> (); + + test_is_convertible<Function&, Function*> (); + test_is_not_convertible<Function&, Array> (); + test_is_not_convertible<Function&, Array&> (); + test_is_not_convertible<Function&, char> (); + test_is_not_convertible<Function&, char&> (); + test_is_not_convertible<Function&, char*> (); + + // Function* + test_is_not_convertible<Function*, void> (); + test_is_not_convertible<Function*, Function> (); + test_is_not_convertible<Function*, Function&> (); + test_is_convertible<Function*, Function*> (); + + test_is_not_convertible<Function*, Array> (); + test_is_not_convertible<Function*, Array&> (); + test_is_not_convertible<Function*, char> (); + test_is_not_convertible<Function*, char&> (); + test_is_not_convertible<Function*, char*> (); + + // Array + test_is_not_convertible<Array, void> (); + test_is_not_convertible<Array, Function> (); + test_is_not_convertible<Array, Function&> (); + test_is_not_convertible<Array, Function*> (); + test_is_not_convertible<Array, Array> (); + + 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), ""); + + test_is_not_convertible<Array, char> (); + test_is_not_convertible<Array, char&> (); + + 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), ""); + + // Array& + test_is_not_convertible<Array&, void> (); + test_is_not_convertible<Array&, Function> (); + test_is_not_convertible<Array&, Function&> (); + test_is_not_convertible<Array&, Function*> (); + test_is_not_convertible<Array&, Array> (); + + 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), ""); + + test_is_not_convertible<Array&, char> (); + test_is_not_convertible<Array&, char&> (); + + 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), ""); + + // char + test_is_not_convertible<char, void> (); + test_is_not_convertible<char, Function> (); + test_is_not_convertible<char, Function&> (); + test_is_not_convertible<char, Function*> (); + test_is_not_convertible<char, Array> (); + test_is_not_convertible<char, Array&> (); + + test_is_convertible<char, char> (); + + 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), ""); + + test_is_not_convertible<char, char*> (); + + // char& + test_is_not_convertible<char&, void> (); + test_is_not_convertible<char&, Function> (); + test_is_not_convertible<char&, Function&> (); + test_is_not_convertible<char&, Function*> (); + test_is_not_convertible<char&, Array> (); + test_is_not_convertible<char&, Array&> (); + + test_is_convertible<char&, char> (); + + 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), ""); + + test_is_not_convertible<char&, char*> (); + + // char* + test_is_not_convertible<char*, void> (); + test_is_not_convertible<char*, Function> (); + test_is_not_convertible<char*, Function&> (); + test_is_not_convertible<char*, Function*> (); + test_is_not_convertible<char*, Array> (); + test_is_not_convertible<char*, Array&> (); + + test_is_not_convertible<char*, char> (); + test_is_not_convertible<char*, char&> (); + + 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), ""); + + // NonCopyable + 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), ""); +// This test requires Access control SFINAE which we only have in C++11 or when +// we are using the compiler builtin for is_convertible. +#if __cplusplus >= 201103L || !defined(_LIBCPP_USE_IS_CONVERTIBLE_FALLBACK) + test_is_not_convertible<NonCopyable&, NonCopyable>(); +#endif + +} |