C具有变量参数的模板类构造函数

是否可以创建一个模板函数,该模板函数接受可变数量的参数,例如,在此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);