Различия в сужении в C++ 11 между списками назначения и инициализации

Question

C++ 11 предоставил нам списки инициализации. Я узнал, что они не выполняют сужающие преобразования, которые иногда разбивают компиляцию существующего кода, например, при работе на значениях перечислений с неявно Интом-уширенных значениями:

enum COMMAND 
    { 
    COMMAND_WRITE_MISC_CONFIG = 0x70 
    }; 


    struct CommandSettings 
    { 
    quint8 buddy; 
    }; 


    void NarrowingTest::testNarrowing() 
    { 
    quint8 i = 100; 
    CommandSettings test{static_cast<quint8>(COMMAND_WRITE_MISC_CONFIG | i)}; 
    quint8 x = COMMAND_WRITE_MISC_CONFIG | i; 
    QVERIFY(true); 
    }  

Инициализация из test не будет компилироваться без актеры.

То, что я ищу, является обоснованием инициализации назначения x, все еще работающей.

Answer 1

CommandSettings test{static_cast<quint8>(COMMAND_WRITE_MISC_CONFIG | i)}; 

Это aggregate initialization.

Из приведенной выше ссылки:

Эффектов агрегатных инициализаций являются:

...

Если условие инициализатора является выражением неявных преобразований являются разрешено в соответствии с авторских инициализация, за исключением случаев, когда они сужаются (как в списке-инициализации) (начиная с C++ 11).

---

quint8 x = COMMAND_WRITE_MISC_CONFIG | i; 

Это copy initialization.

Из приведенной выше ссылки:

эффектов инициализации копии является:

...

В противном случае (если ни Т, ни типа других типов классов), стандартные преобразования используются, если необходимо, чтобы преобразовать значение другое в cv-неквалифицированную версию T.

Он должен допускать сокращение конверсий, по меньшей мере, для обратной совместимости.