c – 为什么std :: array的演绎指南不允许使用不同的类型？

概述std :: array的演绎指南要求所有类型都相同： std::array arr = { 1, 2, 3.4 }; // error 这种要求背后的理由是什么？如果允许使用不同的类型,是否会有任何重大缺陷？例如： namespace std { template <typename... T> array(T...) -> array<std::common_type_t<T... std :: array的演绎指南要求所有类型都相同：

std::array arr = { 1,2,3.4 }; // error

这种要求背后的理由是什么？如果允许使用不同的类型,是否会有任何重大缺陷？例如：

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>不需要全部存在 – 如果它们存在,则不必是相同的类型：

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>);

当重新排序初始化程序的元素导致推断出不同的类型(或发出错误)时,这会产生“有趣的”用户体验.

总结

以上是内存溢出为你收集整理的c – 为什么std :: array的演绎指南不允许使用不同的类型？全部内容，希望文章能够帮你解决c – 为什么std :: array的演绎指南不允许使用不同的类型？所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。