遍历可变参数模板函数并选择指针参数

Question

我在 C++ 中有一个可变参数模板函数，我想遍历模板参数并挑选那些作为指针的参数。

请参阅下面的更新部分。

所以，我在下面有以下代码。 我写了一个可编译和可运行的骨架代码。

g++ -std=c++17 f3_stackoverflow.cpp && ./a.out

我只是对上面写着的部分感到好奇： LOGIC GOES HERE

#include <iostream>
#include <vector>
#include <utility>

template <typename... Args>
std::vector<std::pair<int, void*>> check(Args... args) {
    std::vector<std::pair<int, void*>> ret;

    // LOGIC GOES HERE

    return ret;
}

void printVector(std::vector<std::pair<int, void*>> v) {
    for(const auto& _v : v) {
        std::cout << _v.first << " : " << _v.second << std::endl;
    }
}

int main(int argc, char const *argv[])
{
    int n = 100;

    int                 a;
    std::vector<int>    b(n);

    float               c;
    std::vector<float>  d(n);

    char                e;
    std::vector<char>   f(n);

    auto pairs = check(a, b.data(), c, d.data(), e, f.data());
    printVector(pairs);
    
    return 0;
}

所以，我想在程序的stdout输出中看到以下输出：

1 : 0x123
3 : 0x567
5 : 0x980

更新：

基本上，我正在寻找参数是指针的索引（例如， int* ， float* ，...）和指针指向的地址。 这就是为什么您会看到我提供的输出。

输出说明：第二个、第四个和第六个参数是指针（因此，在从零开始的索引中为 1、3、5）。

Answer 1

template <int N, typename Arg, typename... Args>
void helper(std::vector<std::pair<int, void*>>& v, Arg arg, Args... args) {
    if constexpr(std::is_pointer_v<Arg>) {
        v.emplace_back(N, (void*)arg);
    }

    if constexpr(sizeof...(args) > 0) {
        helper<N+1,  Args...>(v, args...);
    }
}

template <typename... Args>
std::vector<std::pair<int, void*>> check(Args... args) {
    std::vector<std::pair<int, void*>> ret;
    helper<0>(ret, args...);
    return ret;
}

演示

---

也许是使用折叠表达式的更简单的版本

template <typename Arg>
void helper(std::vector<std::pair<int, void*>>& v, Arg arg, int idx) {
    if constexpr(std::is_pointer_v<Arg>) {
        v.emplace_back(idx, (void*)arg);
    }
}

template <typename... Args>
std::vector<std::pair<int, void*>> check(Args... args) {
    std::vector<std::pair<int, void*>> ret;
    int n = 0;
    (helper(ret, args, n++), ...);
    return ret;
}

演示

Answer 2

没有必要使用递归。 在 C++17 中，您可以结合 fold-expression 和立即调用的 lambda 来执行此操作

template <typename... Args>
std::vector<std::pair<int, void*>> check(Args... args) {
  std::vector<std::pair<int, void*>> ret;
  int i = 0;
  ([&](auto arg) {
    if constexpr (std::is_pointer_v<decltype(arg)>)
      ret.emplace_back(i, arg);
    i++;
  }(args), ...);
  return ret;
}

演示