如何专门化模板函数以区分void和non-void函数参数

debugcn 发表于 Dev

灯身

我想拥有2个功能：接受void(*)(int)和int(*)(int)。如何编写类似于std :: is_invocable_r的type_trait，但要检查确切的返回类型（因为可以将任何函数强制转换为返回void的函数）。

#include <functional>
#include <type_traits>
#include <cstdio>

template <typename R, typename C, typename... Args>
constexpr bool is_exact_invocable_r_v =
        std::is_same_v<R, std::invoke_result_t<C, Args...>>;
        // std::is_invocable_r_v<R, C, Args...>;

template<typename C, std::enable_if_t<is_exact_invocable_r_v<int, C>, int> = 0>
void print(C)
{
    printf("1\n");
}

template<typename C, std::enable_if_t<is_exact_invocable_r_v<int, C, int>, int> = 0>
void print(C)
{
    printf("2\n");
}

template<typename C, std::enable_if_t<is_exact_invocable_r_v<void, C, int>, int> = 0>
void print(C)
{
    printf("3\n");
}

int main()
{
    print([](){return 0;});
    print([](int){return 0;});
    print([](int){});
}

std::is_invocable_r_v<R, C, Args...> 造成歧义，因为任何类型都可以转换为空。

std::is_same_v<R, std::invoke_result_t<C, Args...>> 导致替换失败。

贾罗德42

问题是，在C无法使用调用时，您的特征不正确Args...，您必须对变量进行SFINAE处理：

template <typename R, typename C, typename TupleArgs, typename Enabler = void>
constexpr bool is_exact_invocable_r_v_impl = false;

template <typename R, typename C, typename... Args>
constexpr bool is_exact_invocable_r_v_impl<R,
                                          C,
                                          std::tuple<Args...>,
                                          std::void_t<std::invoke_result_t<C, Args...>>> =
    std::is_same_v<R, std::invoke_result_t<C, Args...>>;

template <typename R, typename C, typename... Args>
constexpr bool is_exact_invocable_r_v =
    is_exact_invocable_r_v_impl<R, C, std::tuple<Args...>>;

演示版

本文收集自互联网，转载请注明来源。

如有侵权，请联系[email protected] 删除。