Tại sao std :: is_assignable return false với các loại con trỏ liên quan?

Question

Với hai lớp rất đơn giản:

class X 
{ 
}; 

class Y : public X 
{ 
}; 

Tại sao nó rằng, với Clang và GCC targeting C++14, std::is_assignable<X*, Y*>::value là false? Nó là true với Clang trên thiết lập của tôi khi tôi nhắm mục tiêu C++ 11.

Answer 1

Điều này là do trong trường hợp của bạn trở thành một giá trị. Bạn không thể gán cho một rvalue. Chuyển sang một giá trị trái thay vì:

std::is_assignable<X*&, Y*>::value 
//     ~^~ 

Answer 2

std::is_assignable kiểm tra:

Nếu biểu thức std::declval<T>() = std::declval<U>() là tốt được hình thành trong bối cảnh unevaluated

Nhưng bạn không thể gán - một rvalue (đó là những gì declval<X*>() sẽ là) ở tất cả. Bạn cần một vế trái ở phía bên tay trái của sự phân công:

std::is_assignable<X*&, Y*>::value 

Đó sẽ là sự thật. Nếu Clang trở lại đúng, đó chắc chắn là một lỗi Clang.