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

C>задача состоит в том, чтобы каждый раз не приводить к типу
C>test_t(struct_t<int>(10));
C>ведь угадывает же компилятор, если есть

ошибка компилятора довольна точна: не получается вывести тип T (т.к. речь идет о целом семействе типов) из входного аргумента 10 типа int. надо как-то подсказать компилятору что вы хотите: struct_t<double> или struct_t<int> или struct_t<int64_t> или еще что