C++20概念:元素可迭代概念 [英] C++20 Concepts: Element iterable concept
本文介绍了C++20概念:元素可迭代概念的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!
问题描述
我正在尝试创建一个概念ElementIterable
,它可以确定类型是否为嵌套区域。例如,std::vector<int>
中的元素是不可迭代的,但std::vector<std::vector<int>>
中的元素(std::vector<int>
)是可迭代的。关于使用std::iterator_traits<T>
的想法出现在我的脑海中,实验代码如下所示。然而,这个ElementIterable
概念并不像预期的那样工作。是否有解决此ElementIterable
概念的方法?
template<typename T>
concept ElementIterable = requires(typename std::iterator_traits<T>::value_type x) // requires-expression
{
x.begin(); // must have `x.begin()`
x.end(); // and `x.end()`
};
这里是ElementIterable
的用法。
template<typename T> requires ElementIterable<T>
void Foo(T input);
template<typename T> requires ElementIterable<T>
void Foo(T input)
{
std::cout << "Element iterable" << std::endl;
}
template<typename T>
void Foo(T input);
template<typename T>
void Foo(T input)
{
std::cout << "Element not iterable" << std::endl;
}
函数的用法Foo
。
int number = 1;
std::vector<decltype(number)> vector1;
vector1.push_back(number);
Foo(vector1); // Element not iterable
std::vector<decltype(vector1)> vector2;
vector2.push_back(vector1);
Foo(vector2); // Element not iterable
// but expected behaviour is: Element iterable
欢迎所有建议。
推荐答案
如果您想问一个类型是否是本身包含范围的范围,只需将std::range
类型应用两次:
template<typename T>
concept nested_range = std::ranges::range<T> && std::ranges::range<std::ranges::range_value_t<T>>
range_value_t
从范围的迭代器类型中提取value_type
。Here's a live example。
这篇关于C++20概念:元素可迭代概念的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持IT屋!
查看全文