33 #include <type_traits> 45 std::is_same<T, void> {},
50 template<
typename R,
typename... Args>
51 std::tuple<VoidSafe<R>, Args...>
TypeGetter (R (*) (Args...));
56 template<
typename C,
typename R,
typename... Args>
57 std::tuple<VoidSafe<R>, Args...>
TypeGetter (R (C::*) (Args...)
const);
59 template<
typename C,
typename R,
typename... Args>
60 std::tuple<VoidSafe<R>, Args...>
TypeGetter (R (C::*) (Args...));
69 template<typename F,
size_t Idx>
86 template<
typename R,
typename C>
94 template<
typename PtrType>
97 template<
typename PtrType>
decltype(TypeGetter(&C::operator())) TypeGetter(const C &c)
typename detail::DecomposeMemberPtr< PtrType >::StructType_t MemberTypeStruct_t
MemberTypeType_t< decltype(Ptr)> MemberPtrType_t
constexpr detail::ExprTree< detail::ExprType::LeafStaticPlaceholder, detail::MemberPtrs< Ptr > > f
std::tuple_element_t< 0, decltype(TypeGetter(*static_cast< F * >(nullptr)))> RetTypeRaw_t
std::conditional_t< std::is_same_v< detail::RetTypeRaw_t< F >, detail::ReturnsVoid >, void, detail::RetTypeRaw_t< F > > RetType_t
typename detail::DecomposeMemberPtr< PtrType >::Value_t MemberTypeType_t
std::tuple_element_t< Idx+1, decltype(detail::TypeGetter(*static_cast< F * >(nullptr)))> ArgType_t
std::conditional_t< std::is_same< T, void > {}, ReturnsVoid, T > VoidSafe
MemberTypeStruct_t< decltype(Ptr)> MemberPtrStruct_t