c++ - lambda 闭包中的模板

Question

谁能告诉我为什么下面的代码

namespace detail
{
    ...

    template<typename ... T_Args>
    void duk_get_args(duk_context*& context,  std::function<void(T_Args...)>& func)
    {

        duk_get_args_impl<T_Args ...>(context, func, std::index_sequence_for<T_Args ...>());
    }
}
template<typename ... T_Args>
duk_c_function duk_function(std::function<void(T_Args ...)> function_item)
{
    std::function<void(T_Args ...)> closure_function = function_item;
    duk_c_function function_return = [closure_function] (duk_context* ctx) -> duk_ret_t {
        detail::duk_get_args<T_Args ...>(ctx, closure_function);
        return 0;
    };
    return function_return;
}

抛出以下错误，是否有解决方法？

||=== Build: Release_win64 in dukbind (compiler: GNU GCC Compiler) ===|
include\dukbind\detail.hpp||In instantiation of 'dukbind::duk_function(std::function<void(T_Args ...)>)::<lambda(duk_context*)> [with T_Args = {std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >}; duk_ret_t = int; duk_context = duk_hthread]':|
include\dukbind\detail.hpp|81|required from 'struct dukbind::duk_function(std::function<void(T_Args ...)>) [with T_Args = {std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >}; dukbind::duk_c_function = std::function<int(duk_hthread*)>]::<lambda(duk_context*)>'|
include\dukbind\detail.hpp|85|required from 'dukbind::duk_c_function dukbind::duk_function(std::function<void(T_Args ...)>) [with T_Args = {std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >}; dukbind::duk_c_function = std::function<int(duk_hthread*)>]'|
C:\Users\Daniel Wanner\Documents\Projekte\C++\dukbind\src\main.cpp|166|required from here|
include\dukbind\detail.hpp|83|error: no matching function for call to 'duk_get_args(duk_context*&, const std::function<void(std::__cxx11::basic_string<char>)>&)'|
include\dukbind\detail.hpp|70|note: candidate: template<class ... T_Args> void dukbind::detail::duk_get_args(duk_context*&, std::function<void(T_Args ...)>&)|
include\dukbind\detail.hpp|70|note:   template argument deduction/substitution failed:|
include\dukbind\detail.hpp|83|note:   types 'std::function<void(T_Args ...)>' and 'const std::function<void(std::__cxx11::basic_string<char>)>' have incompatible cv-qualifiers|
C:\TDM-GCC-64\lib\gcc\x86_64-w64-mingw32\5.1.0\include\c++\functional|2250|error: 'std::function<_Res(_ArgTypes ...)>::function(_Functor) [with _Functor = dukbind::duk_function(std::function<void(T_Args ...)>) [with T_Args = {std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >}; dukbind::duk_c_function = std::function<int(duk_hthread*)>]::<lambda(duk_context*)>; <template-parameter-2-2> = void; _Res = int; _ArgTypes = {duk_hthread*}]', declared using local type 'dukbind::duk_function(std::function<void(T_Args ...)>) [with T_Args = {std::__cxx11::basic_|
||=== Build failed: 2 error(s), 4 warning(s) (0 minute(s), 0 second(s)) ===|

对于将近 90% 的代码问题，我深表歉意，但我认为我的概念有问题。我试图在 lambda 闭包中使用模板参数。这在概念上是否可行？

Answer 1

Lambda 函数有一个 operator() 默认标记为 const，这意味着捕获的 closure_function 是 const。但是，duk_get_args 试图将非 const 引用用于 const 参数，这就是编译器所提示的。

或者:

1. 更改 duk_get_args 以获取 const func。
2. Add mutable to the lambda's definition因此您可以对 closure_function 进行非 const 引用。

此外，closure_function 变量是不必要的。您可以只捕获 function_item 变量并使用它。这不是您的问题的一部分，但我想指出这一点。