Так как вы сказали, что хотите имя во время выполнения, это окончательное "нет".В C данные - это просто байты в памяти и вообще не имеют внутреннего типа.Только объявление типа сообщает компилятору, какой скомпилированный код должен ожидать тип.
Однако имеет смысл, чтобы компилятор C мог распознавать тип переменной при компиляциивремя, и это было бы здорово для реализации таких вещей, как утверждения равенства с дружественным выводом в рамках модульного тестирования.Хотя я не вижу, чтобы у C тоже было что-то подобное.
Кто-нибудь знает, все еще разрабатываются новые версии спецификации ANSI C?Идентификация типа во время компиляции была бы отличной вещью.Может быть, целочисленные константы для внутренних типов и тест на равенство типов для внутренних или определенных типов?