是否可以创建一个模板函数,该模板函数接受可变数量的参数,例如,在此Vector& T,C>类构造函数:
template < typename T,uint C >
Vector< T,C >::Vector( T,... )
{
va_list arg_list;
va_start( arg_list,C );
for( uint i = 0; i < C; i++ ) {
m_data[ i ] = va_arg( arg_list,T );
}
va_end( arg_list );
}
这几乎可以工作,但是如果有人调用Vector double,3>(1,1,1),只有第一个参数具有正确的值.我怀疑第一个参数是正确的,因为它在函数调用期间被转换为double,而其他参数被解释为int,然后将这些位填充到一个double中.调用矢量双,3>(1.0,1.0,1.0)得到期望的结果.有没有办法做这样的事情?
解决方法
这段代码看起来很危险,我认为你的分析为什么它不起作用,编译器没有办法知道在调用时:
Vector< double,3 >( 1,1 )
那些应该通过双打.
我会将构造函数更改为:
Vector< T,C >::Vector(const T(&data)[C])
而是让用户将参数作为数组传递.另一种丑陋的解决方案就是这样的:
template < typename T,C >::Vector(const Vector<T,C - 1>& elements,T extra) {
}
并像这样调用(有些typedef):
Vector3(Vector2(Vector1(1),1);