我想在模板参数列表中使用某些类型的数据进行操作。
就我而言,我想检查某些元素是否属于某种Iterable,如果有,那么我想在它们上使用std::advance
。
这就是我的想法:(显然,它不会编译,但是可以为您提供我想要在这里实现的正确的想法)
#include <typeinfo>
#include <thread>
template<class _Func, class Iterator, class... _Args>
void
start(_Func pFunc, const Iterator begin, const Iterator end, _Args&&... args)
{
Iterator pt = begin;
Iterator ptNext = begin;
for (unsigned int i = 0; i < this->nThreads(); i++)
{
std::advance(ptNext, partialSize);
this->getThreads(i) = std::thread(pFunc, pt, ptNext, std::forward<_Args>(args)...);
pt = ptNext;
[](...){}((typeid(args) == typeid(Iterator) ? std::advance(args, partialSize) : false)...);
}
}
我认为问题是(可能是?)参数列表在编译时被扩展,然后它会看到我想在某个甚至不是Iterable类型的东西上使用std::advance
。
在begin
和end
上面的代码中,是数据序列的迭代器,而partialSize
变量告诉我们,线程应仅处理序列的一部分。
所以目标是,如果通过参数列表传递任何其他Iterable类型,例如:std::vector<>::iterator
或std::list<>::iterator
甚至是double*
,那么我想{{1 }}。
这个问题有解决方案吗?我可以实现这样的目标吗?
答案 0 :(得分:1)
我实现了一个函数,该函数可以提高传递给它的所有迭代器的效率。它只是忽略任何其他类型的参数。
该代码需要C ++ 17,但可以移植到标准的早期版本。
#include <iterator>
#include <type_traits>
template <class T, class = void>
struct is_iterator : std::false_type {};
template <class T>
struct is_iterator<T, std::void_t<typename std::iterator_traits<T>::iterator_category>> : std::true_type {};
template <class Distance, class T>
void advance_if_iterable_impl(Distance n, T& t)
{
if constexpr (is_iterator<T>::value)
std::advance(t, n);
}
template <class Distance, class... Args>
void advance_if_iterable(Distance n, Args&... args)
{
(advance_if_iterable_impl(n, args), ...);
}
#include <iostream>
int main()
{
int i = 42;
const char* str = "Hello World!\n";
advance_if_iterable(2, i, str);
// `int` isn't an iterator, it stays the same
std::cout << i << '\n';
// `const char*` is a random iterator, so it was advanced by two
std::cout << str;
return 0;
}