Как проверить тип переменной

Question

Мне нужно проверить, что переменная является определенным типом.

Есть ли способ проверить тип переменной в Ada?

Я пробовал смотреть на атрибуты Ады, но ничего не видел.

Answer 1

Ada - строго типизированный язык, поэтому нет необходимости иметь функцию, чтобы возвращать тип переменной, как есть в Python или Ruby (языки с утиным языком), потому что когда вы объявляете переменную, вы указываете ее тип. Программа уже знает свой тип.

Если переменная X объявлена ​​с типом T'Class, то тип фактического значения может быть T или любым типом, производным от T. В этом случае вы можете использовать X'Tag для получения тега значения фактический тип, который ближе всего подходит для получения фактического типа. После того, как у вас есть тег, вы можете делать такие вещи, как получение имени типа (для этого есть функции для Ada.Tags), сравнивая его с тегом какого-либо типа, чтобы увидеть, является ли он этим типом и т. Д. Но Integer не является помеченным тип, поэтому вы не можете использовать «Tag» на нем, и для него не будет необходимости, потому что это примитивный тип.