Constructors: Sự khác biệt giữa mặc định và ủy thác một tham số

Question

Hôm nay, tôi stumbled khi these standard declarations của std::vector constructors:

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

Sự thay đổi này có thể được nhìn thấy ở hầu hết các container tiêu chuẩn. Một ví dụ hơi khác nhau là 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()); 

Sự khác biệt giữa hai mẫu và lợi ích của chúng (dis) là gì?
Chúng có tương đương hoàn toàn không - trình biên dịch có tạo ra thứ gì đó tương tự như thứ hai từ lần đầu tiên không?

Answer 1

Sự khác biệt là

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

là explicit ngay cả đối với trường hợp đối số mặc định được sử dụng, trong khi

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

thì không. (Các explicit trong trường hợp đầu tiên là cần thiết để ngăn chặn Allocator s từ là mặc nhiên chuyển đổi thành một vector.)

Có nghĩa là bạn có thể viết

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

hoặc

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

trong lần thứ hai trường hợp nhưng không phải là trường hợp đầu tiên.

Xem LWG issue 2193.