std :: is_assignable, ilgili işaretçi türleriyle neden yanlış döndürülüyor?

Question

Verilen iki çok basit sınıfları:

class X 
{ 
}; 

class Y : public X 
{ 
}; 

Neden Clang ve GCC targeting C++14 ile std::is_assignable<X*, Y*>::valuefalse olduğunu, yani? C++ 11'i hedeflediğimde kurulumumda Clang ile true var.

Answer 1

Bunun nedeni, sizin durumunuzda bir rengin olur. Bir rengin yerine atayamazsınız. ifadesi std::declval<T>() = std::declval<U>() unevaluated bağlamda

iyi oluşturulmuş ise

Ama bir rvalue için atanamıyor:

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

Answer 2

std::is_assignable çekleri: yerine lvalue değiştirin (declval<X*>() ne olurdu) hiç. Sen atamanın sol tarafında bir lvalue gerekir:

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

doğru olacağını. Clang doğru dönerse, kesinlikle bir Clang hatası.