Для избежания копирования объектов в функциях пересылки, вместе с возможностью передать все возможные типы используется примерно следующий код:

Как сделать тоже самое для вариативного шаблона?

а разве такое бывает? Там где надо несколько вариантов шаблона с разными параметрами, используют множество объявлений этих шаблонов (с одним параметром, двумя, тремя,...).

По-моему, никак. Я бы просто передавал кучу variant-ов в func(...).

Добавлено через 30 секунд
Хотя нет. Я бы вообще такого не стал делать.

В новом стандарте этого не потребуется, будут вариативные шаблоны (с переменным числом параметров).

Но вот я тут немного ступил, проблема не в вариативном шаблоне, а в концепции функции пересылки.
Мой пример работает только если типы параметров заранее известны (кстати вопрос всё равно остается открытый, как к набору параметров добавить ссылочный тип, с учетом того, что в наборе уже могут быть ссылки).

Конкретно моя проблема  пришла к следующей, есть:

Все отлично, пока не попытаться передать ссылку, т.е. если требуется вызвать например internal(Class & cl).

В Sutter 2002, 10.6, где обсуждаются функции пересылки этот вопрос почему-то не поднимался. А у Александреску проблема решается как в примере в первом после, но там заранее известны типы аргументов. Но чаще они не известны. Больше я пока ничего не нашел.

Это сообщение отредактировал(а) georain - 18.1.2010, 17:05

глубоко в этом вопросе не разбирался, но уж больно часто r-value references упоминаются в связи с "perfect forwarding", которое, если я не ошибаюсь, как раз и описывает эту проблему

Спасибо! "Perfect forwarding" в самом деле описывает и решает эту проблему, и даже больше!

Теперь в новом стандарте можно будет писать (в gcc-4.4 уже можно) так:

и так


Это сообщение отредактировал(а) georain - 19.1.2010, 13:12