我有一个实现的处理管道,但我想这样改进它:
#include <iostream>
// buffers
struct src{}; struct b1{}; struct snk{};
// filters
struct f1
{
f1( const src &, b1 & ) { std::cout << "f1( src, b1 )" << std::endl; }
};
struct f2
{
f2( const b1 &, snk & ) { std::cout << "f2( b1, snk )" << std::endl; }
};
// the pipeline
template< typename... Filters >
struct pipeline
{
template< typename LastB >
pipeline( const LastB & )
{}
};
template < typename T1, typename... T >
struct pipeline< T1, T... > : pipeline< T... >
{
template< typename... Buffs, typename Bin, typename Bout >
pipeline( Buffs &... buffs, Bin & bin, Bout & bout ) :
pipeline< T... >( buffs..., bin ),
filter( bin, bout )
{
}
T1 filter;
};
int main()
{
src ba; b1 bb; snk bc;
pipeline< f1 > p1( ba, bb );
pipeline< f1, f2 > p2( ba, bb, bc ); // the problem is in this line!
}
不幸的是,上面的例子会产生以下错误:
sda_variadic.cpp: In function 'int main()':
sda_variadic.cpp:40:39: error: no matching function for call to 'pipeline<f1, f2>::pipeline(src&, b1&, snk&)'
sda_variadic.cpp:40:39: note: candidates are:
sda_variadic.cpp:26:5: note: template<class ... Buffs, class Bin, class Bout> pipeline<T1, T ...>::pipeline(Buffs& ..., Bin&, Bout&)
sda_variadic.cpp:23:8: note: constexpr pipeline<f1, f2>::pipeline(const pipeline<f1, f2>&)
sda_variadic.cpp:23:8: note: candidate expects 1 argument, 3 provided
sda_variadic.cpp:23:8: note: constexpr pipeline<f1, f2>::pipeline(pipeline<f1, f2>&&)
sda_variadic.cpp:23:8: note: candidate expects 1 argument, 3 provided
这个错误的原因是什么?
如何解决这个问题?
只是一个小小的解释。我期望上面的示例将首先创建非专门化对象pipeline<>( snk )
的对象,然后是专门化对象pipeline< f1 >(b1,snk)
,然后是专门化对象pipeline< f1, f2 >(src,b1,snk)
。
顺便说一下,上面的例子只适用于一个过滤器(pipeline< f1
)。
template< typename... Buffs, typename Bin, typename Bout >
pipeline( Buffs &... buffs, Bin & bin, Bout & bout ) :
pipeline< T... >( buffs..., bin ),
filter( bin, bout )
{
}
由于函数参数pack (Buffs
)不在最后一个位置,因此无法推导。从14.8.2.1从函数调用中推导模板参数[temp.演绎.call]第1段:
- […对于没有出现在参数声明列表末尾的函数参数包,参数包的类型是一个非推导的上下文。[…]
因为你不能显式地将模板参数传递给构造函数,所以它根本不能被调用(尽管这与你的问题无关)。
我建议使用std::tuple
来操作可变参数,这样您就可以像这样调用构造函数:pipeline(std::forward_as_tuple(b0, b1, b2), in, out)
和一个空元组将被传递到最后一个阶段。