Lambda函数参数+推演改进

Question

我为必须执行很多并且过去使用宏完成的双 for 循环构建了这个模板函数：

template <typename TYPE_OF_ENTITY, typename LAMBDA_FUNC>
void foreach_t(list faces, LAMBDA_FUNC func)
{
    for(...)
        for(...)
            func(pEnt)
}

这很好用，可以调用：

foreach_t<FACE>(faces,[&](FACE* pFace){...});

然后我想确保您的 lambda 必须将 TYPE_OF_ENTITY* 作为参数。为此，我需要一个有状态和无状态的模板函数。

template <typename TYPE_OF_ENTITY, typename LAMBDA_RETURN_TYPE>
using functionPtr = LAMBDA_RETURN_TYPE(*)(TYPE_OF_ENTITY*);

template <typename TYPE_OF_ENTITY, typename LAMBDA_RETURN_TYPE>
void foreach_t(list faces, functionPtr<TYPE_OF_ENTITY, LAMBDA_RETURN_TYPE> func)
{
    for(...)
        for(...)
            func(pEnt)
}

template <typename TYPE_OF_ENTITY, typename LAMBDA_RETURN_TYPE>
void foreach_t(list faces, std::function<LAMBDA_RETURN_TYPE(TYPE_OF_ENTITY*)> func)
{
    for(...)
        for(...)
            func(pEnt)
}

它们按我的意愿工作，只是现在我必须指定 2 个模板参数，因为它们不能再被推导出来：

foreach_t<FACE, void>(faces,[&](FACE* pFace){...});

有没有办法改进这个推论，所以我只需要传递函数参数？

如果可能需要visual studio 2013 compatible v2.1 compiler支持

Answer 1

如果您需要做的只是检查 lambda 是否将 TYPE_OF_ENTITY* 类型的值作为参数，您实际上不需要将函数拆分为两个单独的重载（对于有状态和无状态 lambda）。您可以简单地检查是否可以使用这种参数调用它，例如：

#include <type_traits> // for std::declval

template <typename TYPE_OF_ENTITY, typename LAMBDA_FUNC>
auto foreach_t(list faces, LAMBDA_FUNC func) -> decltype(func(std::declval<TYPE_OF_ENTITY*>()), void())
{
    for(...)
        for(...)
            func(pEnt)
}

Answer 2

如果您想在函数调用时指定闭包的返回类型，那么static_assert 可能会有所帮助：

#include <utility>
#include <vector>

struct Dog {};

struct list {};

template <
typename LAMBDA_RETURN_TYPE,
  typename TYPE_OF_ENTITY, 
class F
>
void foreach_t(const std::vector<TYPE_OF_ENTITY*>& faces, F func)
{
  using ret_type = decltype(func(std::declval<TYPE_OF_ENTITY*>()));
  using same_type = typename std::is_same<LAMBDA_RETURN_TYPE, ret_type>::type;
  constexpr auto ok = same_type::value;
  static_assert(ok, "");
  for(auto pdog : faces)
    func(pdog);
}

int main()
{
  auto mydog = [](Dog* pdog) -> bool // change to int and this compiles
  { return false; };

  std::vector<Dog*> dogs;
  foreach_t<int>(dogs, mydog);  

}