在 C++ 中将 Lambda 表达式传递给 std::function

Question

我目前正在为 lambda 表达式苦苦挣扎。 我创建了一个 ConcurrentDictionary，它用互斥体包装 std::map。 现在我想导出匹配指定条件的所有元素。

template<typename MutexTypeT, typename Key_Type_T, typename Mapped_Type_T>
class CConcurrentDictionary
{
    public:
        ///Constructor
        CConcurrentDictionary();

        class CSingleElement
        {
        public:

          ///the key
          Key_Type_T key = { };

          ///THe Mapped Type
          Mapped_Type_T mapped_type = { };

        };

     template<typename ...Args_T>
        std::vector<CSingleElement> exportSelectedData(
            const uint32_t u32MutexTimeout,
            std::function<bool(const CSingleElement, Args_T &&...)> compareFn,
            Args_T&&...CompareArgs...) const;

}

template<typename MutexTypeT, typename Key_Type_T, typename Mapped_Type_T>
   template<typename ...Args_T>
   auto CConcurrentDictionary<MutexTypeT, Key_Type_T, Mapped_Type_T>::exportSelectedData(
          const uint32_t u32MutexTimeout,
          std::function<bool(const CSingleElement, Args_T &&...)> compareFn,
          Args_T&&...CompareArgs...) const ->
      std::vector<CSingleElement>
      {
        //lock mutex...
        std::vector<CSingleElement> vecRes;
        for (const auto &single_element : dictionary)
        {
          if(compareFn(single_element, CompareArgs...))
          {
            //this element mathes the preconditions
            vecRes.push_back(single_element);
          }
        }

        return vecRes;
      }

但是，当我尝试像这样使用此类时

 class CTraceCmdDuration
  {

  public:


    ///Cmd Datatype
    using CmdType_T = uint32_t;

    class CCmdSummary
    {
    public:
      /**
       * SIngle Long Running Cmd Summary
       * @param CmdIdArg Cmd ID
       * @param u32MaxCmdDurationArg Max CmdDuration
       */
      CCmdSummary(const CmdType_T CmdIdArg, const uint32_t u32MaxCmdDurationArg);
      ///Id of this cmd
      const CmdType_T CmdId;

      ///Duration of this cmd
      const uint32_t u32MaxCmdDuration;
    };

/**
     * Exports all Cmds to a vector with took longer than u32MaxCmdDuration
     * @param u32MaxCmdDuration Maximal Cmd Processing duration time. Cmds that took longer than this will be exported
     * @param u32MutexTimeout Mutex Timeout
     * @return List with all long running cmds
     */
    std::vector<CCmdSummary> ExportLongRunningCmds(const uint32_t u32MaxCmdDuration, const uint32_t u32MutexTimeout) const;

}

  auto CTraceCmdDuration::ExportLongRunningCmds(const uint32_t u32MaxCmdDuration, const uint32_t u32MutexTimeout) const ->
      std::vector<CCmdSummary>
  {
    auto lambda = [u32MaxCmdDuration](const CombinedDictElement& singleElement)
        {
          const bool bRes = (u32MaxCmdDuration < singleElement.mapped_type.u32MaxProcessingDuration);
          return bRes;
        };
    auto vecRes = dict.exportSelectedData(u32MutexTimeout, lambda, u32MaxCmdDuration);
    return vecRes;
  }

不幸的是，这不会产生对函数错误的匹配调用

error: no matching function for call to 'NConcurrent_Container::CConcurrentDictionary<NMutex::CEmbos_Mutex, long unsigned int, NDebug::CTraceCmdDuration::CProcessingInfo>::exportSelectedData(const uint32_t&, NDebug::CTraceCmdDuration::ExportLongRunningCmds(uint32_t, uint32_t) const::__lambda0&, const uint32_t&) const'
     auto vecRes = dict.exportSelectedData(u32MutexTimeout, lambda, u32MaxCmdDuration);

我的 lambda 表达式有什么问题？ 想法是将最大允许持续时间作为捕获传递，并将 std::map 中的每个存储元素作为参数传递。

或者你有更好的idea？ 你能帮我一下吗？

编辑：感谢您的回答，如果我传递一个静态函数，这很有效，但是我如何将 lambda 作为模板参数传递？

static bool CompareDuaration(const CSingleElement&singleElement, const uint32_t u32MaxDuration);

  auto CTraceCmdDuration::ExportLongRunningCmds(const uint32_t u32MaxCmdDuration, const uint32_t u32MutexTimeout) const ->
      std::vector<CombinedDictElement>
  {
    auto vecRes = dict.exportSelectedData(u32MutexTimeout, lambda, u32MaxCmdDuration);
    return vecRes;
  }

这有效但

auto CTraceCmdDuration::ExportLongRunningCmds(const uint32_t u32MaxCmdDuration, const uint32_t u32MutexTimeout) const ->
      std::vector<CombinedDictElement>
  {

    auto lambda = [u32MaxCmdDuration](const CombinedDictElement& singleElement)
        {
          const bool bRes = (u32MaxCmdDuration < singleElement.mapped_type.u32MaxProcessingDuration);
          return bRes;
        };

    auto vecRes = dict.exportSelectedData(u32MutexTimeout, lambda, u32MaxCmdDuration);
    return vecRes;
  }

给我一个编译错误

error: no match for call to '(CTraceCmdDuration::ExportLongRunningCmds(uint32_t, uint32_t) const::__lambda0) (CConcurrentDictionary<NMutex::CEmbos_Mutex, long unsigned int, CTraceCmdDuration::CProcessingInfo>::CSingleElement&, const long unsigned int&)'
       if(compareFn(singleElement, compareArgs...))

它的接缝就像将 lambdas 传递给模板并不能很好地工作。 我错过了什么？

Answer 1

问题

您遇到的问题可以简化为：

#include <functional>

template <typename ...Args>
void foo(std::function<bool(Args...)>) { }

int main()
{
    foo([](int, int) { return true; });
}

这将无法编译。 原因是std::function的模板参数的类型推导失败。

您希望将某种std::function作为参数传递。 由于没有传入std::function对象（无论确切的实例化），编译器尝试构造std::function并通过调用std::function的构造std::function推断模板参数类型。 问题由此开始。 在这种情况下匹配的构造函数将是：

template <typename F>
function(F f);

您会注意到构造函数本身也是模板化的。 编译器可以成功地将F推导出为 lambda，但由于F是构造函数的模板参数，因此无法推导出类本身std::function的模板参数。

此外，在该构造函数上引用cppreference ：

[...] 此构造函数不参与重载决议，除非 f 对于参数类型 Args... 是可调用的，并且返回类型 R。[...]

这意味着此构造函数的存在基于是否可以使用类模板参数Args...调用F ，但由于这些参数未明确定义且无法推导，因此无论如何此构造函数都不可用。

解决方案

由于您仅在exportSelectedData使用该std::function ，只需将其exportSelectedData模板参数（抛弃std::function部分）：

template<typename Func, typename ...Args_T>
std::vector<CSingleElement> exportSelectedData(uint32_t u32MutexTimeout, Func compareFn, Args_T const&...) const;

您还应该将Args_T&&更改为Args_T const&因为您不是简单地转发这些参数而是在循环中重用它们。

编辑

关于编辑中的后续问题：想想你在做什么。

首先声明一个 lambda：

auto lambda = [u32MaxCmdDuration](const CombinedDictElement& singleElement) { /* ... */ };

现在想想那个 lambda 的签名。 你返回一个布尔值，所以返回类型是bool （到目前为止很好）。 您在捕获子句中使用u32MaxCmdDuration并使用一个参数singleElement 。 让我们删除所有额外的限定符并查看签名：

bool(CombinedDictElement) // take a CombinedDictElement and return a bool

接下来，我们看一下exportSelectedData的调用：

exportSelectedData(u32MutexTimeout, lambda, u32MaxCmdDuration);

您传入u32MutexTimeout和lambda非常好，lambda 被compareFn捕获。 第三个参数是u32MaxCmdDuration ，它由模板中的...compareArgs捕获。 现在让我们看看在exportSelectedData实际调用 lambda 的exportSelectedData ：

if (compareFn(singleElement, compareArgs...)) // ...

你希望compareFn在这里有什么签名？ 如果我们扩展...compareArgs包（再次，为了简单起见，删除额外的限定符），签名看起来像这样：

bool(CombinedDictElement, unsigned int) // take a CombinedDictElement and an unsigned int and return a bool

这是 lambda 签名：

bool(CombinedDictElement)

你发现问题了吗？ lambda 捕获u32MaxCmdDuration作为状态捕获，而exportSelectedData期望它作为参数（因为您将它作为附加参数传递给exportSelectedData ）。 显然，签名彼此不同，因此我们必须更改其中一个以匹配另一个。 这在你的情况下相当容易，要么

• 更改您的 lambda 以将u32MaxCmdDuration作为参数：

   auto lambda = [](const CombinedDictElement& singleElement, unsigned int u32MaxCmdDuration)

  或者

• 删除u32MaxCmdDuration作为exportSelectedData调用的附加参数：

   exportSelectedData(u32MutexTimeout, lambda);