Шаблонная функция с parameter pack в начале списка аргументов void foo(Args... args, T value), можно ли создать?

Question

[tugo]

Добрый день!

Хочется написать шаблонную функцию, у которой последний параметр определенного типа или может отсутствовать.
Пример использования:

std::string info;
foo(1, 2, 4, 67);
foo(1);
foo(2, 3, 4, 5, 6, info);

Типы в pack - только int, double и другие интегральные типы
Последний параметр - std::string

Это вообще возможно?

Дальше, фантазии.
Предполагается, что функция будет выглядеть как-то так:

template<typename... Args>
void foo(Args... args)
{ }

Возможно, понадобилась бы перегруженная функция:

template<typename... Args, typename T = std::string>
void foo(Args... args, const T& info)
{ }

Comments

[Евгений Шатунов]

tugo , давай немного порассуждаем.
Каким образом определяются шаблонные параметры шаблона функции в случае если при инстанцировании они не были явно указаны?

[tugo]

Евгений Шатунов, с помощью вывода параметров шаблона из типа аргументов переданных функции.
Подозреваю, что в данном случае, это невозможно.
Но надеялся на трюки с шаблонами, std::enable_if и вот это вот всё, когда таки всё получится )

[Евгений Шатунов]

tugo, описанный тобой в вопросе синтаксис принципиально невозможен. Вывод вариативного набора шаблонных параметров делается только для хвоста переданных в шаблон аргументов [?].

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

[tugo]

Евгений Шатунов, спасибо. Раз нельзя, значит не буду мучаться.

Нужно было для модификации существующего кода. Функция отправки команды по COM порту.

std::tuple<bool, QByteArray> sendCommand(uint8_t command, const QByteArray& data, const QString& info)

info - необязательный параметр.
info, если передавалось, выводилось в логе, в видe:

command: ForwardRotate     result:  "OK"   info:  "central motor, speed 255, direction forward"

В QByteArray собирались данные по протоколу - адрес устройства, команда, параметры команды.
Раньше, данные готовились перед вызовом функции.

QByteArray data;
ds(&data, QIODevice::WriteOnly);
.setFloatingPointPrecision(QDataStream::SinglePrecision);
ds << motorNumber << angle;

sendCommand(ForwardRotate, data);

А сейчас захотелось все упростить до 1 строки
sendCommand(ForwardRotate, motorNumber, angle)

Ну и info иногда подкидывать, когда нужна расшифровка команды.

[tugo]

Евгений Шатунов,
info был необязательный параметры, поэтому хотелось при вызове его последним ставить.

sendCommand(ForwardRotate, motorNumber, angle, info)

Ничего, сделал перегруженные варианты, когда есть info и когда его нет.

sendCommand(ForwardRotate, motorNumber, angle)
sendCommand(ForwardRotate, info, motorNumber, angle)