целые типы одинаковой длины одинаковой длины в параметрах шаблона

Question

При использовании в качестве параметров шаблона являются целыми типами одинаковой длины и одинаковыми значениями равноценности, т. Е. Они создают один и тот же класс шаблона при использовании в качестве шаблона параметр? Какой пункт спецификации обрабатывает этот случай?

Е.Г., рассмотрим я на архитектуру, на которой unsigned и unsigned long являются как 32-бит, тогда, например, vector<unsigned> быть другой класс как vector<unsigned long> или они будут рассматриваться в качестве одного типа?

Answer 1

Тип: Марки: unsigned int и unsigned long Гарантируются быть разными. Поясним это примечанием в стандарте:

Даже если реализация определяет два или более основных типов имеют такое же представление значения, они все-таки разные типы.

([basic.fundamental]/11)

В общем, два типа только то же самое, если один псевдоним к другому (т.е. , с typedef или using) или если оба псевдонимами к тому же типу.

Учитывая, что unsigned int и unsigned long различные типы, vector<unsigned int> и vector<unsigned long> также различные типы, даже если эти два класса имеют одинаковые макеты.

Answer 2

Если вы делаете слепой тип-литье между разными целыми типами, то приведение будет работать иногда, но обязательно каждый раз. Это связано с тем, что разные типы имеют разные минимальные и максимальные значения. Кастинг типов будет разрешен большинством компиляторов, но они будут использовать правила, которые могут быть незнакомы, что приводит к потенциально неожиданному поведению. Лучше всего исследовать эти типы, а затем гарантировать, что любой написанный вами код, который преобразует их, предотвращает непредсказуемые результаты.