按函子参数计数类型C++重载

C++ overloading by functor param count type

本文关键字：类型 C++ 重载 参数      更新时间：2023-10-16

我正在为 C++11 开发"LINQ to Objects"库。我想像这样做：

// filtering elements by their value
arr.where( [](double d){ return d < 0; } )
// filtering elements by their value and position
arr.where( [](double d, int i){ return i%2==0; } )

我想写arr.where_i( ... )——这很丑。所以我需要 lambda 类型的函数/方法重载......

这是我的解决方案：

template<typename F>
auto my_magic_func(F f) -> decltype(f(1))
{
    return f(1);
}
template<typename F>
auto my_magic_func(F f, void * fake = NULL) -> decltype(f(2,3))
{
    return f(2,3);
}
int main()
{
    auto x1 = my_magic_func([](int a){ return a+100; });
    auto x2 = my_magic_func([](int a, int b){ return a*b; });
    // x1 == 1+100
    // x2 == 2*3
}

是SFINAE解决方案吗？你能给我什么建议？

也许有些：

#include <utility>
template <typename F, typename ...Args>
decltype(f(std::declval<Args>()...) my_magic_func(F f, Args &&... args)
{
    return f(std::forward<Args>(args)...);
}

编辑：您还可以将typename std::result_of<F(Args...)>::type用于返回类型，它执行相同的操作。

您当然希望在解决方案中使用 SFINAE。一般来说，结果如下所示：

template<
    typename Functor
    , typename std::enable_if<
        special_test<Functor>::value
        , int
    >::type = 0
>
return_type
my_magic_func(Functor f);
template<
    typename Functor
    , typename std::enable_if<
        !special_test<Functor>::value
        , int
    >::type = 0
>
return_type
my_magic_func(Functor f);

这样在任何时候只有一个重载处于活动状态 - 现在剩下的就是精心制作该special_test，以具有我们想要的行为。这是一个谨慎的平衡行为，因为您不希望测试过于具体;否则我们就会失去普遍性。编写通用代码时真是太可惜了。您没有提供太多信息(例如，您是否对 lambda 的支持严格感兴趣？单态函子？多态函子？(，但我现在假设我们可以访问一个与示例中double对应的value_type别名。

因此，这里有一个示例条件，它将检查给定类型是否具有签名bool(value_type)的可调用(这是一个标准概念(;即它是某种谓词：

template<typename Functor, typename ValueType>
struct is_unary_predicate {
    typedef char (&accepted)[1];
    typedef char (&refused)[2];
    void consume(bool);
    template<
        typename X
        , typename Y
        , typename = decltype( consume(std::declval<X>()(std::declval<Y>())) )
    >
    accepted
    test(X&&, Y&&);
    refused test(...);
    static constexpr bool value =
        sizeof test(std::declval<Functor>(), std::declval<ValueType>())
        == sizeof(accepted);
};

就我个人而言，我有一个is_callable<F, Signature>特征，所以我只需要写一些类似template<typename Functor, typename ValueType> using is_unary_predicate = is_callable<Functor, bool(ValueType)>;的东西(同样，我可以有一个is_binary_predicate别名，而不是让my_magic_func的第二个重载成为一个包罗万象的东西(。也许你想在将来使用 SFINAE 时使用类似的特征(尽管在没有可变参数模板的情况下编写可能会有些痛苦(。

相关文章：