Question

因此，假设我正在编写一个函数，该函数使用每个项目的用户提供的回调函数来设置数组。（不是，但假设是最小示例）

我能找到的最干净的方法如下：

#include <functional>

template<typename T, typename Y>
void PopulateArray(std::function<int(Y*)> callback, T &pArray)
{
  for (int i = 0; i < sizeof(pArray); ++i)
    int x = callback(&pArray[i]);
}

int main()
{
  uint64_t myArray[5];
  uint64_t myUint = 42;
  PopulateArray( (std::function<int(uint64_t*)>) [=](auto x) {*x = myUint; return 0; },
    myArray);
}

我上面的代码有两个问题。

1）对于T为数组类型，似乎没有办法修改参数。（我不能说我想要类型T的 array ，这意味着我必须分别声明Y，即使它们都与uint64_t相关。）我更希望声明一个T，其中一个参数是指向T的指针，另一个是T的数组。

2）客户端代码（主要是）被强制转换为lambda。将auto x更改为显式类型似乎无济于事。

是否存在＃1或＃2的分辨率，可能使代码更简洁或更易读？

代码将需要使用gcc，clang和VS进行编译。我认为 C ++ 11是我可以使用的最新标准，尽管我对C ++ 14解决方案感兴趣，因为那将是升级我们的clang构建过程的问题。我对涉及将myArray切换到std::array std::vector等的解决方案不感兴趣。

Answer 1

放弃对std::function的要求：

// You could consider using an array type for the parameter:
// template <typename Callback, typename T, std::size_t N>
// void PopulateArray(Callback callback, T (&pArray)[N])
template<typename Callback, typename T>
void PopulateArray(Callback callback, T& pArray)
{
  // sizeof(pArray) as in the question is almost certainly not what you 
  // want. It returns the size *in bytes*, not the length of the array.
  // Thus, if you specified this to take an array reference,
  // `for (std::size_t i = 0; i < N; ++i)` would be correct.

  // However, as Barry mentioned in the comments, a range-based for loop
  // is the best solution.
  for (T& element : pArray)
    callback(&element);
}

int main()
{
  std::uint64_t myArray[5];
  PopulateArray([](auto x) {*x = 42; return 0; },
    myArray);
}

std::function是一种昂贵的类型。它使用虚拟函数调用（或非常相似的技术），并有可能分配内存。如果您不存储该函数，尤其是如果该函数已经是模板，则只需将任意回调作为参数。如果您确实想限制回调的类型，请使用function_ref类型（尚未标准化），或检查callback(your, args)是否有效：

template<typename Callback, typename T>
auto PopulateArray(Callback callback, T& pArray)
    -> decltype(callback(*std::begin(pArray)), void())
{
  for (T& element : pArray)
    callback(&element);
}

此外，在这种情况下，您可以使用an algorithm：

int main()
{
  uint64_t myArray[5];
  uint64_t myUint = 42;
  // If it's all the same value:
  std::fill(std::begin(myArray), std::end(myArray), myUint);
  // To call a function to populate the array:
  std::generate(std::begin(myArray), std::end(myArray), [myUint] {
    return myUint;
  });
  // Or possibly:
  std::for_each(std::begin(myArray), std::end(myArray),
    [myUint](uint64_t& element) {
      element = myUint;
    });
}

使用接受回调的模板函数设置C样式数组

1 个答案: