Trình xây dựng mẫu có quyền ưu tiên trên bản sao bình thường và di chuyển constructor?

Question

Đầu ra của chương trình sau ...

#include <iostream> 

using namespace std; 

struct X 
{ 
    X(const X&)    { cout << "copy" << endl; } 
    X(X&&)     { cout << "move" << endl; } 

    template<class T> X(T&&) { cout << "tmpl" << endl; } 
}; 

int main() 
{ 
    X x1 = 42; 
    X x2(x1); 
} 

là

tmpl 
tmpl 

Kết quả mong muốn là:

tmpl 
copy 

Tại sao không phải là constructor sao chép cụ thể được ưu tiên hơn các constructor mẫu?

Vẫn còn cách khắc phục để sao chép và di chuyển quá tải của hàm tạo sẽ được ưu tiên hơn hàm tạo mẫu không?

Answer 1

Quy tắc xử lý quá tải bình thường vẫn áp dụng khi chọn hàm tạo - và hàm tạo tham chiếu không tham số lvalue (đối với hàm tạo mẫu sau khi khấu trừ đối số) là kết hợp tốt hơn so với hàm tạo tham chiếu const lvalue.

Bạn có thể, tất nhiên, chỉ cần thêm một tình trạng quá tải khác tham gia một tham chiếu không phải lvalue, tức là

X(X&)    { cout << "copy" << endl; } 

Cập nhật: Các trường hợp khác mà các mẫu nhà xây dựng là một trận đấu tốt hơn:

const X f() 
{ return X(); } 

struct Y : X 
{ Y() { } }; 

int main() 
{ 
    X x3(f()); // const-qualified rvalue 
    Y y; 
    X x4(y); // derived class 
} 

Answer 2

Vâng, đó là vì reference-collapsing.

Ở giai đoạn giải quyết tình trạng quá tải, khi hàm mẫu được khởi tạo, T được deduded là X&, vì vậy T&& (đó là X& &&) trở thành X& do tham khảo-sụp đổ, và chức năng khởi tạo từ hàm mẫu trở nên chính xác khớp với số và hàm tạo bản sao yêu cầu chuyển đổi từ X& thành const X& (đó là lý do tại sao nó không được chọn là so khớp kém).

Tuy nhiên, nếu bạn xóa const từ trình tạo bản sao, trình tạo bản sao sẽ được ưu tiên. Hãy thử điều này:

X(/*const*/ X&) { cout << "copy" << endl; } 

Output như mong đợi.

Hoặc cách khác, nếu bạn thực hiện các tham số trong hàm template như const T& sau đó copy-constructor sẽ được gọi (thậm chí nếu nó vẫn giống nhau!), Bởi vì tài liệu tham khảo-sụp đổ sẽ không trở thành hình ảnh bây giờ:

template<class T> X(const T &) { cout << "tmpl" << endl; } 

Output được mong đợi, một lần nữa.

Answer 3

Nếu bạn không muốn thêm constructor khác (như câu trả lời khác đề xuất), bạn có thể sử dụng SFINAE để hạn chế các cuộc gọi, bằng cách thay thế mẫu constructor của bạn bằng cách này:

template<class T 
    , typename std::enable_if<not std::is_same<X, typename std::decay<T>::type>::value, int>::type = 0 
> X(T&&) { cout << "tmpl " << endl; } 

nào chỉ liên quan đến việc bổ sung thêm một templ dummy mặc định ate đối số (một kỹ thuật đã biết: http://www.boost.org/doc/libs/1_52_0/libs/utility/enable_if.html). Không có tiêu đề bổ sung nào là cần thiết.

Bạn sẽ nhận được kết quả mong muốn.

Tôi nhận được câu trả lời này từ một vấn đề liên quan: http://flamingdangerzone.com/cxx11/2012/06/05/is_related.html. Tất cả điều này có vẻ không phù hợp, nhưng dường như là cách duy nhất hiện nay. Tôi vẫn muốn thấy một giải pháp thanh lịch hơn.