Tại sao không có chuyển đổi thu hẹp trong mã này, dẫn đến lỗi?

Question

g++ với -std=c++11 dường như chấp nhận nó:

#include <vector> 
#include <initializer_list> 

std::vector<float> vf={1,2,3}; // Isn't this narrowing (i.e., an error)? 

int main() {} 

Có vẻ như rằng phù hợp với những nhận xét nên lôi ra, nhưng nó không.

Cập nhật

Nhờ Jesse cho trỏ đến các standardese (8.5.4 p7) định nghĩa tại sao điều này là OK. Dưới đây là một số mẫu mã giúp làm rõ các hành vi được xác định theo tiêu chuẩn:

const int v5=5; 
int v6=6; 

vector<double> vd1={1,2,3,4};  // OK 
vector<double> vd2={1,2,3,4,v5}; // Still OK, v5 is const 
vector<double> vd3={1,2,3,4,v5,v6}; // Error, narrowing conversion, because v6 
            // is non-const 
vector<double> vd4={1,2,3,4,v5,static_cast<const int>(v6)}; // Also errors on 
            // gcc 4.7.2, not sure why. 

Tôi hy vọng rằng các ví dụ tôi vừa trình bày sẽ giúp đỡ người khác vượt qua một số vấn đề thu hẹp khi sử dụng danh sách khởi tạo.

Nếu có ai biết lý do trường hợp cuối cùng vi phạm định nghĩa chuẩn, vui lòng đăng nhận xét.

Answer 1

Các quy định là trong 8.5.4 p7 mà không bao gồm các ví dụ của bạn

từ một loại nguyên hoặc kiểu enumeration unscoped đến một dấu chấm động loại, trừ trường hợp nguồn là một biểu thức hằng số và giá trị thực tế sau khi chuyển đổi sẽ phù hợp với mục tiêu ty pe và sẽ tạo ra giá trị ban đầu khi được chuyển đổi trở lại loại gốc hoặc & hellip;

^{(tôi nhấn mạnh)}

Answer 2

Tôi không thấy lý do tại sao điều này sẽ xảy ra lỗi vì tất cả ba số nguyên có thể được biểu diễn chính xác là float.

Điều đó nói rằng, tôi có thể nhận g++ để cung cấp cho tôi một cảnh báo nếu tôi bao gồm một hằng số không phù hợp trong một float:

warning: narrowing conversion of '2112112112' from 'int' to 'float' inside { } [-Wnarrowing]