]>
git.proxmox.com Git - ceph.git/blob - ceph/src/boost/libs/asio/test/properties/cpp03/require_concept_free.cpp
2 // cpp03/require_concept_free.cpp
3 // ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
5 // Copyright (c) 2003-2022 Christopher M. Kohlhoff (chris at kohlhoff dot com)
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)
11 #include <boost/asio/require_concept.hpp>
17 static const bool is_requirable_concept
= true;
24 friend object
<N
> require_concept(const object
&, prop
<N
>)
33 template<int N
, int M
>
34 struct is_applicable_property
<object
<N
>, prop
<M
> >
36 static const bool value
= true;
41 template<int N
, int M
>
42 struct require_concept_free
<object
<N
>, prop
<M
> >
44 static const bool is_valid
= true;
45 static const bool is_noexcept
= true;
46 typedef object
<M
> result_type
;
56 object
<2> o2
= boost::asio::require_concept(o1
, prop
<2>());
59 const object
<1> o3
= {};
60 object
<2> o4
= boost::asio::require_concept(o3
, prop
<2>());