元组索引的模板参数推导

Question

template < typename TYPE, typename TUPLE, int INDEX >
void fun( TYPE& a, TUPLE b )
{
  a = std::get<INDEX>( b );
}

调用上面的方法很乏味：

//...
using tuple_t = std::tuple<int, double, double>;
double d;
fun<double, tuple_t, 1>( d, std::make_tuple( 1, 2.3, 4.5 ) );
//...

有更好的方法吗？例如：

fun( d, std::make_tuple( 1, 2.3, 4.5 ), 1 );

Answer 1

制作int INDEX第一个模板参数。调用函数时指定，并允许推导其他参数：fun<1>(d, std::make_tuple(1, 2.3)).