ceph/src/boost/libs/asio/test/properties/cpp11/require_static.cpp

   1 //
   2 // cpp11/require_static.cpp
   3 // ~~~~~~~~~~~~~~~~~~~~~~~~
   4 //
   5 // Copyright (c) 2003-2022 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
  14 template <int>
  15 struct prop
  16 {
  17   static constexpr bool is_requirable = true;
  18 };
  19
  20 template <int>
  21 struct object
  22 {
  23 };
  24
  25 namespace boost {
  26 namespace asio {
  27
  28 template<int N, int M>
  29 struct is_applicable_property<object<N>, prop<M> >
  30 {
  31   static constexpr bool value = true;
  32 };
  33
  34 namespace traits {
  35
  36 template<int N>
  37 struct 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
  46 int main()
  47 {
  48   object<1> o1 = {};
  49   object<1> o2 = boost::asio::require(o1, prop<1>());
  50   object<1> o3 = boost::asio::require(o1, prop<1>(), prop<1>());
  51   object<1> o4 = boost::asio::require(o1, prop<1>(), prop<1>(), prop<1>());
  52   (void)o2;
  53   (void)o3;
  54   (void)o4;
  55
  56   const object<1> o5 = {};
  57   object<1> o6 = boost::asio::require(o5, prop<1>());
  58   object<1> o7 = boost::asio::require(o5, prop<1>(), prop<1>());
  59   object<1> o8 = boost::asio::require(o5, prop<1>(), prop<1>(), prop<1>());
  60   (void)o6;
  61   (void)o7;
  62   (void)o8;
  63
  64   constexpr object<1> o9 = boost::asio::require(object<1>(), prop<1>());
  65   constexpr object<1> o10 = boost::asio::require(object<1>(), prop<1>(), prop<1>());
  66   constexpr object<1> o11 = boost::asio::require(object<1>(), prop<1>(), prop<1>(), prop<1>());
  67   (void)o9;
  68   (void)o10;
  69   (void)o11;
  70 }