各位大大好，最近小弟在看 C++ 17 STL ，在这之中看到了 common_type 这个函数
此函数的用途为在两种型态中选出不会窄化(Narrowing)之形别
此函数的实做如下
template<class T1, class T2>
struct common_type {
using type = decltype(false ? declval<T1>() : declval<T2>());
}
小弟我不太懂此函数是如何做到筛选形别的
小弟的理解是在 ?: 运算子中将会先评估 declval<T2>() 从而得到型别 T2 (或其衍生物)
但是此函数每次都能得到应有的型别，例如
common_type<int, float> ::type; // float
common_type<int, long> ::type; // long
common_type<float, unsigned long>::type; // float
还请各位大大解惑