Rõ ràng khởi tạo vector của con trỏ dẫn đến lỗi chuyển đổi?

Question

Hãy xem xét điều này:

std::vector<int*> v(1, 0); 

này biên dịch tốt với VC++ 10 (không có cảnh báo ngay cả ở mức báo động tối đa). Tuy nhiên, nó không biên dịch với llvm trên mac hoặc gcc trên linux, đưa ra một lỗi như "gán cho int * từ int không tương thích kiểu int." Tôi không tìm kiếm giải pháp - Tôi biết tham số thứ hai là không cần thiết hoặc một static_cast sửa lỗi.

Tôi nghĩ số không được chuyển đổi hoàn toàn thành bất kỳ loại con trỏ nào. Đưa cái gì? Tôi có thể làm như sau:

int* i = 0; 
int* const& ii = 0; 
const int t = 0; 
i = t; 

Tôi hiểu rằng chữ ký constructor vector mất một const T& mà khi mở rộng cho vector<int*> trở thành int* const& có đúng không? Ai đó có thể giải thích những gì đang xảy ra ở đây, và cho dù trình biên dịch VC++ hoặc phi VC++ là chính xác?

Answer 1

Dường như g ++ thực sự sai ở đây. Xem C++ 98 23.1.1/9:

Đối với mỗi chuỗi quy định tại khoản này và tại khoản 21:

- các constructor mẫu X (InputIterator f, InputIterator l, const cấp phát & a = Allocator())

sẽ có cùng hiệu lực là: X(static_cast<typename X::size_type>(f), static_cast<typename X::value_type>(l), a) nếu InputIterator là loại tích phân .

Lưu ý rằng InputIterator là tham số mẫu cho hàm tạo, trong trường hợp này là int cho ví dụ của bạn và do đó là một loại tích phân. Thư viện g ++ thực sự có mã cụ thể để xử lý tất cả các trường hợp mà kiểu được lưu trữ trong vector cũng không thể thiếu và tất cả các mã đó đều hoạt động bình thường. Trong trường hợp này, chỉ vì bạn đã sử dụng 0, số static_cast được quyết định bởi tiêu chuẩn thực sự là hợp pháp. Tôi đã thử biên dịch mã mà tiêu chuẩn nói phải tương đương và nó biên dịch với g ++ 4.5.

Answer 2

std::vector có một constructor khó chịu với chữ ký này

template <class InputIterator> 
vector(InputIterator first, InputIterator last, 
     const Allocator& = Allocator()); 

đó, nếu trình biên dịch khấu trừ InputIterator như int (!) Từ thông số của bạn 0 và 1, sẽ là một sự phù hợp tốt nhưng không làm những gì chúng ta muốn.

Tôi tin rằng C++ 11 yêu cầu trình biên dịch thử khó hơn để tìm hiểu xem các tham số có thực sự là trình lặp hay không. Trong C++ 03, chúng có thể sẽ kết thúc là size_type(1) và int(0), gây ra sự cố của bạn.

Số nguyên chữ 0 có thể chuyển đổi thành con trỏ rỗng, nhưng int có giá trị 0 thì không!