Costruttori: differenza tra inadempiente e delegando un parametro

Question

Oggi, sono incappato in these standard declarations di std::vector costruttori:

// until C++14 
explicit vector(const Allocator& alloc = Allocator()); 
// since C++14 
vector() : vector(Allocator()) {} 
explicit vector(const Allocator& alloc); 

Questo cambiamento può essere visto nella maggior parte dei contenitori standard. Un exemple leggermente diverso è std::set:

// until C++14 
explicit set(const Compare& comp = Compare(), 
       const Allocator& alloc = Allocator()); 
// since C++14 
set() : set(Compare()) {} 
explicit set(const Compare& comp, 
       const Allocator& alloc = Allocator()); 

Qual è la differenza tra i due modelli e quali sono i loro vantaggi (dis)?
Sono strettamente equivalenti - il compilatore genera qualcosa di simile al secondo dal primo?

Answer 1

La differenza è che

explicit vector(const Allocator& alloc = Allocator()); 

è explicit anche per il caso in cui viene utilizzato l'argomento di default, mentre

vector() : vector(Allocator()) {} 

non è. (Il explicit nel primo caso è necessario per evitare che Allocator s di essere implicitamente convertibile in un vector.)

Il che significa che è possibile scrivere

std::vector<int> f() { return {}; } 

o

std::vector<int> vec = {}; 

nella seconda caso ma non il primo.

Vedere LWG issue 2193.