handle noexcept SignatureOf and ArgTypes

cstratopoulos · Jun 4, 2019 · 306965b · 306965b
1 parent 9f2d417
commit 306965b
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/folly/detail/PolyDetail.h b/folly/detail/PolyDetail.h
@@ -403,6 +403,16 @@ struct SignatureOf_<R (C::*)(As...) const, I> {
   using type = Ret<R, I> (*)(Data const&, Arg<As, I>...);
 };
 
+template <class R, class C, class... As, class I>
+struct SignatureOf_<R(C::*)(As...) noexcept, I> {
+	using type = std::add_pointer_t<Ret<R, I>(Data&, Arg<As, I>...) noexcept>;
+};
+
+template <class R, class C, class... As, class I>
+struct SignatureOf_<R(C::*)(As...) const noexcept, I> {
+	using type = std::add_pointer_t<Ret<R, I>(Data const&, Arg<As, I>...) noexcept>;
+};
+
 template <class R, class This, class... As, class I>
 struct SignatureOf_<R (*)(This&, As...), I> {
   using type = Ret<R, I> (*)(Data&, Arg<As, I>...);
@@ -424,6 +434,11 @@ struct ArgTypes_<User, I, Ret (*)(Data, Args...)> {
   using type = TypeList<Args...>;
 };
 
+template <FOLLY_AUTO User, class I, class Ret, class Data, class... Args>
+struct ArgTypes_<User, I, Ret (*)(Data, Args...) noexcept> {
+  using type = TypeList<Args...>;
+};
+
 template <FOLLY_AUTO User, class I>
 using ArgTypes = _t<ArgTypes_<User, I>>;