std :: array的演绎指南要求所有类型都相同：
@H_403_2@std::array arr = { 1,2,3.4 }; // error
这种要求背后的理由是什么？如果允许使用不同的类型,是否会有任何重大缺陷？例如：
@H_403_2@namespace std { template <typename... T> array(T...) -> array<std::common_type_t<T...>,sizeof...(T)>; } std::array arr = { 1,3.4 }; // decltype(arr)::value_type deduced as double解决方法
使用common_type有
substantial design issues.例如,std :: common_type_t< A,B,C>,std :: common_type_t< C,A,B>和std :: common_type_t< C,A>不需要全部存在 – 如果它们存在,则不必是相同的类型：
@H_403_2@struct A;
struct B;
struct C;
struct A { operator B(); };
struct B { operator C(); };
struct C { operator A(); };
static_assert(std::is_same_v<std::common_type_t<A,C>);
static_assert(std::is_same_v<std::common_type_t<C,B>,B>);
static_assert(std::is_same_v<std::common_type_t<C,A>,A>);
