mirror of
				https://github.com/Atmosphere-NX/Atmosphere.git
				synced 2025-10-31 19:25:46 +01:00 
			
		
		
		
	
		
			
				
	
	
		
			91 lines
		
	
	
		
			2.5 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
			
		
		
	
	
			91 lines
		
	
	
		
			2.5 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
| /*
 | |
| 
 | |
| @Copyright Barrett Adair 2015-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)
 | |
| 
 | |
| */
 | |
| 
 | |
| #ifndef BOOST_CLBL_TRTS_ADD_VARARGS_HPP
 | |
| #define BOOST_CLBL_TRTS_ADD_VARARGS_HPP
 | |
| 
 | |
| #include <boost/callable_traits/detail/core.hpp>
 | |
| 
 | |
| namespace boost { namespace callable_traits {
 | |
| 
 | |
| //[ add_varargs_hpp
 | |
| /*`
 | |
| [section:ref_add_varargs add_varargs]
 | |
| [heading Header]
 | |
| ``#include <boost/callable_traits/add_varargs.hpp>``
 | |
| [heading Definition]
 | |
| */
 | |
| 
 | |
| template<typename T>
 | |
| using add_varargs_t = //see below
 | |
| //<-
 | |
|     detail::try_but_fail_if_invalid<
 | |
|         typename detail::traits<T>::add_varargs,
 | |
|         varargs_are_illegal_for_this_type>;
 | |
| 
 | |
| namespace detail {
 | |
| 
 | |
|     template<typename T, typename = std::false_type>
 | |
|     struct add_varargs_impl {};
 | |
| 
 | |
|     template<typename T>
 | |
|     struct add_varargs_impl <T, typename std::is_same<
 | |
|         add_varargs_t<T>, detail::dummy>::type>
 | |
|     {
 | |
|         using type = add_varargs_t<T>;
 | |
|     };
 | |
| }
 | |
| //->
 | |
| 
 | |
| template<typename T>
 | |
| struct add_varargs : detail::add_varargs_impl<T> {};
 | |
| 
 | |
| //<-
 | |
| }} // namespace boost::callable_traits
 | |
| //->
 | |
| 
 | |
| /*`
 | |
| [heading Constraints]
 | |
| * `T` must be one of the following:
 | |
|   * function type
 | |
|   * function pointer type
 | |
|   * function reference type
 | |
|   * member function pointer type
 | |
| * If `T` is a pointer, it may not be cv/ref qualified
 | |
| 
 | |
| [heading Behavior]
 | |
| * A substitution failure occurs if the constraints are violated.
 | |
| * Adds C-style variadics (`...`) to the signature of `T`, if not already present.
 | |
| 
 | |
| [heading Input/Output Examples]
 | |
| [table
 | |
|     [[`T`]                              [`add_varargs_t<T>`]]
 | |
|     [[`int()`]                          [`int(...)`]]
 | |
|     [[`int(int)`]                          [`int(int, ...)`]]
 | |
|     [[`int (&)()`]                      [`int(&)(...)`]]
 | |
|     [[`int (*)()`]                      [`int(*)(...)`]]
 | |
|     [[`int (*)(...)`]                   [`int(*)(...)`]]
 | |
|     [[`int(foo::*)()`]                  [`int(foo::*)(...)`]]
 | |
|     [[`int(foo::*)() &`]                [`int(foo::*)(...) &`]]
 | |
|     [[`int(foo::*)() &&`]               [`int(foo::*)(...) &&`]]
 | |
|     [[`int(foo::*)() const`]            [`int(foo::*)(...) const`]]
 | |
|     [[`int(foo::*)() transaction_safe`] [`int(foo::*)(...) transaction_safe`]]
 | |
|     [[`int`]                            [(substitution failure)]]
 | |
|     [[`int foo::*`]                     [(substitution failure)]]
 | |
|     [[`int (*&)()`]                     [(substitution failure)]]
 | |
| ]
 | |
| 
 | |
| [heading Example Program]
 | |
| [import ../example/add_varargs.cpp]
 | |
| [add_varargs]
 | |
| [endsect]
 | |
| */
 | |
| //]
 | |
| 
 | |
| #endif
 |