Я читал о списках типов в 'современном Дизайне C++', и я понял это как некоторое объединение для типов. Путем помещения различных, несвязанных типов в список типов можно использовать его для представления больше чем одного типа...

У меня есть функция, которую я хочу выполнить для всех типов в списке типов (в настоящее время представленном списком mpl --- это вообще разумный подход?). Ключевым моментом здесь является то, что функция только ...