Мне было интересно, могу ли я иметь пакеты параметров, состоящие из одного, явно определенного типа. Например, что-то вроде этого:

#include <iostream>

using namespace std;

void show() { }

template<typename First, typename... Rest>
void show(First f, Rest... rest)
{
    cout << f << endl;
    show(rest...);
}

void foo(int f, int... args) // error
{
    show(f, args...);
}

int main()
{
    foo(1, 2, 3);
}

У меня проблема с определениемfoo(), С OS X clang ++ версии 5 (llvm 3.3svn) я получаю ошибкуerror: type 'int' of function parameter pack does not contain any unexpanded parameter packs.

Конечно, я могу получить его для компиляции, изменивfoo() в шаблон функции:

template<typename... Args>
void foo(int f, Args... args)
{
    show(f, args...);
}

Однако сейчасfoo() примуint по первому параметру, и все, что выводится, для остальных. Например:

struct x { };
ostream& operator<<(ostream& o, x)
{
    o << "x";
    return o;
}

int main()
{
    foo(1, 2, x(), 3); // compiles :(
}

Теперь я виделпринятое решение здесь который предлагает использовать черты типа иstd::enable_if, но это громоздко. Они также предложили использоватьstd::array но я думаю простойstd::initializer_list работает просто отлично и выглядит чище, вот так:

void foo_impl(initializer_list<int> ints)
{
    for(int i: ints)
        cout << i << endl;
}

template<typename... Args>
void foo(int f, Args... args)
{
    foo_impl({f, args...});
}

struct x { };
ostream& operator<<(ostream& o, x)
{
    o << "x";
    return o;
}

int main()
{
    foo(1, 2, 3);
    foo(1, 2, x(), 3); // no longer compiles
                       // we also get an error saying no known conversion from 'x' to 'int' :)
}

Так что это аккуратно. Но остается вопрос, нужно ли это? Неужели нет способа определить не шаблонную функцию, которая принимает пакет параметров определенного типа? Нравится:

void foo(int... args) { }