]>
Commit | Line | Data |
---|---|---|
20effc67 TL |
1 | // |
2 | // cpp14/can_prefer_not_applicable_static.cpp | |
3 | // ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ | |
4 | // | |
1e59de90 | 5 | // Copyright (c) 2003-2022 Christopher M. Kohlhoff (chris at kohlhoff dot com) |
20effc67 TL |
6 | // |
7 | // Distributed under the Boost Software License, Version 1.0. (See accompanying | |
8 | // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) | |
9 | // | |
10 | ||
11 | #include <boost/asio/prefer.hpp> | |
12 | #include <cassert> | |
13 | ||
14 | template <int> | |
15 | struct prop | |
16 | { | |
17 | static constexpr bool is_preferable = true; | |
18 | template <typename> static constexpr bool static_query_v = true; | |
19 | static constexpr bool value() { return true; } | |
20 | }; | |
21 | ||
22 | template <int> | |
23 | struct object | |
24 | { | |
25 | }; | |
26 | ||
27 | int main() | |
28 | { | |
29 | static_assert(!boost::asio::can_prefer_v<object<1>, prop<1>>, ""); | |
30 | static_assert(!boost::asio::can_prefer_v<object<1>, prop<1>, prop<1>>, ""); | |
31 | static_assert(!boost::asio::can_prefer_v<object<1>, prop<1>, prop<1>, prop<1>>, ""); | |
32 | static_assert(!boost::asio::can_prefer_v<const object<1>, prop<1>>, ""); | |
33 | static_assert(!boost::asio::can_prefer_v<const object<1>, prop<1>, prop<1>>, ""); | |
34 | static_assert(!boost::asio::can_prefer_v<const object<1>, prop<1>, prop<1>, prop<1>>, ""); | |
35 | } |