projects / thirdparty / gcc.git / blame
| Commit | Line | Data |
|---|---|---|
| a5544970 | 1 | // Copyright (C) 2016-2019 Free Software Foundation, Inc. |
| 7dcc645c JW |
2 | // |
| 3 | // This file is part of the GNU ISO C++ Library. This library is free | |
| 4 | // software; you can redistribute it and/or modify it under the | |
| 5 | // terms of the GNU General Public License as published by the | |
| 6 | // Free Software Foundation; either version 3, or (at your option) | |
| 7 | // any later version. | |
| 8 | ||
| 9 | // This library is distributed in the hope that it will be useful, | |
| 10 | // but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| 11 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| 12 | // GNU General Public License for more details. | |
| 13 | ||
| 14 | // You should have received a copy of the GNU General Public License along | |
| 15 | // with this library; see the file COPYING3. If not see | |
| 16 | // <http://www.gnu.org/licenses/>. | |
| 17 | ||
| 18 | // { dg-options "-std=gnu++17" } | |
| 19 | // { dg-do compile } | |
| 20 | ||
| 21 | #include <type_traits> | |
| 22 | ||
| 23 | #ifndef IS_INVOCABLE_DEFINED | |
| 24 | template<typename... T> | |
| 25 | constexpr bool is_invocable() | |
| 26 | { | |
| 27 | constexpr bool result = std::is_invocable_v<T...>; | |
| 28 | static_assert(std::is_invocable<T...>::value == result); | |
| 29 | return result; | |
| 30 | } | |
| 31 | ||
| 32 | template<typename R, typename... T> | |
| 33 | constexpr bool is_invocable_r() | |
| 34 | { | |
| 35 | constexpr bool result = std::is_invocable_r_v<R, T...>; | |
| 36 | static_assert(std::is_invocable_r<R, T...>::value == result); | |
| 37 | return result; | |
| 38 | } | |
| 39 | #endif | |
| 40 | ||
| 41 | void test01() | |
| 42 | { | |
| 43 | using func_type_v0 = void(*)(); | |
| 44 | ||
| 45 | static_assert( is_invocable< func_type_v0 >(), ""); | |
| 46 | static_assert( is_invocable_r<void, func_type_v0 >(), ""); | |
| 47 | static_assert( ! is_invocable_r<void*, func_type_v0 >(), ""); | |
| 48 | static_assert( ! is_invocable_r<int, func_type_v0 >(), ""); | |
| 49 | ||
| 50 | static_assert( ! is_invocable< func_type_v0, int >(), ""); | |
| 51 | static_assert( ! is_invocable_r< void, func_type_v0, int >(), ""); | |
| 52 | static_assert( ! is_invocable_r< void*, func_type_v0, int >(), ""); | |
| 53 | static_assert( ! is_invocable_r< int, func_type_v0, int >(), ""); | |
| 54 | ||
| 55 | using func_type_i0 = int(*)(); | |
| 56 | ||
| 57 | static_assert( is_invocable< func_type_i0 >(), ""); | |
| 58 | static_assert( is_invocable_r<void, func_type_i0 >(), ""); | |
| 59 | static_assert( is_invocable_r<int, func_type_i0 >(), ""); | |
| 60 | static_assert( ! is_invocable_r<int&, func_type_i0 >(), ""); | |
| 61 | static_assert( is_invocable_r<long, func_type_i0 >(), ""); | |
| 62 | ||
| 63 | static_assert( ! is_invocable< func_type_i0, int >(), ""); | |
| 64 | static_assert( ! is_invocable_r< void, func_type_i0, int >(), ""); | |
| 65 | static_assert( ! is_invocable_r< int, func_type_i0, int >(), ""); | |
| 66 | static_assert( ! is_invocable_r< int&, func_type_i0, int >(), ""); | |
| 67 | static_assert( ! is_invocable_r< long, func_type_i0, int >(), ""); | |
| 68 | ||
| 69 | using func_type_l0 = int&(*)(); | |
| 70 | ||
| 71 | static_assert( is_invocable< func_type_l0 >(), ""); | |
| 72 | static_assert( is_invocable_r< void, func_type_l0 >(), ""); | |
| 73 | static_assert( is_invocable_r< int, func_type_l0 >(), ""); | |
| 74 | static_assert( is_invocable_r< int&, func_type_l0 >(), ""); | |
| 75 | static_assert( ! is_invocable_r< int&&, func_type_l0 >(), ""); | |
| 76 | static_assert( is_invocable_r< long, func_type_l0 >(), ""); | |
| 77 | static_assert( ! is_invocable_r< long&, func_type_l0 >(), ""); | |
| 78 | ||
| 79 | static_assert( ! is_invocable< func_type_l0(int) >(), ""); | |
| 80 | static_assert( ! is_invocable_r< void, func_type_l0, int >(), ""); | |
| 81 | static_assert( ! is_invocable_r< int, func_type_l0, int >(), ""); | |
| 82 | static_assert( ! is_invocable_r< int&, func_type_l0, int >(), ""); | |
| 83 | static_assert( ! is_invocable_r< long, func_type_l0, int >(), ""); | |
| 84 | ||
| 85 | using func_type_ii = int(*)(int); | |
| 86 | ||
| 87 | static_assert( ! is_invocable< func_type_ii >(), ""); | |
| 88 | static_assert( ! is_invocable_r< int, func_type_ii >(), ""); | |
| 89 | static_assert( ! is_invocable_r< int&, func_type_ii >(), ""); | |
| 90 | static_assert( ! is_invocable_r< long, func_type_ii >(), ""); | |
| 91 | ||
| 92 | static_assert( is_invocable< func_type_ii, int >(), ""); | |
| 93 | static_assert( is_invocable_r< int, func_type_ii, int >(), ""); | |
| 94 | static_assert( ! is_invocable_r< int&, func_type_ii, int >(), ""); | |
| 95 | static_assert( is_invocable_r< long, func_type_ii, int >(), ""); | |
| 96 | ||
| 97 | using func_type_il = int(*)(int&); | |
| 98 | ||
| 99 | static_assert( ! is_invocable< func_type_il >(), ""); | |
| 100 | ||
| 101 | static_assert( ! is_invocable< func_type_il, int >(), ""); | |
| 102 | static_assert( ! is_invocable_r< int, func_type_il, int >(), ""); | |
| 103 | static_assert( ! is_invocable_r< int&, func_type_il, int >(), ""); | |
| 104 | static_assert( ! is_invocable_r< long, func_type_il, int >(), ""); | |
| 105 | ||
| 106 | static_assert( is_invocable< func_type_il, int& >(), ""); | |
| 107 | static_assert( is_invocable_r< int, func_type_il, int& >(), ""); | |
| 108 | static_assert( ! is_invocable_r< int&, func_type_il, int& >(), ""); | |
| 109 | static_assert( is_invocable_r< long, func_type_il, int& >(), ""); | |
| 110 | ||
| 111 | using func_type_ir = int(*)(int&&); | |
| 112 | ||
| 113 | static_assert( ! is_invocable< func_type_ir >(), ""); | |
| 114 | ||
| 115 | static_assert( is_invocable< func_type_ir, int >(), ""); | |
| 116 | static_assert( is_invocable_r< int, func_type_ir, int >(), ""); | |
| 117 | static_assert( ! is_invocable_r< int&, func_type_ir, int >(), ""); | |
| 118 | static_assert( is_invocable_r< long, func_type_ir, int >(), ""); | |
| 119 | ||
| 120 | static_assert( ! is_invocable< func_type_ir, int& >(), ""); | |
| 121 | static_assert( ! is_invocable_r< int, func_type_ir, int& >(), ""); | |
| 122 | static_assert( ! is_invocable_r< int&, func_type_ir, int& >(), ""); | |
| 123 | static_assert( ! is_invocable_r< long, func_type_ir, int& >(), ""); | |
| 124 | ||
| 125 | struct X { }; | |
| 126 | ||
| 127 | using mem_type_i = int X::*; | |
| 128 | ||
| 129 | static_assert( ! is_invocable< mem_type_i >(), ""); | |
| 130 | ||
| 131 | static_assert( ! is_invocable< mem_type_i, int >(), ""); | |
| 132 | static_assert( ! is_invocable_r< int, mem_type_i, int >(), ""); | |
| 133 | static_assert( ! is_invocable_r< int&, mem_type_i, int >(), ""); | |
| 134 | static_assert( ! is_invocable_r< long, mem_type_i, int >(), ""); | |
| 135 | ||
| 136 | static_assert( ! is_invocable< mem_type_i, int& >(), ""); | |
| 137 | static_assert( ! is_invocable_r< int, mem_type_i, int& >(), ""); | |
| 138 | static_assert( ! is_invocable_r< int&, mem_type_i, int& >(), ""); | |
| 139 | static_assert( ! is_invocable_r< long, mem_type_i, int& >(), ""); | |
| 140 | ||
| 141 | static_assert( is_invocable< mem_type_i, X& >(), ""); | |
| 142 | static_assert( is_invocable_r< int, mem_type_i, X& >(), ""); | |
| 143 | static_assert( is_invocable_r< int&, mem_type_i, X& >(), ""); | |
| 144 | static_assert( is_invocable_r< long, mem_type_i, X& >(), ""); | |
| 145 | ||
| 146 | using memfun_type_i = int (X::*)(); | |
| 147 | ||
| 148 | static_assert( ! is_invocable< memfun_type_i >(), ""); | |
| 149 | ||
| 150 | static_assert( ! is_invocable< memfun_type_i, int >(), ""); | |
| 151 | ||
| 152 | static_assert( ! is_invocable< memfun_type_i, int& >(), ""); | |
| 153 | ||
| 154 | static_assert( is_invocable< memfun_type_i, X& >(), ""); | |
| 155 | static_assert( is_invocable_r< int, memfun_type_i, X& >(), ""); | |
| 156 | static_assert( ! is_invocable_r< int&, memfun_type_i, X& >(), ""); | |
| 157 | static_assert( is_invocable_r< long, memfun_type_i, X& >(), ""); | |
| 158 | static_assert( is_invocable< memfun_type_i, X* >(), ""); | |
| 159 | ||
| 160 | static_assert( ! is_invocable< memfun_type_i, const X& >(), ""); | |
| 161 | static_assert( ! is_invocable_r< int, memfun_type_i, const X& >(), ""); | |
| 162 | static_assert( ! is_invocable< memfun_type_i, X&, int >(), ""); | |
| 163 | ||
| 164 | using memfun_type_iic = int& (X::*)(int&) const; | |
| 165 | ||
| 166 | static_assert( ! is_invocable< memfun_type_iic >(), ""); | |
| 167 | static_assert( ! is_invocable< memfun_type_iic, int >(), ""); | |
| 168 | static_assert( ! is_invocable< memfun_type_iic, int& >(), ""); | |
| 169 | static_assert( ! is_invocable< memfun_type_iic, X&, int >(), ""); | |
| 170 | static_assert( ! is_invocable< memfun_type_iic, const X&, int >(), ""); | |
| 171 | static_assert( ! is_invocable< memfun_type_iic, const X&, int&, int >(), ""); | |
| 172 | ||
| 173 | static_assert( is_invocable< memfun_type_iic, const X&, int& >(), ""); | |
| 174 | static_assert( is_invocable_r< int, memfun_type_iic, const X&, int& >(), ""); | |
| 175 | static_assert( is_invocable_r< int&, memfun_type_iic, const X&, int& >(), ""); | |
| 176 | static_assert( is_invocable_r< long, memfun_type_iic, const X&, int& >(), ""); | |
| 177 | static_assert( ! is_invocable_r< long&, memfun_type_iic, const X&, int& >(),""); | |
| 178 | static_assert( is_invocable< memfun_type_iic, const X*, int& >(), ""); | |
| 179 | ||
| 180 | struct F { | |
| 181 | int& operator()(); | |
| 182 | long& operator()() const; | |
| 183 | short& operator()(int) &&; | |
| 184 | char& operator()(int) const&; | |
| 185 | private: | |
| 186 | void operator()(int, int); | |
| 187 | }; | |
| 188 | using CF = const F; | |
| 189 | ||
| 190 | static_assert( is_invocable_r< int&, F >(), ""); | |
| 191 | static_assert( is_invocable_r< int&, F& >(), ""); | |
| 192 | static_assert( is_invocable_r< long&, CF >(), ""); | |
| 193 | static_assert( is_invocable_r< long&, CF& >(), ""); | |
| 194 | static_assert( is_invocable_r< short&, F, int >(), ""); | |
| 195 | static_assert( is_invocable_r< char&, F&, int >(), ""); | |
| 196 | static_assert( is_invocable_r< char&, CF, int >(), ""); | |
| 197 | static_assert( is_invocable_r< char&, CF&, int >(), ""); | |
| 198 | ||
| 199 | static_assert( ! is_invocable< F, int, int >(), ""); | |
| 200 | } |