Здравствуйте коллеги.
Представьте себе, что нужно проинициализировать объект с очень сложным названием типа и передать его куда-то дальше, например в качестве аргумента функции.
Пример, имеется функция принимающая объект с каким то сложным типом (для примера написал от болды):
Чтобы вызвать данную функцию с передачей объекта нужно написать следующее:
В данном случае нам пришлось снова написать название типа в точность совпадающее с ожиданиями функции. А вот бы было хорошо, если бы мы могли просто указать через запятую аргументы, а нужный конструктор бы вызвался сам, ведь он известен в качестве ожидаемого аргумента функции foo. Для этого нужно создать какой то универсальный конструктор, и выглядело бы это примерно так:
Для этого нужно, чтобы функция constructor создала бы какой то универсальный контейнер, поместила бы в него все перечисленные аргументы, а при попытке преобразовать этот контейнер к какому то типу - он попытался бы вызвать его конструктор с передачей всех вложенных в него значений.
А самое важное, чтобы вся эта операция произвелать на этапе компиляции и в результате ни чем бы ни отличалась от прямого вызова конструктора.

Попробуем решить эту задачу. Забегая вперед скажу, что мне это удалось.
Для решения этой задачи нам понадобится универсальная переменная, способная хранить как копии объектов, так и указатели и ссылки. хотя указатель и копия в данном случае одно и тоже, а вот со ссылкой сложнее.
Данный класс позволяет принимать нам любые аргументы.
Все методы имеют атрибут constexpr и могут вычисляться на этапе компиляции.
Здесь все относительно просто, принимаем любой аргумент и сохраняем его копию, а в случае со ссылкой преобразовываем ее в указатель и обратно.
Сама специализация необходима, чтобы отсеять аргументы по ссылке, чтобы создать универсальность, а вот без преобразования в указатель компилятор отказывается выполнять на этапе компиляции, хотя казалось бы в чем разница, храним мы в указателе или в ссылке.

Дальше посложнее. На нужно создать универсальный контейнер с неограниченным числом аргументов произвольных типов:
Рекурсивный контейнер принимает неограниченное число аргументов различных типов и помещает первый аргумент к себе, а остальные во вложенный контейнер с оставшимися аргументами, пока не дойдем до последнего аргумента.
Также этот контейнер имеет оператор преобразования к любому требуемому типу вызывая рекурсивный метод get с вложением всех имеющихся аргументов.
Все аргументы передаются в качестве rvalue аргументов до самого конечного получателя UniversalValue, чтобы не потерять ссылки.

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

Ну и напоследок приведу пример:
В данном примере я передал как копию, так и ссылку и указатель и все это поместилось в кодовую память на этапе компиляции

Добавлено @ 13:50
Немного оптимизировал код вложив UniversalValue в контейнер, чтобы его не было видно

Это сообщение отредактировал(а) Ivan. - 14.12.2015, 09:21

KISS!

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

Хотя и красиво   

Велик и могуч сипипишный язык. По истине великую силу получил с++ с введением const expression и variadic template

Это сообщение отредактировал(а) Ivan. - 11.12.2015, 16:51

А ТС уверен, что код, сгенрированный таким образом не слишком усложнится.

Возможно, в следующих версиях языка мы сможем написать 
без всякого усложнения сгенерированного кода.

  Хорошая идея назвать метод auto, только ключевое слово auto уже занято. Не смотря на то, что это метод, и следовало бы назвать его с маленькой буквы, он выполняет роль автоматического конструктора и по этому я решил назвать его с большой буквы Auto. Получается очень лаконично.