检查类型（a）==类型（b）还是类型（a）==类型（b带有删除的constness）

Question

我在元素的向量存储中创建矩阵视图。

有效组合为：

vector value_type	矩阵value_type
const（arithmetic）	const（arithmetic）
（arithmetic）（arithmetic）	const（arithmetic）（arithmetic）
（arithmetic）	（arithmetic） （arithmetic）

so，so，一个典型的矩阵构造者可以可以是：

template<std::contiguous_iterator It>
requires(std::is_same_v<typename std::iterator_traits<It>::value_type, value_type> ||
         std::is_same_v<typename std::iterator_traits<It>::value_type, std::remove_const_t<value_type>>)
matrix(It it) requires(H != -1 && view) : elements(std::to_address(it)) {}

我可以使用STD设施更短暂/简短/简短/简短？

我尝试了std :: convertible_to＆lt; const double，double＆amp;＆gt;用于测试并完成工作，但随后我尝试了std :: convertible_to＆lt＆const＆const double，const int，const int＆gt; /code>，并且它不会像我想要的那样失败。

Answer 1

如果您只想约束其参考类型可以转换为value_type的迭代器类型，则可以通过以下方式重写构造函数。

template<std::contiguous_iterator It>
requires std::is_convertible_v<std::iter_reference_t<It>, value_type>
matrix(It it)
 requires(H != -1 && view)
 : elements(std::to_address(it)) {}

重要的是要注意，要使约束甚至更短，std :: iterator_traits类型特征被std :: iter _**组替换。