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, local_shared_ptr, U ) \ |
73 | TEST_CV_TRUE_( shared_ptr, T, local_shared_ptr, U ) |
74 | |
75 | #define TEST_CV_FALSE( T, U ) \ |
76 | TEST_CV_FALSE_( local_shared_ptr, T, local_shared_ptr, U ) \ |
77 | TEST_CV_FALSE_( shared_ptr, T, local_shared_ptr, U ) |
78 | |
79 | int main() |
80 | { |
81 | #if !defined( BOOST_SP_NO_SP_CONVERTIBLE ) |
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 | } |
109 | |