summaryrefslogtreecommitdiff
path: root/boost/callable_traits/remove_varargs.hpp
diff options
context:
space:
mode:
Diffstat (limited to 'boost/callable_traits/remove_varargs.hpp')
-rw-r--r--boost/callable_traits/remove_varargs.hpp91
1 files changed, 91 insertions, 0 deletions
diff --git a/boost/callable_traits/remove_varargs.hpp b/boost/callable_traits/remove_varargs.hpp
new file mode 100644
index 0000000000..874651c60b
--- /dev/null
+++ b/boost/callable_traits/remove_varargs.hpp
@@ -0,0 +1,91 @@
+/*
+
+@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_REMOVE_VARARGS_HPP
+#define BOOST_CLBL_TRTS_REMOVE_VARARGS_HPP
+
+#include <boost/callable_traits/detail/core.hpp>
+
+namespace boost { namespace callable_traits {
+
+//[ remove_varargs_hpp
+/*`
+[section:ref_remove_varargs remove_varargs]
+[heading Header]
+``#include <boost/callable_traits/remove_varargs.hpp>``
+[heading Definition]
+*/
+
+template<typename T>
+using remove_varargs_t = //see below
+//<-
+ detail::try_but_fail_if_invalid<
+ typename detail::traits<T>::remove_varargs,
+ varargs_are_illegal_for_this_type>;
+
+namespace detail {
+
+ template<typename T, typename = std::false_type>
+ struct remove_varargs_impl {};
+
+ template<typename T>
+ struct remove_varargs_impl <T, typename std::is_same<
+ remove_varargs_t<T>, detail::dummy>::type>
+ {
+ using type = remove_varargs_t<T>;
+ };
+}
+
+//->
+
+template<typename T>
+struct remove_varargs : detail::remove_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.
+* Removes C-style variadics (`...`) from the signature of `T`, if present.
+
+[heading Input/Output Examples]
+[table
+ [[`T`] [`remove_varargs_t<T>`]]
+ [[`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 (* const)()`] [(substitution failure)]]
+]
+
+[heading Example Program]
+[import ../example/remove_varargs.cpp]
+[remove_varargs]
+[endsect]
+*/
+//]
+
+#endif // #ifndef BOOST_CLBL_TRTS_REMOVE_VARARGS_HPP