Sự khác nhau giữa is_convertible is_assignable

Question

Sự khác nhau giữa is_convertible và is_assignable là gì?

Tại sao,

trong vs2012

is_convertible<int, int&> is false 

is_assignable<int, int&> is true 

trong gcc4.7.2

is_convertible<int, int&> is false 

is_assignable<int, int&> is false 

Answer 1

Một điểm khác biệt là đối số là cách khác.

is_convertible<From,To> có nghĩa là một biểu thức thuộc loại From có thể được chuyển đổi thành loại To. Tiêu chuẩn xác định điều này theo chức năng trả về To chứa một dòng return create<From>(); trong đó create<From>() trả về tham chiếu đến From. Vì vậy, is_convertible<int,int&> là sai, vì bạn không thể ràng buộc một giá trị rvalueint thành một tham số không lvalueint&.

is_assignable<T,U> có nghĩa là một rvalue biểu hiện của loại U thể được gán cho một biểu hiện của loại T; nghĩa là, t = u; được thiết lập tốt. Biểu thức được gán cho được chỉ định làm cuộc gọi hàm trả lại tham chiếu lvalue nếu T là tham chiếu lvalue và tham chiếu rvalue khác. Điều này có nghĩa là is_assignable<T,U> chỉ có thể đúng nếu T là loại tham chiếu không phải là lvalue; do đó là sai cho <int,int&>.

Tôi cho rằng VS2012 hoặc cho phép gán cho xvalues ​​ hoặc sử dụng séc không chuẩn cho is_assignable, cho kết quả không chính xác.

Lưu ý rằng trong chuyển đổi chung không ngụ ý có thể gán, vì có thể không có toán tử gán có thể truy cập; và gán được không ngụ ý chuyển đổi, vì có thể có một toán tử gán nhưng không có toán tử chuyển đổi hoặc toán tử chuyển đổi có thể truy cập nào.

Answer 2

Có vẻ như một lỗi trong gcc, is_convertible trong bối cảnh này có nghĩa là:

int& foo() 
{ 
    return 3; //invalid 
} 

Mặt khác han d is_assignable trong ngữ cảnh này có nghĩa là:

void foo(int& x, int y) 
{ 
    y = x; // valid 
}