5

Почему в следующем коде нет ошибок компиляции, но clang-tidy выдаёт ошибку? Компилирую с помощью gcc.

non-constant-expression cannot be narrowed from type int to std::byte

int i = 42;
std::byte byte{i};
8

1 ответ 1

5

Тип std::byte определяется как

enum class byte : unsigned char {};
                  ^^^^^^^^^^^^^  

Согласно стандарту C++17 (Draft №4714)

(3.8) — Otherwise, if T is an enumeration with a fixed underlying type (10.2), the initializer-list has a single element v, and the initialization is direct-list-initialization, the object is initialized with the value T(v) (8.5.1.3); if a narrowing conversion is required to convert v to the underlying type of T, the program is ill-formed. [ Example:

enum byte : unsigned char { };
byte b { 42 }; // OK
byte c = { 42 }; // error
byte d = byte{ 42 }; // OK; same value as b
byte e { -1 }; // error

Так как у вас используется не константное выражение при прямой инициализации

int i = 42;
std::byte byte{i};

то компилятор выдает сообщение об ошибке.

Также из этого же стандарта

7.4) — from an integer type or unscoped enumeration type to an integer type that cannot represent all the values of the original type, except where the source is a constant expression whose value after integral promotions will fit into the target type.

Можно было бы написать

const int i = 42;
std::byte byte{i};
5
  • Только не очень понял, что в цитате отвечает за константность инициализатора. Narrowing conversion не происходит для константного выражения по определению?
    – Summoner
    27 дек 2018 в 19:24
  • @Summoner для константного выражения компилятор может определить, происходит narrowing или нет, для неконстантного не может и если тип больше, то требуется narrowing.
    – Slava
    27 дек 2018 в 19:25
  • @Summoner Сейчас не помню надо искать в стандарте, но можно инициализировать объект константой, если значение константы умещается в типе объекта. Тогда сужения не происходит. 27 дек 2018 в 19:27
  • @Summoner Я добавил еще одну цитату. 27 дек 2018 в 19:33
  • @VladfromMoscow спасибо, теперь всё ясно
    – Summoner
    27 дек 2018 в 19:35

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.