std :: vector範囲コンストラクターは明示的な変換を呼び出すことができますか？

次のプログラムは整形式ですか？

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

C ++ 17 [sequence.reqmts]によると、

X u(i, j);

どこXシーケンスコンテナは、されています。

TでなければならEmplaceConstructibleにXから*i。

ただし、前の段落では、次のように述べられています。

iそして、j表すイテレータは入力イテレータの要件を満たすとに暗黙的に変換要素を指しvalue_type、

したがって、両方の要件が満たされる必要があるように思えます：範囲の値の型は、コンテナーの値の型に暗黙的に変換可能で EmplaceConstructibleなければならず、満たす必要があります（つまり、アロケーターは必要な初期化を実行できる必要があります） 。以来intに暗黙的に変換できませんA、このプログラムは、病気に形成されなければなりません。

ただし、驚くべきことに、GCCでコンパイルされているようです。

暗黙的な変換可能性の基準を満たす反復子からの構築をサポートするのは、シーケンスコンテナーの要件のみです。

これだけでは、シーケンスコンテナが、私が知る限り、その基準を満たさないイテレータからの構築をサポートできないようにすることはありません¹。それには明確なルールがあります：

コンストラクター...が、入力イテレーターとして適格でない型InputIteratorで呼び出された場合、コンストラクターはオーバーロードの解決に参加しません。

「入力反復子としての資格」がコンテキスト内で正確に何を意味するのかは不明です。Cpp17InputIteratorを表現する非公式な方法ですか、それともiおよびjの要件を参照しようとしますか？知りません。許可されているかどうかにかかわらず、標準にはそれを検出するための厳密な要件はありません。

[container.requirements.general]

特定のコンテナーメンバー関数と演繹ガイドの動作は、型が入力イテレーターまたはアロケーターとして適格かどうかによって異なります。型が入力反復子になり得ないと実装が判断する範囲は、最小整数型が入力反復子としての資格を持たないことを除いて、指定されていません。...

Cpp17InputIteratorは「入力反復子としての資格」があるという解釈により、サンプルプログラムは不正な形式である必要はありません。しかし、それが整形式であることも保証されていません。

¹このような場合、依存するときに警告することは、実装品質の問題と見なされる場合があります。一方、暗黙的な変換に対するこの制限は、欠陥と見なされる場合があります。

PSこれは、Clang（libc ++を使用）およびMsvcでも警告なしにコンパイルされます。

PPSこの表現はC ++ 11で追加されたようです（これは、明示的なコンストラクターも導入されたため、当然のことです）。