Почему предупреждение о сужении конверсии появляется только в случае инициализации списка?

У меня есть следующий код:

class A
{
    public:
        A(const unsigned int val) : value(val) {}

        unsigned int value;
};

int main()
{
    int val = 42;
    A a(val);
    A b{val};       // <--- Warning in GCC, error in Microsoft Visual Studio 2015

    return 0;
}

Почему предупреждение об уменьшении сужения появляется только в случае использования инициализации списка?

ОТВЕТЫ

Ответ 1

инициализация списка была введена с С++ 11 с функцией, запрещающей неявное сужение конверсий между встроенными типами. В то же время две другие формы "старого стиля" (начиная с С++ 98), которые используют круглые скобки и знак равенства, например

int val = 42;
A a(val);
A a = val;

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

Ответ 2

В соответствии со стандартом сужение конверсий в этом контексте является незаконным. В другом контексте они являются законными. (Под "незаконным", я имею в виду сделать программу плохо сформированной).

Стандарт требует, чтобы компилятор выдал диагностику в этом конкретном случае (сделать программу плохо сформированной). Что делает компилятор после испускания диагностики, стандарт оставляет undefined.

MSVC решает прекратить компиляцию. Gcc выбирает испускать носовых демонов притворяться, что программа имеет смысл, выполняет преобразование и продолжает компилироваться.

Оба предупреждения и ошибки являются диагностикой в ​​отношении стандарта. Традиционно ошибки - это то, что вы называете диагностикой, которая предшествует компиляции компилятора.

Также обратите внимание, что компиляторы могут свободно испускать диагностику, когда захотят.

Традиционно предупреждения используются, когда вы делаете что-то, что стандартное диктует, - это хорошо сформированная программа, но авторы компилятора считают, что не рекомендуется, и ошибки, когда стандарт обнаруживает плохо сформированную программу, но большинство компиляторов не применяют это строго.

Ответ 3

Причина предупреждения уже объясняется другими ответами.

Вот как исправить это предупреждение/ошибку. Создайте конструктор, который принимает значение initializer_list в качестве аргумента.

A(std::initializer_list<int> l) : value(*(l.begin())) { 
    cout << "constructor taking initializer list called\n";
}