]>
Commit | Line | Data |
---|---|---|
b32b8144 FG |
1 | #include <boost/config.hpp> |
2 | ||
3 | // lsp_convertible_test.cpp | |
4 | // | |
5 | // Copyright 2012, 2017 Peter Dimov | |
6 | // | |
7 | // Distributed under the Boost Software License, Version 1.0. | |
8 | // See accompanying file LICENSE_1_0.txt or copy at | |
9 | // http://www.boost.org/LICENSE_1_0.txt | |
10 | ||
11 | #include <boost/smart_ptr/local_shared_ptr.hpp> | |
12 | #include <boost/shared_ptr.hpp> | |
13 | #include <boost/weak_ptr.hpp> | |
14 | #include <boost/core/lightweight_test.hpp> | |
15 | #include <boost/type_traits/is_convertible.hpp> | |
16 | ||
17 | // | |
18 | ||
19 | class X; | |
20 | ||
21 | class B | |
22 | { | |
23 | }; | |
24 | ||
25 | class D: public B | |
26 | { | |
27 | }; | |
28 | ||
29 | using boost::is_convertible; | |
30 | ||
31 | #define TEST_CV_TRUE_( S1, T, S2, U ) \ | |
32 | BOOST_TEST(( is_convertible< S1<T>, S2<U> >::value == true )); \ | |
33 | BOOST_TEST(( is_convertible< S1<T>, S2<const U> >::value == true )); \ | |
34 | BOOST_TEST(( is_convertible< S1<T>, S2<volatile U> >::value == true )); \ | |
35 | BOOST_TEST(( is_convertible< S1<T>, S2<const volatile U> >::value == true )); \ | |
36 | BOOST_TEST(( is_convertible< S1<const T>, S2<U> >::value == false )); \ | |
37 | BOOST_TEST(( is_convertible< S1<const T>, S2<const U> >::value == true )); \ | |
38 | BOOST_TEST(( is_convertible< S1<const T>, S2<volatile U> >::value == false )); \ | |
39 | BOOST_TEST(( is_convertible< S1<const T>, S2<const volatile U> >::value == true )); \ | |
40 | BOOST_TEST(( is_convertible< S1<volatile T>, S2<U> >::value == false )); \ | |
41 | BOOST_TEST(( is_convertible< S1<volatile T>, S2<const U> >::value == false )); \ | |
42 | BOOST_TEST(( is_convertible< S1<volatile T>, S2<volatile U> >::value == true )); \ | |
43 | BOOST_TEST(( is_convertible< S1<volatile T>, S2<const volatile U> >::value == true )); \ | |
44 | BOOST_TEST(( is_convertible< S1<const volatile T>, S2<U> >::value == false )); \ | |
45 | BOOST_TEST(( is_convertible< S1<const volatile T>, S2<const U> >::value == false )); \ | |
46 | BOOST_TEST(( is_convertible< S1<const volatile T>, S2<volatile U> >::value == false )); \ | |
47 | BOOST_TEST(( is_convertible< S1<const volatile T>, S2<const volatile U> >::value == true )); | |
48 | ||
49 | #define TEST_CV_FALSE_( S1, T, S2, U ) \ | |
50 | BOOST_TEST(( is_convertible< S1<T>, S2<U> >::value == false )); \ | |
51 | BOOST_TEST(( is_convertible< S1<T>, S2<const U> >::value == false )); \ | |
52 | BOOST_TEST(( is_convertible< S1<T>, S2<volatile U> >::value == false )); \ | |
53 | BOOST_TEST(( is_convertible< S1<T>, S2<const volatile U> >::value == false )); \ | |
54 | BOOST_TEST(( is_convertible< S1<const T>, S2<U> >::value == false )); \ | |
55 | BOOST_TEST(( is_convertible< S1<const T>, S2<const U> >::value == false )); \ | |
56 | BOOST_TEST(( is_convertible< S1<const T>, S2<volatile U> >::value == false )); \ | |
57 | BOOST_TEST(( is_convertible< S1<const T>, S2<const volatile U> >::value == false )); \ | |
58 | BOOST_TEST(( is_convertible< S1<volatile T>, S2<U> >::value == false )); \ | |
59 | BOOST_TEST(( is_convertible< S1<volatile T>, S2<const U> >::value == false )); \ | |
60 | BOOST_TEST(( is_convertible< S1<volatile T>, S2<volatile U> >::value == false )); \ | |
61 | BOOST_TEST(( is_convertible< S1<volatile T>, S2<const volatile U> >::value == false )); \ | |
62 | BOOST_TEST(( is_convertible< S1<const volatile T>, S2<U> >::value == false )); \ | |
63 | BOOST_TEST(( is_convertible< S1<const volatile T>, S2<const U> >::value == false )); \ | |
64 | BOOST_TEST(( is_convertible< S1<const volatile T>, S2<volatile U> >::value == false )); \ | |
65 | BOOST_TEST(( is_convertible< S1<const volatile T>, S2<const volatile U> >::value == false )); | |
66 | ||
67 | using boost::local_shared_ptr; | |
68 | using boost::shared_ptr; | |
69 | using boost::weak_ptr; | |
70 | ||
71 | #define TEST_CV_TRUE( T, U ) \ | |
72 | TEST_CV_TRUE_( local_shared_ptr, T, shared_ptr, U ) \ | |
73 | TEST_CV_TRUE_( local_shared_ptr, T, weak_ptr, U ) | |
74 | ||
75 | #define TEST_CV_FALSE( T, U ) \ | |
76 | TEST_CV_FALSE_( local_shared_ptr, T, shared_ptr, U ) \ | |
77 | TEST_CV_FALSE_( local_shared_ptr, T, weak_ptr, U ) | |
78 | ||
79 | int main() | |
80 | { | |
81 | #if !defined( BOOST_SP_NO_SP_CONVERTIBLE ) && !defined(BOOST_NO_CXX11_FUNCTION_TEMPLATE_DEFAULT_ARGS) | |
82 | ||
83 | TEST_CV_TRUE( X, X ) | |
84 | TEST_CV_TRUE( X, void ) | |
85 | TEST_CV_FALSE( void, X ) | |
86 | TEST_CV_TRUE( D, B ) | |
87 | TEST_CV_FALSE( B, D ) | |
88 | ||
89 | TEST_CV_TRUE( X[], X[] ) | |
90 | TEST_CV_FALSE( D[], B[] ) | |
91 | ||
92 | TEST_CV_TRUE( X[3], X[3] ) | |
93 | TEST_CV_FALSE( X[3], X[4] ) | |
94 | TEST_CV_FALSE( D[3], B[3] ) | |
95 | ||
96 | TEST_CV_TRUE( X[3], X[] ) | |
97 | TEST_CV_FALSE( X[], X[3] ) | |
98 | ||
99 | TEST_CV_TRUE( X[], void ) | |
100 | TEST_CV_FALSE( void, X[] ) | |
101 | ||
102 | TEST_CV_TRUE( X[3], void ) | |
103 | TEST_CV_FALSE( void, X[3] ) | |
104 | ||
105 | #endif | |
106 | ||
107 | return boost::report_errors(); | |
108 | } |