[英]How to specialize template function to distinguish void and non-void function arguments
我想要兩個函數:接受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_invocable_r_v<R, C, Args...>
為 void。
std::is_same_v<R, std::invoke_result_t<C, Args...>>
導致替換失敗。
問題是當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...>>;
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.