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

<>
В случае с парой всё просто: размерность кортежа заранее известна, и транспонировать список пар аргументов в пару списков не составит труда.
Поэтому сразу можно сконструировать пару некопируемых-неперемещаемых типов, которая сама становится некопируемой-неперемещаемой.

А в случае с кортежом произвольной размерности — фиг.
Компилятор позволяет или сразу подставить список аргументов-скаляров в конструктор (тогда можно создать некопируемый-неперемещаемый кортеж), или должен прибегнуть к рекурсии.
А для рекурсии нужно копирование-перемещение, либо особая макросная магия — как в старом добром C++98.