C迭代折叠运算符中的元组

2019-08-23 10:09:22 阅读：150 来源： 互联网

我有一个函数,它接受可变数量的对象,每个对象都有一个可以调用带有某个值的回调的函数.我需要调用该函数并在元组中收集值.由于实际函数异步调用回调这一事实很复杂,因此我无法使用简单的包装器将其转换为传统的返回函数.

只要没有重复的类型,这样的东西就可以了：

template<class T>
class Foo
{
    T T_;
public:
    Foo( T t ) : t_( t ) {}

    template<class Func>
    int callMe( Func func )
    {
        func( t_ );
        return 0; // this is some sort of callback ID
    }
}

template<class... Args>
std::tuple<Args...> collect( Foo<Args>... args )
{
    std::tuple<Args...> result;
    std::vector<int> callbacks
    {
        args.callMe( [&result]( const Args& x )
        {
            std::get<Args>( result ) = x;
        } )...
    };
    return result;
}

// returns tuple<int, double, char>( 1, 2.0, '3' )
auto res = collect( Foo( 1 ), Foo( 2.0 ), Foo( '3' ) );

但是如果我想允许重复类型,我必须以某种方式引入整数序列.有没有办法在没有丑陋的辅助函数的情况下做到这一点？

解决方法:

您可以使用std :: apply来“迭代”元组：

template<class... Args>
std::tuple<Args...> collect( Foo<Args>... args )
{
    std::tuple<Args...> result;

    std::apply([&](auto&&... xs)
    {   
        (args.callMe([&](const auto& x)
        {
            xs = x;
        }), ...);
   }, result);

    return result;
}

我无法让编译器同意上面的代码：https://gcc.godbolt.org/z/n53PSd

> g ICEs
> clang报告了一个荒谬的错误

您可以使用lambda表达式在C 20中引入范围内的整数序列：

template<class... Args>
std::tuple<Args...> collect( Foo<Args>... args )
{
    std::tuple<Args...> result;

    [&]<auto... Is>(std::index_sequence<Is...>)
    {
        ( args.callMe( [&result]( const Args& x )
        {
            std::get<Is>( result ) = x;
        } ), ... );
    }(std::make_index_sequence_for<Args...>{});

    return result;
}

标签：c,variadic-templates,c17
来源： https://codeday.me/bug/20190823/1696908.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

ICode9

C迭代折叠运算符中的元组