Tại sao sự quá tải này của một toán tử chuyển đổi được chọn?

Hãy xem xét các mã sau đây .

struct any
{
    template <typename T>
    operator T &&() const;

    template <typename T>
    operator T &() const;
};
int main()
{
    int a = any{};
}

Ở đây toán tử chuyển đổi thứ hai được chọn bởi độ phân giải quá tải. Tại sao?

Theo như tôi hiểu, hai toán tử được suy ra operator int &&() constvà operator int &() consttương ứng. Cả hai đều nằm trong tập hợp các chức năng khả thi. Đọc qua [over.match.best] không giúp tôi tìm ra lý do tại sao cái sau tốt hơn.

Tại sao chức năng sau tốt hơn chức năng trước?

Toán tử chuyển đổi trả về T&được ưa thích vì nó chuyên biệt hơn toán tử chuyển đổi trả về T&&.

Xem C ++ 17 [temp.deduct.partial] / (3.2):

Trong ngữ cảnh của lệnh gọi hàm chuyển đổi, các kiểu trả về của các mẫu hàm chuyển đổi được sử dụng.

và / 9:

Nếu, đối với một loại nhất định, khấu trừ thành công theo cả hai hướng (nghĩa là các loại giống hệt nhau sau các biến đổi ở trên) và cả hai Pvà Alà loại tham chiếu (trước khi được thay thế bằng loại được đề cập ở trên): - nếu loại từ mẫu đối số là một tham chiếu lvalue và kiểu từ mẫu tham số thì không, kiểu tham số không được coi là ít nhất là chuyên biệt như kiểu đối số; ...

Các toán tử chuyển đổi giá trị trả về được suy ra là một chút lạ. Nhưng ý tưởng cốt lõi là nó hoạt động như một tham số chức năng để chọn cái nào được sử dụng.

Và khi quyết định giữa T&&và T&các T&chiến thắng trong các quy tắc giải quyết tình trạng quá tải. Đây là để cho phép:

template<class T>
void f( T&& ) { std::cout << "rvalue"; }
template<class T>
void f( T& ) { std::cout << "lvalue"; }

làm việc. T&&có thể phù hợp với một giá trị, nhưng khi cả hai giá trị quá tải tham chiếu phổ biến và giá trị đều có sẵn, thì giá trị lvalue được ưu tiên.

Tập hợp đúng của các toán tử chuyển đổi có thể là:

template <typename T>
operator T&&() &&;

template <typename T>
operator T &() const; // maybe &

hoặc thậm chí

template <typename T>
operator T() &&;

template <typename T>
operator T &() const; // maybe &

để ngăn chặn sự mở rộng suốt đời không cắn bạn.

3 Các loại được sử dụng để xác định thứ tự phụ thuộc vào ngữ cảnh trong đó việc đặt hàng một phần được thực hiện:

[SNIP]

(3.2) Trong ngữ cảnh của lệnh gọi hàm chuyển đổi, các kiểu trả về của các mẫu hàm chuyển đổi được sử dụng.

Mà sau đó kết thúc tùy thuộc vào quy tắc "chuyên biệt hơn" khi chọn quá tải:

(9.1) nếu loại từ mẫu đối số là tham chiếu giá trị và loại từ mẫu tham số thì không, loại tham số không được coi là ít nhất là chuyên biệt như loại đối số; nếu không thì,

Do đó, operator T&&ít nhất là không chuyên biệt như operator T&trong khi đó, không có trạng thái quy tắc nào operator T&ít nhất là chuyên biệt như operator T&&vậy, vì vậy operator T&nó chuyên biệt hơn operator T&&.

Các mẫu chuyên dụng hơn giành được độ phân giải quá tải hơn ít hơn, mọi thứ khác đều bằng nhau.

Chúng tôi đang cố gắng khởi tạo một inttừ any. Quá trình cho nó:

1. Chỉ ra tất cả các cách chúng ta có thể làm điều đó. Đó là, xác định tất cả các ứng cử viên của chúng tôi. Chúng đến từ các hàm chuyển đổi không rõ ràng có thể được chuyển đổi intthông qua chuỗi chuyển đổi tiêu chuẩn ( [over.match.conv] ). Phần chứa cụm từ này:

   Một cuộc gọi đến một chức năng chuyển đổi trả về tham chiếu của mối quan hệ với nhau Xlà một loại giá trị Xvà do đó, một chức năng chuyển đổi như vậy được coi là mang lại hiệu quả Xcho quá trình lựa chọn các chức năng ứng cử viên này.

2. Chọn ứng viên tốt nhất.

Sau bước 1, chúng tôi có hai ứng cử viên. operator int&() constvà operator int&&() const, cả hai đều được coi là mang lại intcho mục đích lựa chọn chức năng ứng cử viên. Đó là ứng cử viên tốt nhất cho năng suất int?

Chúng tôi có một máy bẻ khóa ưu tiên các tham chiếu lvalue cho các tham chiếu rvalue ( [over.ics.rank] /3.2.3 ). Mặc dù vậy, chúng tôi không thực sự ràng buộc một tham chiếu ở đây và ví dụ có phần đảo ngược - đây là trường hợp tham số là tham chiếu lvalue so với rvalue.

Nếu điều đó không áp dụng, thì chúng ta sẽ chuyển sang bộ bẻ khóa [over.match.best] /2,5 thích sử dụng mẫu hàm chuyên dụng hơn.

Nói chung, quy tắc của ngón tay cái là chuyển đổi cụ thể hơn là phù hợp nhất. Hàm chuyển đổi tham chiếu lvalue cụ thể hơn hàm chuyển đổi tham chiếu chuyển tiếp, vì vậy nó được ưu tiên. Không có gì về việc intchúng tôi đang khởi tạo yêu cầu một giá trị (thay vào đó chúng tôi đã khởi tạo một int&&, sau đó operator T&() constsẽ không phải là một ứng cử viên).