What is the difference between is_convertible is_assignable

Question

What is the difference between is_convertible and is_assignable?

Why,

in vs2012

is_convertible         


        

Answer 1

One difference is that the arguments are the other way round.

is_convertible means that an expression of type From can be converted to type To. The standard defines this in terms of a function returning To containing a line return create(); where create() returns a reference to From. So is_convertible is false, since you can't bind an rvalue int to a non-const lvalue reference int&.

is_assignable means that an rvalue expression of type U can be assigned to an expression of type T; that is, that t = u; is well-formed. The expression to be assigned to is specified as a function call returning an lvalue reference if T is an lvalue reference, and an rvalue reference otherwise. This means that is_assignable can only be true if T is a non-const lvalue reference type; hence being false for .

I would guess that VS2012 either allows assignment to xvalues, or uses a non-standard check for is_assignable, giving what I think is an incorrect result.

Note that in general convertible doesn't imply assignable, since there may be no accessible assignment operator; and assignable doesn't imply convertible, since there may be an assignment operator but no accessible conversion constructor or operator.