189 lines
10 KiB
C++
189 lines
10 KiB
C++
/*
|
|
Copyright Barrett Adair 2016-2017
|
|
Distributed under the Boost Software License, Version 1.0.
|
|
(See accompanying file LICENSE.md or copy at http ://boost.org/LICENSE_1_0.txt)
|
|
*/
|
|
|
|
#include <type_traits>
|
|
#include <functional>
|
|
#include <tuple>
|
|
#include <boost/callable_traits/add_varargs.hpp>
|
|
#include "test.hpp"
|
|
|
|
struct foo {};
|
|
|
|
int main() {
|
|
|
|
{
|
|
using f = void(foo::*)();
|
|
using l = void(foo::*)() LREF;
|
|
using r = void(foo::*)() RREF ;
|
|
using c = void(foo::*)() const;
|
|
using cl = void(foo::*)() const LREF;
|
|
using cr = void(foo::*)() const RREF;
|
|
using v = void(foo::*)() volatile;
|
|
using vl = void(foo::*)() volatile LREF;
|
|
using vr = void(foo::*)() volatile RREF;
|
|
using cv = void(foo::*)() const volatile;
|
|
using cvl = void(foo::*)() const volatile LREF;
|
|
using cvr = void(foo::*)() const volatile RREF;
|
|
|
|
using va_f = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...);
|
|
using va_l = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) LREF;
|
|
using va_r = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) RREF ;
|
|
using va_c = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) const;
|
|
using va_cl = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) const LREF;
|
|
using va_cr = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) const RREF;
|
|
using va_v = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) volatile;
|
|
using va_vl = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) volatile LREF;
|
|
using va_vr = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) volatile RREF;
|
|
using va_cv = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) const volatile;
|
|
using va_cvl = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) const volatile LREF;
|
|
using va_cvr = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) const volatile RREF;
|
|
|
|
CT_ASSERT(std::is_same<va_f, TRAIT(add_varargs, f)>{});
|
|
CT_ASSERT(std::is_same<va_l, TRAIT(add_varargs, l)>{});
|
|
CT_ASSERT(std::is_same<va_r, TRAIT(add_varargs, r)>{});
|
|
CT_ASSERT(std::is_same<va_c, TRAIT(add_varargs, c)>{});
|
|
CT_ASSERT(std::is_same<va_cl, TRAIT(add_varargs, cl)>{});
|
|
CT_ASSERT(std::is_same<va_cr, TRAIT(add_varargs, cr)>{});
|
|
CT_ASSERT(std::is_same<va_v, TRAIT(add_varargs, v)>{});
|
|
CT_ASSERT(std::is_same<va_vl, TRAIT(add_varargs, vl)>{});
|
|
CT_ASSERT(std::is_same<va_vr, TRAIT(add_varargs, vr)>{});
|
|
CT_ASSERT(std::is_same<va_cv, TRAIT(add_varargs, cv)>{});
|
|
CT_ASSERT(std::is_same<va_cvl, TRAIT(add_varargs, cvl)>{});
|
|
CT_ASSERT(std::is_same<va_cvr, TRAIT(add_varargs, cvr)>{});
|
|
|
|
CT_ASSERT(std::is_same<va_f, TRAIT(add_varargs, va_f)>{});
|
|
CT_ASSERT(std::is_same<va_l, TRAIT(add_varargs, va_l)>{});
|
|
CT_ASSERT(std::is_same<va_r, TRAIT(add_varargs, va_r)>{});
|
|
CT_ASSERT(std::is_same<va_c, TRAIT(add_varargs, va_c)>{});
|
|
CT_ASSERT(std::is_same<va_cl, TRAIT(add_varargs, va_cl)>{});
|
|
CT_ASSERT(std::is_same<va_cr, TRAIT(add_varargs, va_cr)>{});
|
|
CT_ASSERT(std::is_same<va_v, TRAIT(add_varargs, va_v)>{});
|
|
CT_ASSERT(std::is_same<va_vl, TRAIT(add_varargs, va_vl)>{});
|
|
CT_ASSERT(std::is_same<va_vr, TRAIT(add_varargs, va_vr)>{});
|
|
CT_ASSERT(std::is_same<va_cv, TRAIT(add_varargs, va_cv)>{});
|
|
CT_ASSERT(std::is_same<va_cvl, TRAIT(add_varargs, va_cvl)>{});
|
|
CT_ASSERT(std::is_same<va_cvr, TRAIT(add_varargs, va_cvr)>{});
|
|
}
|
|
|
|
{
|
|
using f = void(foo::*)(int&, int&&);
|
|
using l = void(foo::*)(int&, int&&) LREF;
|
|
using r = void(foo::*)(int&, int&&) RREF ;
|
|
using c = void(foo::*)(int&, int&&) const;
|
|
using cl = void(foo::*)(int&, int&&) const LREF;
|
|
using cr = void(foo::*)(int&, int&&) const RREF;
|
|
using v = void(foo::*)(int&, int&&) volatile;
|
|
using vl = void(foo::*)(int&, int&&) volatile LREF;
|
|
using vr = void(foo::*)(int&, int&&) volatile RREF;
|
|
using cv = void(foo::*)(int&, int&&) const volatile;
|
|
using cvl = void(foo::*)(int&, int&&) const volatile LREF;
|
|
using cvr = void(foo::*)(int&, int&&) const volatile RREF;
|
|
|
|
using va_f = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...);
|
|
using va_l = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) LREF;
|
|
using va_r = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) RREF ;
|
|
using va_c = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) const;
|
|
using va_cl = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) const LREF;
|
|
using va_cr = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) const RREF;
|
|
using va_v = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) volatile;
|
|
using va_vl = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) volatile LREF;
|
|
using va_vr = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) volatile RREF;
|
|
using va_cv = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) const volatile;
|
|
using va_cvl = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) const volatile LREF;
|
|
using va_cvr = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(int&, int&&, ...) const volatile RREF;
|
|
|
|
CT_ASSERT(std::is_same<va_f, TRAIT(add_varargs, f)>{});
|
|
CT_ASSERT(std::is_same<va_l, TRAIT(add_varargs, l)>{});
|
|
CT_ASSERT(std::is_same<va_r, TRAIT(add_varargs, r)>{});
|
|
CT_ASSERT(std::is_same<va_c, TRAIT(add_varargs, c)>{});
|
|
CT_ASSERT(std::is_same<va_cl, TRAIT(add_varargs, cl)>{});
|
|
CT_ASSERT(std::is_same<va_cr, TRAIT(add_varargs, cr)>{});
|
|
CT_ASSERT(std::is_same<va_v, TRAIT(add_varargs, v)>{});
|
|
CT_ASSERT(std::is_same<va_vl, TRAIT(add_varargs, vl)>{});
|
|
CT_ASSERT(std::is_same<va_vr, TRAIT(add_varargs, vr)>{});
|
|
CT_ASSERT(std::is_same<va_cv, TRAIT(add_varargs, cv)>{});
|
|
CT_ASSERT(std::is_same<va_cvl, TRAIT(add_varargs, cvl)>{});
|
|
CT_ASSERT(std::is_same<va_cvr, TRAIT(add_varargs, cvr)>{});
|
|
|
|
CT_ASSERT(std::is_same<va_f, TRAIT(add_varargs, va_f)>{});
|
|
CT_ASSERT(std::is_same<va_l, TRAIT(add_varargs, va_l)>{});
|
|
CT_ASSERT(std::is_same<va_r, TRAIT(add_varargs, va_r)>{});
|
|
CT_ASSERT(std::is_same<va_c, TRAIT(add_varargs, va_c)>{});
|
|
CT_ASSERT(std::is_same<va_cl, TRAIT(add_varargs, va_cl)>{});
|
|
CT_ASSERT(std::is_same<va_cr, TRAIT(add_varargs, va_cr)>{});
|
|
CT_ASSERT(std::is_same<va_v, TRAIT(add_varargs, va_v)>{});
|
|
CT_ASSERT(std::is_same<va_vl, TRAIT(add_varargs, va_vl)>{});
|
|
CT_ASSERT(std::is_same<va_vr, TRAIT(add_varargs, va_vr)>{});
|
|
CT_ASSERT(std::is_same<va_cv, TRAIT(add_varargs, va_cv)>{});
|
|
CT_ASSERT(std::is_same<va_cvl, TRAIT(add_varargs, va_cvl)>{});
|
|
CT_ASSERT(std::is_same<va_cvr, TRAIT(add_varargs, va_cvr)>{});
|
|
}
|
|
|
|
#ifndef BOOST_CLBL_TRTS_DISABLE_ABOMINABLE_FUNCTIONS
|
|
|
|
{
|
|
using f = void();
|
|
using l = void() LREF;
|
|
using r = void() RREF ;
|
|
using c = void() const;
|
|
using cl = void() const LREF;
|
|
using cr = void() const RREF;
|
|
using v = void() volatile;
|
|
using vl = void() volatile LREF;
|
|
using vr = void() volatile RREF;
|
|
using cv = void() const volatile;
|
|
using cvl = void() const volatile LREF;
|
|
using cvr = void() const volatile RREF;
|
|
|
|
using va_f = void(...);
|
|
using va_l = void(...) LREF;
|
|
using va_r = void(...) RREF ;
|
|
using va_c = void(...) const;
|
|
using va_cl = void(...) const LREF;
|
|
using va_cr = void(...) const RREF;
|
|
using va_v = void(...) volatile;
|
|
using va_vl = void(...) volatile LREF;
|
|
using va_vr = void(...) volatile RREF;
|
|
using va_cv = void(...) const volatile;
|
|
using va_cvl = void(...) const volatile LREF;
|
|
using va_cvr = void(...) const volatile RREF;
|
|
|
|
CT_ASSERT(std::is_same<va_f, TRAIT(add_varargs, f)>{});
|
|
CT_ASSERT(std::is_same<va_l, TRAIT(add_varargs, l)>{});
|
|
CT_ASSERT(std::is_same<va_r, TRAIT(add_varargs, r)>{});
|
|
CT_ASSERT(std::is_same<va_c, TRAIT(add_varargs, c)>{});
|
|
CT_ASSERT(std::is_same<va_cl, TRAIT(add_varargs, cl)>{});
|
|
CT_ASSERT(std::is_same<va_cr, TRAIT(add_varargs, cr)>{});
|
|
CT_ASSERT(std::is_same<va_v, TRAIT(add_varargs, v)>{});
|
|
CT_ASSERT(std::is_same<va_vl, TRAIT(add_varargs, vl)>{});
|
|
CT_ASSERT(std::is_same<va_vr, TRAIT(add_varargs, vr)>{});
|
|
CT_ASSERT(std::is_same<va_cv, TRAIT(add_varargs, cv)>{});
|
|
CT_ASSERT(std::is_same<va_cvl, TRAIT(add_varargs, cvl)>{});
|
|
CT_ASSERT(std::is_same<va_cvr, TRAIT(add_varargs, cvr)>{});
|
|
|
|
CT_ASSERT(std::is_same<va_f, TRAIT(add_varargs, va_f)>{});
|
|
CT_ASSERT(std::is_same<va_l, TRAIT(add_varargs, va_l)>{});
|
|
CT_ASSERT(std::is_same<va_r, TRAIT(add_varargs, va_r)>{});
|
|
CT_ASSERT(std::is_same<va_c, TRAIT(add_varargs, va_c)>{});
|
|
CT_ASSERT(std::is_same<va_cl, TRAIT(add_varargs, va_cl)>{});
|
|
CT_ASSERT(std::is_same<va_cr, TRAIT(add_varargs, va_cr)>{});
|
|
CT_ASSERT(std::is_same<va_v, TRAIT(add_varargs, va_v)>{});
|
|
CT_ASSERT(std::is_same<va_vl, TRAIT(add_varargs, va_vl)>{});
|
|
CT_ASSERT(std::is_same<va_vr, TRAIT(add_varargs, va_vr)>{});
|
|
CT_ASSERT(std::is_same<va_cv, TRAIT(add_varargs, va_cv)>{});
|
|
CT_ASSERT(std::is_same<va_cvl, TRAIT(add_varargs, va_cvl)>{});
|
|
CT_ASSERT(std::is_same<va_cvr, TRAIT(add_varargs, va_cvr)>{});
|
|
}
|
|
|
|
#endif //#ifndef BOOST_CLBL_TRTS_DISABLE_ABOMINABLE_FUNCTIONS
|
|
|
|
{
|
|
using f = void(&)();
|
|
using va_f = void(&)(...);
|
|
CT_ASSERT(std::is_same<va_f, TRAIT(add_varargs, f)>{});
|
|
}
|
|
}
|