Как написать функцию шаблона с переменным числом аргументов на С++, где пакет параметров не является последним параметром?

Я предлагаю другое решение, действительно отличающееся от кода в вопросе, которое я считаю намного более эффективным (создание только на одном std::array; блендер, полученный последовательностью индексов шаблона)

#include <array>
#include <utility>
#include <iostream>

template <typename T, std::size_t I0>
int blenderH (double t, T const & arr, std::index_sequence<I0> const &)
 { return arr[I0]; }

template <typename T, std::size_t I0, std::size_t ... Is>
auto blenderH (double t, T const & arr, 
               std::index_sequence<I0, Is...> const &)
   -> std::enable_if_t<0U != sizeof...(Is), int>
 { return   (1-t) * blenderH(t, arr, std::index_sequence<(Is-1U)...>{})
          +    t  * blenderH(t, arr, std::index_sequence<Is...>{}); }

template <typename ... Args>
int blender (double t, Args ... as)
 {
   static constexpr auto size = sizeof...(Args);

   return blenderH(t, std::array<int, size>{ { as... } },
                   std::make_index_sequence<size>{});
 }

int main()
 { std::cout << blender(.3, 23, 42, 89) << std::endl; }

К сожалению, это решение также работает (std::index_sequence и std::make_index_sequence), начиная с C++14.

-- ИЗМЕНИТЬ--

Калет говорит.

Некоторое объяснение того, что здесь происходит, поможет. Меня смущает отсутствие I0 в теле второй перегрузки.

Я пытаюсь объяснить.

Предположим, вызывается рекурсивная версия BlenderH() (вторая перегрузка) со списком индексов в значении std::index_sequence. Произнесите 5, 6, 7 и 8; так что I0 равно 5, а Is... равно 6, 7, 8.

Мы должны рекурсивно вызвать blenderH() сначала с индексами 5, 6, 7, а затем с 6, 7, 8.

Мы можем избежать использования I0 (5), потому что

• 5, 6, 7 получается из 6, 7, 8, уменьшая на 1 каждое значение (так что std::index_sequence<(Is-1U)...> для первого рекурсивного вызова)

• а 6, 7, 8 это Is... без изменений (поэтому std::index_sequence<Is...> во втором.

С практической точки зрения I0 объявляется только отбрасываемым; нет необходимости его использовать.

template<std::size_t I>
using count = std::integral_constant<std::size_t, I>;

namespace details {

  template<class...Args, std::size_t N,
    typename std::enable_if<sizeof...(Args)==N, bool>::type = true
  >
  int Blender( count<N> drop, double t, int i, Args...args ) {
    return i;
  }
  template<class...Args, std::size_t N,
    typename std::enable_if<sizeof...(Args)!=N, bool>::type = true
  >
  int Blender( count<N> drop, double t, int i, Args...args ) {
    return (1-t)*Blender( count<N+1>{}, t, i, args... ) + t*Blender( count<N>{}, t, args... );
  }
}

template <typename ...Args>
int Blender( double t, int first, Args... more)
{
  return details::Blender( count<0>{}, first, more... );
}


static void tryit()
{
  Blender(.5, 23, 42, 89); //doesn't compile
}

здесь count<N> подсчитывает количество аргументов в конце, которые следует игнорировать.

Две перегрузки details охватывают случай, когда N равно количеству аргументов в пакете (и, следовательно, у нас остался 1 аргумент), и когда это не так. Они отправляются с использованием SFINAE.

Это на самом деле очень просто, если вы понимаете, что ограничение находится в выводе пакета типов, а не в вызове функции. Нам просто нужен способ использовать пакет типов, который мы можем вывести, и передать его явно, избегая вывода в функции, которая должна получить последний параметр:

int Blender( double t, int i)
{
    return i;
}

template <typename ...Args>
  int Blender( double t, int first, Args... more);

template <typename ...Args>
  int BlenderWithoutLast( double t, Args... more, int last)
{
    return Blender(t, more...);
}

template <typename ...Args>
  int Blender( double t, int first, Args... more)
{
    return (1-t)*BlenderWithoutLast<Args...>(t, first, more...) + t*Blender(t, more...);
    //    all the magic happens here ^^^^^
}

и теперь ваш тестовый пример компилируется и запускается

#include <iostream>
int main()
{
    std::cout << Blender(.5, 23, 42, 89);
}

Для меня это работает с clang и --std=c++11