[英]C++ iterating over tuple in fold operator
我有一個函數,它接受可變數量的對象,每個對象都有一個可以調用帶有某個值的回調的函數。 我需要調用該函數並在元組中收集值。 由於實際函數異步調用回調這一事實很復雜,因此我無法使用簡單的包裝器將其轉換為傳統的返回函數。
只要沒有重復的類型,這樣的東西就可以了:
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 ++ ICE
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;
}
我不確定這個輔助功能( visit
)是否丑陋,至少它看起來不錯。
template<class T>
T visit(Foo<T>& t){
T result;
t.callMe([&](const T& x){result=x;});
return result;
}
template<class... Args>
std::tuple<Args...> collect( Foo<Args>... args )
{
return std::tuple{visit(args)...};
}
你可以使用幾個lambdas來實現你想要的:
template<class... Args>
std::tuple<Args...> collect( Foo<Args>... args )
{
return {
[&args]{
Args t;
args.callMe([&t](const Args& x){ t = x; });
return t;
}()...
};
}
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.