1//
2// cpp11/can_require_static.cpp
3// ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
4//
5// Copyright (c) 2003-2024 Christopher M. Kohlhoff (chris at kohlhoff dot com)
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/require.hpp>
12#include <cassert>
13
14template <int>
15struct prop
16{
17 static constexpr bool is_requirable = true;
18};
19
20template <int>
21struct object
22{
23};
24
25namespace boost {
26namespace asio {
27
28template<int N, int M>
29struct is_applicable_property<object<N>, prop<M> >
30{
31 static constexpr bool value = true;
32};
33
34namespace traits {
35
36template<int N>
37struct static_require<object<N>, prop<N> >
38{
39 static constexpr bool is_valid = true;
40};
41
42} // namespace traits
43} // namespace asio
44} // namespace boost
45
46int main()
47{
48 static_assert(boost::asio::can_require<object<1>, prop<1>>::value, "");
49 static_assert(boost::asio::can_require<object<1>, prop<1>, prop<1>>::value, "");
50 static_assert(boost::asio::can_require<object<1>, prop<1>, prop<1>, prop<1>>::value, "");
51 static_assert(boost::asio::can_require<const object<1>, prop<1>>::value, "");
52 static_assert(boost::asio::can_require<const object<1>, prop<1>, prop<1>>::value, "");
53 static_assert(boost::asio::can_require<const object<1>, prop<1>, prop<1>, prop<1>>::value, "");
54}
55

source code of boost/libs/asio/test/properties/cpp11/can_require_static.cpp