Trình xây dựng phạm vi std :: vector có thể gọi chuyển đổi rõ ràng không?

Chương trình sau đây có được hình thành tốt không?

#include <vector>
struct A {
    explicit A(int) {}
};
int main() {
    std::vector<int> vi = {1, 2, 3, 4, 5};
    std::vector<A> va(vi.begin(), vi.end());
}

Theo C ++ 17 [Sequ.reqmts], yêu cầu đối với

X u(i, j);

nơi Xchứa một chuỗi, là:

Tsẽ được EmplaceConstructiblevào Xtừ *i.

Tuy nhiên, trong đoạn trước có ghi rằng:

ivà jbiểu thị các trình vòng lặp thỏa mãn các yêu cầu của trình vòng lặp đầu vào và tham khảo các phần tử hoàn toàn có thể chuyển đổi thành value_type,

Do đó, dường như cả hai yêu cầu cần phải được đáp ứng: loại giá trị của phạm vi phải được chuyển đổi hoàn toàn thành loại giá trị của container và EmplaceConstructible phải được thỏa mãn (có nghĩa là người cấp phát phải có thể thực hiện khởi tạo được yêu cầu) . Vì intkhông hoàn toàn có thể chuyển đổi thành A, chương trình này sẽ không được định dạng đúng.

Tuy nhiên, đáng ngạc nhiên, nó dường như được biên dịch theo GCC .

Nó chỉ là một yêu cầu cho các container theo trình tự để hỗ trợ xây dựng từ các trình vòng lặp thỏa mãn các tiêu chí về khả năng chuyển đổi ngầm định.

Điều này không tự nó không cho phép các trình tự trình tự hỗ trợ việc xây dựng đó từ các trình vòng lặp không thỏa mãn các tiêu chí đó theo như tôi có thể nói với ¹ . Có quy tắc rõ ràng về điều đó:

Nếu hàm tạo ... được gọi với Kiểu đầu vào không đủ điều kiện làm trình lặp đầu vào , thì hàm tạo sẽ không tham gia vào độ phân giải quá tải.

Không rõ "đủ điều kiện là một trình vòng lặp đầu vào" nghĩa là chính xác trong ngữ cảnh. Đây có phải là cách không chính thức để thể hiện Cpp17InputIterator hay nó cố gắng tham khảo các yêu cầu của i và j? Tôi không biết. Dù được phép hay không, tiêu chuẩn không có yêu cầu nghiêm ngặt để phát hiện ra nó:

[container.requirements.general]

Hành vi của các chức năng thành viên container nhất định và hướng dẫn khấu trừ phụ thuộc vào việc các loại có đủ điều kiện làm trình lặp hoặc phân bổ đầu vào hay không. Mức độ mà việc triển khai xác định rằng một loại không thể là một trình vòng lặp đầu vào là không xác định, ngoại trừ một kiểu tích phân tối thiểu sẽ không đủ điều kiện làm các trình vòng lặp đầu vào. ...

Với giải thích rằng bất kỳ Cpp17InputIterator nào "đủ điều kiện là một trình vòng lặp đầu vào", chương trình ví dụ sẽ không bắt buộc phải được định dạng sai. Nhưng nó cũng không được đảm bảo để được hình thành tốt.

¹ Trong trường hợp như vậy, nó có thể được coi là chất lượng của vấn đề triển khai để cảnh báo khi dựa vào nó. Mặt khác, giới hạn chuyển đổi ngầm định này có thể được coi là một khiếm khuyết .

PS Điều này biên dịch mà không có cảnh báo trong Clang (với libc ++) và Msvc.

PPS Từ ngữ này dường như đã được thêm vào trong C ++ 11 (điều này là tự nhiên, khi đó các nhà xây dựng rõ ràng cũng được giới thiệu).