下面是gcc的std::is_assignable相关源码：template<typename _Tp, typename _Up>class __is_assignable_helper{template<
typename _Tp1, typename _Up1,typename = decltype(declval<_Tp1>() = declval<_Up1>()) //注意这行
>static true_type__test(int);template<typename, typename>static false_type__test(...);public:typedef decltype(__test<_Tp, _Up>(0)) type;};————————————————
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。原文链接：https://blog.csdn.net/10km/article/details/50232141

 其中，

decltype(declval<_Tp1>() = declval<_Up1>())

 的写法有些奇怪。其中declval()是个函数，返回一个右值类型（要折叠）：

declval<int>()就是int&&，它是右值，所以没法作为左值而放在等号的左边

using T = decltype(declval<int>() = declval<int>()); //编译不过。提示：error C2106: “=”: 左操作数必须为左值下面输出：int && __ptr64
#include <boost/type_index.hpp>using T = decltype(declval<int>());
std::cout << boost::typeindex::type_id_with_cvr<T>().pretty_name() << std::endl;

declval<int&>()是&&和&进行折叠，结果是int&，所以它可以作为左值放在等号左边

using T = decltype(declval<int&>() = declval<int>()); //编译通过下面输出：int & __ptr64
#include <boost/type_index.hpp>using T = decltype(declval<int&>());
std::cout << boost::typeindex::type_id_with_cvr<T>().pretty_name() << std::endl;

可以看看：无用的知识又增加了：is_assignable means?-CSDN博客

还有个例子可以看看，关于左值类型和右值类型在等号左边的情况：

https://ideone.com/QdRjZB#include <iostream>
#include <type_traits>
using namespace std;template <typename T>
T rvalue() { return T(); }template <typename T>
T& lvalue() { static T t; return t; }int main() {cout << is_assignable<double, int>::value;cout << is_assignable<double, int&>::value;cout << is_assignable<double&, int>::value;cout << is_assignable<double&, int&>::value;rvalue<double>() = rvalue<int>(); // Doesn't compilervalue<double>() = lvalue<int>(); // Doesn't compilelvalue<double>() = rvalue<int>(); // OKlvalue<double>() = lvalue<int>(); // OKreturn 0;
}

int main()
{
//int& = int&&using T = decltype(declval<int&>() = declval<int>()); //编译通过//int&& = int&&using T = decltype(declval<int>() = declval<int>()); //error C2106: “=”: 左操作数必须为左值
}对应：
int main()
{
std::cout << std::boolalpha<< "int is assignable from int? "<< std::is_assignable<int, int>::value << '\n' // 1 = 1; wouldn't compile<< "int& is assignable from int? "<< std::is_assignable<int&, int>::value << '\n'; // int a; a = 1; works
}关于：std::is_assignable<int, int>，貌似可以用下面的例子感受：https://ideone.com/QdRjZB#include <iostream>
#include <type_traits>
using namespace std;template <typename T>
T rvalue() { return T(); }template <typename T>
T& lvalue() { static T t; return t; }int main() {cout << is_assignable<double, int>::value;cout << is_assignable<double, int&>::value;cout << is_assignable<double&, int>::value;cout << is_assignable<double&, int&>::value;rvalue<double>() = rvalue<int>(); // Doesn't compilervalue<double>() = lvalue<int>(); // Doesn't compile//lvalue<double>() = rvalue<int>(); // OK//lvalue<double>() = lvalue<int>(); // OKreturn 0;
}

std::pair<int, int> data0 = std::make_pair(1, 2);std::pair<int, int> data1 = std::make_pair(3, 4);data0 = data1;return 1;源代码：pair& operator=(const volatile pair&) = delete;//走到这个operator= 函数template<class _Other1 = _Ty1,class _Other2 = _Ty2,enable_if_t<conjunction_v<is_assignable<_Ty1&, const _Other1&>,is_assignable<_Ty2&, const _Other2&>>, int> = 0>pair& operator=(const pair<_Other1, _Other2>& _Right)_NOEXCEPT_COND(is_nothrow_assignable_v<_Ty1&, const _Other1&>&& is_nothrow_assignable_v<_Ty2&, const _Other2&>)	// strengthened{first = _Right.first; //second = _Right.second;return (*this);}调试堆栈里，可以看到实例化后的类型
std::pair<int,int>::operator=<int,int,0>(const std::pair<int,int> & _Right={...}) 
也就是说_Ty1是int，_Ty2也是int。
所以is_assignable<_Ty1&, const _Other1&>和is_assignable<_Ty2&, const _Other2&>的结果
肯定都是true展开之后类似于，但这三行编译不过，应该T是int&类型：
using T = decltype(declval<int&>() = declval<const int&>());
T a = 1;
std::ignore = a;但是T的类型，打印出来却是int，可以在stackoverflow搜typeid doesn't return correct type
using T = decltype(declval<int&>() = declval<const int&>());
std::cout << typeid(T).name() << std::endl;cout << typeid(int&).name();打印出的不是int&而是int
std::cout << std::boolalpha<< (typeid(int&) == typeid(int));//执行结果是：true下面这个可以编译成功。
using T = decltype(declval<int&>() = declval<const int&>());
int b = 0;
T a = b;
std::ignore = a;https://stackoverflow.com/questions/5151875/typeid-doesnt-return-correct-type?rq=3
下面可以打印出：
#include <boost/type_index.hpp>//输出int & __ptr64
std::cout << boost::typeindex::type_id_with_cvr<int&>().pretty_name() << std::endl;
//输出int
std::cout << boost::typeindex::type_id<int&>().pretty_name() << std::endl;
return 0;

using T = decltype(declval<int>() = declval<int>());
std::cout << typeid(T).name() << std::endl;编译提示：
error C2106: “=”: 左操作数必须为左值左边的declval<int>()生成一个int&&，右边的declval<int>()生成一个int&&下面输出：int && __ptr64
using T = decltype(declval<int>());
std::cout << boost::typeindex::type_id_with_cvr<T>().pretty_name() << std::endl;