從 C++ 中的 std::function 訪問模板化 lambda

Question

我正在嘗試向我的 lambda 添加一些檢測以存儲一些數據（即當 lambda 被觸發時），但是我在從 std::function 檢索 lambda 時遇到了一些麻煩。 我創建了一個通用函子來存儲任何 lambda 和我的參數，然后我將此函子存儲到 std::function 中。

當我嘗試從 std::function 訪問我的函子時，通過目標方法傳遞的類型不起作用......我傳遞的類型似乎不是好的類型，我不知道如何傳遞根據定義不是類型的 lambda 類型...

任何人都可以幫助我實現這一目標嗎？ 我正在使用 Microsoft (R) C/C++ Optimizing Compiler Version 19.16.27030.1 for x64

謝謝

下面是一個例子：

#include <iostream>
#include <functional>
#include <string>

template <typename Signature>
class lambda_wrapper
{
    public:
    lambda_wrapper(Signature&& lambda, const std::string& iName)
        : _lambda(std::move(lambda))
        , _sName(iName)
    {}

    template <typename... Args> inline
        auto operator()(Args&&... args)
    {
        return _lambda(std::forward<decltype(args)>(args)...);
    }

    std::string& getName()
    {
        return _sName;
    }
    private:
    Signature _lambda;
    std::string _sName;
};

template <typename Signature>
lambda_wrapper<Signature> myLambda(Signature&& lambda, const std::string& iName)
{
    return {std::forward<Signature>(lambda), iName};
}

class MyClass
{
    public:
    MyClass()
        : _lambda(myLambda([](int)
    {}, "test"))
    {

    }
    virtual ~MyClass() = default;

    void printVal()
    {
        lambda_wrapper<std::function<void(int)>>* pWrapper = _lambda.target<lambda_wrapper<std::function<void(int)>>>();
        if (pWrapper)
            std::cout << pWrapper->getName();
        else
            std::cout << "NULL" << std::endl;

        std::cout << "Stored type name=" << _lambda.target_type().name() << std::endl;
        std::cout << "Cast type name=" << typeid(lambda_wrapper<std::function<void(int)>>).name() << std::endl;
    }

    private:
    std::function<void(int)> _lambda;
};

int main()
{
    MyClass myClass;
    myClass.printVal();
}

結果如下：

NULL
Stored type name=class lambda_wrapper<class <lambda_de654b4bbc7b5fec872744c55537b509> >
Cast type name=class lambda_wrapper<class std::function<void __cdecl(int)> >

Answer 1

_lambda.target的正確類型在您的示例中不可命名。 每個 lambda 表達式都會創建一個具有唯一類型的對象。

您可以將lambda_wrapper擴展為像std::function這樣的類型擦除，而不是使用std::function並試圖讓 lambda 退出。 然后，您可以輕松地將行為添加到知道實際類型的部分。