Nhận kiểu kết quả đầu ra của một Thêm thực hiện cho các loại LHS và RHS

Question

Trong Rust, có bất kỳ cách nào, ở cấp loại, triệu tập triển khai Add bằng cách sử dụng các loại LHS (Self) và RHS để sử dụng Output loại (trong đó, loại trả về của một hàm chung)?

Answer 1

Có, mặc dù nó trông giống như một chút ma thuật đen.

Bạn cần phải kết hợp 3 bit của cú pháp:

• việc thực hiện đặc điểm của một loại có thể truy cập thông qua <Type as Trait>
• xác định RHS chỉ đơn giản đòi hỏi đi qua nó như một tham số Add<???>
• và cuối cùng nhận được một loại liên kết của một đặc điểm đơn giản yêu cầu sử dụng Trait::OutputType (có thể mơ hồ)

Kết hợp 3 với nhau, chúng ta nhận được <Self as Add<RhsType>>::Output.