Dapatkah std :: konstruktor rentang vektor meminta konversi eksplisit?

Apakah program berikut ini terbentuk dengan baik?

#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());
}

Menurut C ++ 17 [sequence.reqmts], persyaratan untuk

X u(i, j);

di mana Xadalah wadah urutan, adalah:

Takan EmplaceConstructiblemenjadi Xdari *i.

Namun, dalam paragraf sebelumnya dinyatakan bahwa:

idan jmenunjukkan iterator yang memenuhi persyaratan input iterator dan merujuk pada elemen yang secara implisit dapat dikonversi ke value_type,

Jadi menurut saya kedua persyaratan tersebut harus dipenuhi: tipe nilai dari rentang harus secara implisit dapat dikonversi ke tipe nilai kontainer, dan EmplaceConstructible harus dipenuhi (yang berarti pengalokasi harus dapat melakukan inisialisasi yang diperlukan) . Karena inttidak secara implisit dikonversi ke A, program ini harus dibuat dengan buruk.

Namun, yang mengejutkan, sepertinya dikompilasi di bawah GCC .

Ini hanya persyaratan untuk wadah urutan untuk mendukung konstruksi dari iterator yang memenuhi kriteria konvertibilitas implisit.

Ini tidak dengan sendirinya melarang kontainer berurutan untuk mendukung konstruksi dari iterator yang tidak memenuhi kriteria sejauh yang saya tahu ¹ . Ada aturan eksplisit tentang itu:

Jika konstruktor ... dipanggil dengan tipe InputIterator yang tidak memenuhi syarat sebagai iterator input , maka konstruktor tidak akan berpartisipasi dalam resolusi kelebihan beban.

Tidak jelas apa "memenuhi syarat sebagai input iterator" berarti persis dalam konteksnya. Apakah ini cara informal untuk mengekspresikan Cpp17InputIterator, atau apakah ia mencoba merujuk persyaratan i dan j? Saya tidak tahu Apakah diizinkan atau tidak, standar tidak memiliki persyaratan ketat untuk mendeteksinya:

[container.requirements.general]

Perilaku fungsi anggota wadah tertentu dan panduan pengurangan tergantung pada apakah jenis memenuhi syarat sebagai iterator input atau pengalokasi. Sejauh mana suatu implementasi menentukan bahwa suatu jenis tidak dapat menjadi iterator input tidak ditentukan, kecuali bahwa sebagai tipe integral minimum tidak boleh memenuhi syarat sebagai iterator input. ...

Dengan interpretasi bahwa setiap Cpp17InputIterator "memenuhi syarat sebagai input iterator", program contoh tidak akan diminta untuk dibentuk dengan buruk. Tapi itu tidak dijamin akan terbentuk dengan baik.

¹ Dalam kasus seperti itu, ini mungkin dianggap sebagai kualitas masalah implementasi untuk diperingatkan ketika mengandalkannya. Di sisi lain, pembatasan konversi implisit ini dapat dianggap sebagai cacat .

PS Ini mengkompilasi tanpa peringatan di Dentang (dengan libc ++) dan Msvc juga.

PPS Kata-kata ini tampaknya telah ditambahkan dalam C ++ 11 (yang alami, seperti yang juga konstruktor eksplisit juga diperkenalkan).