C++ Concept判断函数元数与类型的问题及解决需求

问题描述 #

现有代码通过C++ Concept实现两类函数签名判断：

• is_unary_A_function：判断是否为接收1个A类型参数、返回A类型的一元函数
• is_Nary_A_function：判断是否为接收N个A类型参数、返回A类型的N元函数

实际使用中发现：

• is_unary_A_function检查不匹配函数（如参数数量不对、返回值类型不符的g1）时，能正常返回false，无编译错误
• 基于index_sequence实现的is_Nary_A_function检查不匹配函数（如参数数量为1的f1与N=3）时，直接触发编译错误，而非返回false

差异原因 #

两类检查的核心区别在于是否触发SFINAE（替换失败不是错误）：

1. is_unary_A_function的友好检查
   通常这类一元函数Concept的实现是直接在requires表达式中验证调用合法性：

   template<typename A, typename F>
   concept is_unary_A_function = requires(F f, A a) {
       { f(a) } -> std::same_as<A>;
   };
   

   当函数不匹配时，f(a)的调用表达式属于Concept约束检查阶段的无效表达式，C++标准会将这种情况视为约束不满足，而非硬编译错误——这是SFINAE友好的行为。

2. is_Nary_A_function的硬错误触发
   若is_Nary_A_function的实现是在requires表达式内部，通过index_sequence展开参数并直接尝试调用函数：

   template<typename A, typename F, size_t N>
   concept is_Nary_A_function = requires(F f) {
       []<size_t... Is>(F&& f, std::index_sequence<Is...>) {
           (void)f(std::declval<A>()...); // 直接调用函数
       }(std::forward<F>(f), std::make_index_sequence<N>{});
   };
   

   当参数数量不匹配时，f(std::declval<A>()...)的调用属于模板实例化阶段的无效表达式，不在SFINAE的适用范围内。SFINAE仅作用于模板参数推导过程中的替换失败，而此处是表达式求值时的硬错误，因此编译器会直接报错。

解决方案 #

要让is_Nary_A_function实现SFINAE友好的检查，需通过Concept或类型特性在模板推导阶段验证调用合法性，而非直接尝试调用函数。以下是两种可行实现：

方案1：结合std::invocable_r与模板lambda #

利用C++20模板lambda生成N个A类型的参数列表，通过std::invocable_rConcept验证函数是否符合要求：

#include <concepts>
#include <utility>
#include <type_traits>

template<typename A, typename F, size_t N>
concept is_Nary_A_function = []<size_t... Is>(std::index_sequence<Is...>) {
    // 验证F可被N个A类型参数调用，且返回值为A
    return std::invocable_r<A, F, std::type_identity_t<A>...>;
}(std::make_index_sequence<N>{});

方案2：辅助模板推导参数列表 #

通过辅助模板生成包含N个A类型的参数列表，再用std::is_invocable_r类型特性判断：

#include <type_traits>
#include <utility>

// 辅助模板：生成包含N个T类型的参数列表
template<typename T, size_t N, typename = std::make_index_sequence<N>>
struct repeat_type;

template<typename T, size_t... Is>
struct repeat_type<T, sizeof...(Is), std::index_sequence<Is...>> {
    using type = std::tuple<std::type_identity_t<T>...>;
};

template<typename T, size_t N>
using repeat_type_t = typename repeat_type<T, N>::type;

// 辅助函数：推导参数包并检查调用合法性
template<typename A, typename F, size_t N, typename... Args>
constexpr bool check_nary_compatibility(std::type_identity_t<repeat_type_t<A, N>>) {
    return std::is_invocable_r_v<A, F, Args...>;
}

// 最终Concept
template<typename A, typename F, size_t N>
concept is_Nary_A_function = requires {
    requires check_nary_compatibility<A, F, N>(repeat_type_t<A, N>{});
};

这两种实现均将参数数量与类型的检查放在模板推导或Concept约束阶段，替换失败会被SFINAE处理，最终返回false而非触发编译错误。

内容的提问来源于stack exchange，提问作者davidhigh