ceph/src/boost/libs/callable_traits/test/remove_varargs.cpp

   1 /*
   2 Copyright Barrett Adair 2016-2017
   3 Distributed under the Boost Software License, Version 1.0.
   4 (See accompanying file LICENSE.md or copy at http ://boost.org/LICENSE_1_0.txt)
   5 */
   6
   7 #include <type_traits>
   8 #include <functional>
   9 #include <tuple>
  10 #include <boost/callable_traits/remove_varargs.hpp>
  11 #include "test.hpp"
  12
  13
  14
  15 struct foo {};
  16
  17 int main() {
  18
  19     {
  20         using f      = void(foo::*)();
  21         using l      = void(foo::*)() LREF;
  22         using r      = void(foo::*)() RREF ;
  23         using c      = void(foo::*)() const;
  24         using cl     = void(foo::*)() const LREF;
  25         using cr     = void(foo::*)() const RREF;
  26         using v      = void(foo::*)() volatile;
  27         using vl     = void(foo::*)() volatile LREF;
  28         using vr     = void(foo::*)() volatile RREF;
  29         using cv     = void(foo::*)() const volatile;
  30         using cvl    = void(foo::*)() const volatile LREF;
  31         using cvr    = void(foo::*)() const volatile RREF;
  32
  33         using va_f   = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...);
  34         using va_l   = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) LREF;
  35         using va_r   = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) RREF ;
  36         using va_c   = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) const;
  37         using va_cl  = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) const LREF;
  38         using va_cr  = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) const RREF;
  39         using va_v   = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) volatile;
  40         using va_vl  = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) volatile LREF;
  41         using va_vr  = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) volatile RREF;
  42         using va_cv  = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) const volatile;
  43         using va_cvl = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) const volatile LREF;
  44         using va_cvr = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) const volatile RREF;
  45
  46         CT_ASSERT(std::is_same<f,    TRAIT(remove_varargs, va_f)>{});
  47         CT_ASSERT(std::is_same<l,    TRAIT(remove_varargs, va_l)>{});
  48         CT_ASSERT(std::is_same<r,    TRAIT(remove_varargs, va_r)>{});
  49         CT_ASSERT(std::is_same<c,    TRAIT(remove_varargs, va_c)>{});
  50         CT_ASSERT(std::is_same<cl,   TRAIT(remove_varargs, va_cl)>{});
  51         CT_ASSERT(std::is_same<cr,   TRAIT(remove_varargs, va_cr)>{});
  52         CT_ASSERT(std::is_same<v,    TRAIT(remove_varargs, va_v)>{});
  53         CT_ASSERT(std::is_same<vl,   TRAIT(remove_varargs, va_vl)>{});
  54         CT_ASSERT(std::is_same<vr,   TRAIT(remove_varargs, va_vr)>{});
  55         CT_ASSERT(std::is_same<cv,   TRAIT(remove_varargs, va_cv)>{});
  56         CT_ASSERT(std::is_same<cvl,  TRAIT(remove_varargs, va_cvl)>{});
  57         CT_ASSERT(std::is_same<cvr,  TRAIT(remove_varargs, va_cvr)>{});
  58
  59         CT_ASSERT(std::is_same<f,    TRAIT(remove_varargs, f)>{});
  60         CT_ASSERT(std::is_same<l,    TRAIT(remove_varargs, l)>{});
  61         CT_ASSERT(std::is_same<r,    TRAIT(remove_varargs, r)>{});
  62         CT_ASSERT(std::is_same<c,    TRAIT(remove_varargs, c)>{});
  63         CT_ASSERT(std::is_same<cl,   TRAIT(remove_varargs, cl)>{});
  64         CT_ASSERT(std::is_same<cr,   TRAIT(remove_varargs, cr)>{});
  65         CT_ASSERT(std::is_same<v,    TRAIT(remove_varargs, v)>{});
  66         CT_ASSERT(std::is_same<vl,   TRAIT(remove_varargs, vl)>{});
  67         CT_ASSERT(std::is_same<vr,   TRAIT(remove_varargs, vr)>{});
  68         CT_ASSERT(std::is_same<cv,   TRAIT(remove_varargs, cv)>{});
  69         CT_ASSERT(std::is_same<cvl,  TRAIT(remove_varargs, cvl)>{});
  70         CT_ASSERT(std::is_same<cvr,  TRAIT(remove_varargs, cvr)>{});
  71     }
  72
  73     {
  74         using f      = void(foo::*)(int&, int&&);
  75         using l      = void(foo::*)(int&, int&&) LREF;
  76         using r      = void(foo::*)(int&, int&&) RREF ;
  77         using c      = void(foo::*)(int&, int&&) const;
  78         using cl     = void(foo::*)(int&, int&&) const LREF;
  79         using cr     = void(foo::*)(int&, int&&) const RREF;
  80         using v      = void(foo::*)(int&, int&&) volatile;
  81         using vl     = void(foo::*)(int&, int&&) volatile LREF;
  82         using vr     = void(foo::*)(int&, int&&) volatile RREF;
  83         using cv     = void(foo::*)(int&, int&&) const volatile;
  84         using cvl    = void(foo::*)(int&, int&&) const volatile LREF;
  85         using cvr    = void(foo::*)(int&, int&&) const volatile RREF;
  86
  87         using va_f   = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...);
  88         using va_l   = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) LREF;
  89         using va_r   = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) RREF ;
  90         using va_c   = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) const;
  91         using va_cl  = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) const LREF;
  92         using va_cr  = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) const RREF;
  93         using va_v   = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) volatile;
  94         using va_vl  = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) volatile LREF;
  95         using va_vr  = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) volatile RREF;
  96         using va_cv  = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) const volatile;
  97         using va_cvl = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) const volatile LREF;
  98         using va_cvr = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) const volatile RREF;
  99
 100         CT_ASSERT(std::is_same<f,    TRAIT(remove_varargs, va_f)>{});
 101         CT_ASSERT(std::is_same<l,    TRAIT(remove_varargs, va_l)>{});
 102         CT_ASSERT(std::is_same<r,    TRAIT(remove_varargs, va_r)>{});
 103         CT_ASSERT(std::is_same<c,    TRAIT(remove_varargs, va_c)>{});
 104         CT_ASSERT(std::is_same<cl,   TRAIT(remove_varargs, va_cl)>{});
 105         CT_ASSERT(std::is_same<cr,   TRAIT(remove_varargs, va_cr)>{});
 106         CT_ASSERT(std::is_same<v,    TRAIT(remove_varargs, va_v)>{});
 107         CT_ASSERT(std::is_same<vl,   TRAIT(remove_varargs, va_vl)>{});
 108         CT_ASSERT(std::is_same<vr,   TRAIT(remove_varargs, va_vr)>{});
 109         CT_ASSERT(std::is_same<cv,   TRAIT(remove_varargs, va_cv)>{});
 110         CT_ASSERT(std::is_same<cvl,  TRAIT(remove_varargs, va_cvl)>{});
 111         CT_ASSERT(std::is_same<cvr,  TRAIT(remove_varargs, va_cvr)>{});
 112
 113         CT_ASSERT(std::is_same<f,    TRAIT(remove_varargs, f)>{});
 114         CT_ASSERT(std::is_same<l,    TRAIT(remove_varargs, l)>{});
 115         CT_ASSERT(std::is_same<r,    TRAIT(remove_varargs, r)>{});
 116         CT_ASSERT(std::is_same<c,    TRAIT(remove_varargs, c)>{});
 117         CT_ASSERT(std::is_same<cl,   TRAIT(remove_varargs, cl)>{});
 118         CT_ASSERT(std::is_same<cr,   TRAIT(remove_varargs, cr)>{});
 119         CT_ASSERT(std::is_same<v,    TRAIT(remove_varargs, v)>{});
 120         CT_ASSERT(std::is_same<vl,   TRAIT(remove_varargs, vl)>{});
 121         CT_ASSERT(std::is_same<vr,   TRAIT(remove_varargs, vr)>{});
 122         CT_ASSERT(std::is_same<cv,   TRAIT(remove_varargs, cv)>{});
 123         CT_ASSERT(std::is_same<cvl,  TRAIT(remove_varargs, cvl)>{});
 124         CT_ASSERT(std::is_same<cvr,  TRAIT(remove_varargs, cvr)>{});
 125     }
 126
 127 #ifndef BOOST_CLBL_TRTS_DISABLE_ABOMINABLE_FUNCTIONS
 128
 129     {
 130         using f      = void();
 131         using l      = void() LREF;
 132         using r      = void() RREF ;
 133         using c      = void() const;
 134         using cl     = void() const LREF;
 135         using cr     = void() const RREF;
 136         using v      = void() volatile;
 137         using vl     = void() volatile LREF;
 138         using vr     = void() volatile RREF;
 139         using cv     = void() const volatile;
 140         using cvl    = void() const volatile LREF;
 141         using cvr    = void() const volatile RREF;
 142
 143         using va_f   = void(...);
 144         using va_l   = void(...) LREF;
 145         using va_r   = void(...) RREF ;
 146         using va_c   = void(...) const;
 147         using va_cl  = void(...) const LREF;
 148         using va_cr  = void(...) const RREF;
 149         using va_v   = void(...) volatile;
 150         using va_vl  = void(...) volatile LREF;
 151         using va_vr  = void(...) volatile RREF;
 152         using va_cv  = void(...) const volatile;
 153         using va_cvl = void(...) const volatile LREF;
 154         using va_cvr = void(...) const volatile RREF;
 155
 156         CT_ASSERT(std::is_same<f,    TRAIT(remove_varargs, va_f)>{});
 157         CT_ASSERT(std::is_same<l,    TRAIT(remove_varargs, va_l)>{});
 158         CT_ASSERT(std::is_same<r,    TRAIT(remove_varargs, va_r)>{});
 159         CT_ASSERT(std::is_same<c,    TRAIT(remove_varargs, va_c)>{});
 160         CT_ASSERT(std::is_same<cl,   TRAIT(remove_varargs, va_cl)>{});
 161         CT_ASSERT(std::is_same<cr,   TRAIT(remove_varargs, va_cr)>{});
 162         CT_ASSERT(std::is_same<v,    TRAIT(remove_varargs, va_v)>{});
 163         CT_ASSERT(std::is_same<vl,   TRAIT(remove_varargs, va_vl)>{});
 164         CT_ASSERT(std::is_same<vr,   TRAIT(remove_varargs, va_vr)>{});
 165         CT_ASSERT(std::is_same<cv,   TRAIT(remove_varargs, va_cv)>{});
 166         CT_ASSERT(std::is_same<cvl,  TRAIT(remove_varargs, va_cvl)>{});
 167         CT_ASSERT(std::is_same<cvr,  TRAIT(remove_varargs, va_cvr)>{});
 168
 169         CT_ASSERT(std::is_same<f,    TRAIT(remove_varargs, f)>{});
 170         CT_ASSERT(std::is_same<l,    TRAIT(remove_varargs, l)>{});
 171         CT_ASSERT(std::is_same<r,    TRAIT(remove_varargs, r)>{});
 172         CT_ASSERT(std::is_same<c,    TRAIT(remove_varargs, c)>{});
 173         CT_ASSERT(std::is_same<cl,   TRAIT(remove_varargs, cl)>{});
 174         CT_ASSERT(std::is_same<cr,   TRAIT(remove_varargs, cr)>{});
 175         CT_ASSERT(std::is_same<v,    TRAIT(remove_varargs, v)>{});
 176         CT_ASSERT(std::is_same<vl,   TRAIT(remove_varargs, vl)>{});
 177         CT_ASSERT(std::is_same<vr,   TRAIT(remove_varargs, vr)>{});
 178         CT_ASSERT(std::is_same<cv,   TRAIT(remove_varargs, cv)>{});
 179         CT_ASSERT(std::is_same<cvl,  TRAIT(remove_varargs, cvl)>{});
 180         CT_ASSERT(std::is_same<cvr,  TRAIT(remove_varargs, cvr)>{});
 181     }
 182
 183 #endif //#ifndef BOOST_CLBL_TRTS_DISABLE_ABOMINABLE_FUNCTIONS
 184
 185     {
 186         using f = void(&)();
 187         using va_f = void(&)(...);
 188         CT_ASSERT(std::is_same<f,    TRAIT(remove_varargs, va_f)>{});
 189     }
 190 }