Il costruttore di std :: vector range può invocare conversioni esplicite?

Il seguente programma è ben formato?

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

Secondo C ++ 17 [sequence.reqmts], il requisito per

X u(i, j);

dove si Xtrova un contenitore sequenza, è:

Tdeve essere EmplaceConstructiblein Xda *i.

Tuttavia, nel paragrafo precedente si afferma che:

ie jdenota iteratori che soddisfano i requisiti di iteratore di input e fanno riferimento a elementi implicitamente convertibili in value_type,

Quindi mi sembra che entrambi i requisiti debbano essere soddisfatti: il tipo di valore dell'intervallo deve essere implicitamente convertibile nel tipo di valore del contenitore e EmplaceConstructible deve essere soddisfatto (il che significa che l'allocatore deve essere in grado di eseguire l'inizializzazione richiesta) . Poiché intnon è implicitamente convertibile in A, questo programma dovrebbe essere mal formato.

Tuttavia, sorprendentemente, sembra compilarsi sotto GCC .

È solo un requisito per i container di sequenza supportare la costruzione da iteratori che soddisfano i criteri di convertibilità implicita.

Questo da solo non impedisce ai contenitori di sequenze di supportare quella costruzione da iteratori che non soddisfano tali criteri per quanto ne so ¹ . C'è una regola esplicita al riguardo:

Se il costruttore ... viene chiamato con un tipo InputIterator che non si qualifica come iteratore di input , il costruttore non deve partecipare alla risoluzione del sovraccarico.

Non è chiaro cosa significhi "qualificarsi come iteratore di input" esattamente nel contesto. È un modo informale per esprimere Cpp17InputIterator o tenta di fare riferimento ai requisiti di iej? Non lo so. Indipendentemente dal fatto che sia consentito o meno, lo standard non ha un requisito rigoroso per rilevarlo:

[Container.requirements.general]

Il comportamento di alcune funzioni dei membri del contenitore e delle guide alla detrazione dipende dal fatto che i tipi si qualifichino come iteratori di input o allocatori. La misura in cui un'implementazione determina che un tipo non può essere un iteratore di input non è specificata, tranne per il fatto che come tipi integrali minimi non possono essere qualificati come iteratori di input. ...

Con l'interpretazione che qualsiasi Cpp17InputIterator "si qualifica come iteratore di input", il programma di esempio non dovrebbe essere mal formato. Ma non è nemmeno garantito che sia ben formato.

¹ In tal caso, potrebbe essere considerato un problema di qualità dell'attuazione da avvertire quando si fa affidamento su di esso. D'altra parte, questa limitazione alle conversioni implicite può essere considerata un difetto .

PS Questo viene compilato senza avvisi in Clang (con libc ++) e anche in Msvc.

PPS Questa formulazione sembra essere stata aggiunta in C ++ 11 (che è naturale, così come sono stati introdotti anche costruttori espliciti).