BlackMATov/meta.hpp
1
0
Fork 0
mirror of https://github.com/BlackMATov/meta.hpp.git synced 2025-12-15 03:45:30 +07:00
Code Issues Packages Projects Releases Wiki Activity

fix fixed_function deduction guides

Browse Source
This commit is contained in:
BlackMATov
2022-02-06 12:08:45 +07:00
parent 65b30fdbc2
commit 33faf7f5f2
2 changed files with 21 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
headers/meta.hpp/meta_base/fixed_function.hpp
View File

@@ -178,17 +178,23 @@ namespace meta_hpp::detail
template < typename F >
struct strip_signature_impl;
template < typename R, typename C, bool NoExcept, typename... Args >
struct strip_signature_impl<R(C::*)(Args...) noexcept(NoExcept)> { using type = R(Args...); };
template < typename R, typename C, typename... Args >
struct strip_signature_impl<R(C::*)(Args...)> { using type = R(Args...); };
template < typename R, typename C, typename... Args >
struct strip_signature_impl<R(C::*)(Args...) const> { using type = R(Args...); };
template < typename R, typename C, typename... Args >
struct strip_signature_impl<R(C::*)(Args...) &> { using type = R(Args...); };
template < typename R, typename C, typename... Args >
struct strip_signature_impl<R(C::*)(Args...) const &> { using type = R(Args...); };
template < typename R, typename C, bool NoExcept, typename... Args >
struct strip_signature_impl<R(C::*)(Args...) const noexcept(NoExcept)> { using type = R(Args...); };
template < typename R, typename C, bool NoExcept, typename... Args >
struct strip_signature_impl<R(C::*)(Args...) & noexcept(NoExcept)> { using type = R(Args...); };
template < typename R, typename C, bool NoExcept, typename... Args >
struct strip_signature_impl<R(C::*)(Args...) const & noexcept(NoExcept)> { using type = R(Args...); };
template < typename R, typename C, typename... Args >
struct strip_signature_impl<R(C::*)(Args...) noexcept> { using type = R(Args...); };
template < typename R, typename C, typename... Args >
struct strip_signature_impl<R(C::*)(Args...) const noexcept> { using type = R(Args...); };
template < typename R, typename C, typename... Args >
struct strip_signature_impl<R(C::*)(Args...) & noexcept> { using type = R(Args...); };
template < typename R, typename C, typename... Args >
struct strip_signature_impl<R(C::*)(Args...) const & noexcept> { using type = R(Args...); };
template < typename F >
using strip_signature_impl_t = typename strip_signature_impl<F>::type;

5
untests/meta_base/fixed_function_tests.cpp
View File

@@ -37,6 +37,11 @@ TEST_CASE("meta/meta_base/fixed_function") {
ff = std::move(f2);
CHECK(ff() == 2);
}
{
auto f1 = []() noexcept {return 1;};
fixed_function ff{f1};
CHECK(ff() == 1);
}
}
SUBCASE("reset") {