Chuyển đổi ngầm định từ int sang vectơ?

Question

vector<T> có một constructor mà mất kích thước của vector, và như xa như tôi biết nó là rõ ràng, có thể được chứng minh bằng thực tế là đoạn mã sau thất bại trong việc biên dịch

void f(std::vector<int> v); 
int main() 
{ 
    f(5); 
} 

Những gì tôi không thể hiểu và đang yêu cầu bạn giải thích là tại sao đoạn mã sau biên dịch

std::vector<std::vector<int>> graph(5, 5); 

nó không chỉ biên dịch, nó thực sự thay đổi kích thước đồ thị đến 5 và đặt từng yếu tố để một vector trong số năm số không, tức là không giống như sẽ là mã tôi thường viết:

std::vector<std::vector<int>> graph(5, std::vector<int>(5)); 

Làm cách nào? Tại sao?

Compiler: MSVC10.0

---

OK, dường như đó là một lỗi MSVC (chưa nhau). Nếu ai đó có thể xây dựng trên lỗi trong câu trả lời (tức là tóm tắt các trường hợp lỗi được sao chép) Tôi sẽ sẵn sàng chấp nhận nó

Answer 1

Nó không thực sự là một lỗi. Câu hỏi đặt ra là điều gì có thể sai khi cho phép đoạn mã thứ hai trong khi mã đầu tiên không biên dịch?

Vấn đề là trong khi có vẻ như rõ ràng cho bạn những gì constructor bạn muốn gọi khi bạn làm:

std::vector<std::vector<int>> graph(5, 5); 

nó không phải là quá rõ ràng đối với trình biên dịch. Đặc biệt có hai quá tải nhà xây dựng có khả năng có thể chấp nhận đối số:

vector(size_type,const T& value = T()); 

template <typename InputIterator> 
vector(InputIterator first, InputIterator last); 

Người đầu tiên đòi hỏi sự chuyển đổi của 5-size_type (đó là unsigned), trong khi thứ hai là một trận đấu hoàn hảo, do đó sẽ là một trình biên dịch đã chọn ...

...nhưng trình biên dịch đòi hỏi sự quá tải thứ hai, nếu suy luận kiểu InputIterator là cư xử không thể thiếu như thể nó là một lời kêu gọi:

vector(static_cast<size_type>(first),static_cast<T>(last)) 

gì tiêu chuẩn C++ 03 có hiệu quả ủy nhiệm là đối số thứ hai là rõ ràng được chuyển đổi từ loại gốc int thành loại đích std::vector<int>. Bởi vì chuyển đổi rõ ràng bạn nhận được lỗi.

Chuẩn C++ 11 thay đổi từ ngữ để sử dụng SFINAE để vô hiệu hóa hàm tạo lặp nếu đối số không thực sự là trình lặp đầu vào, vì vậy trong trình biên dịch C++ 11 mã sẽ bị từ chối (có thể là lý do một số đã tuyên bố đây là một lỗi).

Answer 2

std :: vector < int> có hàm tạo chấp nhận size_type và const int &. Đây là hàm khởi tạo mà tôi mong muốn được gọi trong trường hợp này, khởi tạo vectơ để có 5 int, mỗi giá trị có giá trị 5.

Answer 3

Đây thực sự là phần mở rộng chứ không phải lỗi.

Hàm khởi tạo được gọi là hàm nhận hai trình lặp (nhưng thực sự, chữ ký sẽ khớp với hai tham số của cùng một loại); sau đó nó gọi một chuyên môn hóa khi hai trình vòng lặp thực sự là int, trong đó xây dựng một cách rõ ràng value_type bằng cách sử dụng giá trị end và điền vào vectơ với begin các bản sao của nó.

Answer 4

Đối với tôi nó có vẻ như nó đang gọi constructor này:

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

Tôi không chắc chắn nơi explicit đi vào nó, bởi vì các nhà xây dựng có nhiều tham số. Nó không tự động đúc từ một int đến một vector.