Konstruktorzy: różnica między zalegających i przekazując parametr

Question

Dzisiaj natknąłem się these standard declarations z std::vector konstruktorów:

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

Ta zmiana może być postrzegane w większości standardowych pojemnikach. Nieco inny exemple jest 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()); 

Jaka jest różnica między tymi dwoma wzorami i jakie są ich zalety (dis)?
Czy są one ściśle równoważne - czy kompilator generuje coś podobnego do drugiego z pierwszego?

Answer 1

Różnica polega na tym, że

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

jest explicit nawet w przypadku, gdy używany jest domyślny argument podczas

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

nie jest. (The explicit w pierwszym przypadku jest to konieczne, aby zapobiec Allocator s od bycia niejawnie przekształcić w vector.)

Co oznacza, że ​​można napisać

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

lub

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

w sekundę sprawa, ale nie pierwsza.

Zobacz LWG issue 2193.