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

R>Почему list, a не set.
Один из возможных элементов коллекции "диаппазон целых с заданным шагом". И сколько будет занимать такой set для достаточно обширных диаппазонов?

R>Зачем нужен optional — почему нельзя просто проверить коллекцию на пустоту.
Пустое множество — допустимый вариант, в отличие от несуществующего.

R>Ну и наконец, зачем нужен variant, почему бы просто не выбрать целый тип максимальной ёмкости.
Одна из причин уже указана выше — тип "IntRange". Вторая — размер важен, 8l, 8u и 8ull — разные элементы.