Здравствуйте, rg45, Вы писали:

R>Здравствуйте, niralex, Вы писали:

N>>С fold expressions знаком. Вопрос как раз в "способе комбинирования". Слишком большое число комбинаций. Например для 15 типов это 15!=1307674368000 комбинаций. А еще типы подобные array<n, TMyType>, где в идентификаторе типа нужно учитывать n типа size_t.

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

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