для определение типа переменной можно использовать оператор typeid,
который возвращает значение типа type_info
чтобы получить имя типа - следует обратиться к методу(вызвать метод)name() возвращаемого значения/
В примере ниже я определяю тип параметра переданного в конструктор шаблона -
(на месте С - в качестве параметра typeid может быть любой параметр, или имя типа) =