换个能编译的例子：

#include <concepts>

struct Callback{};

template<typename... Args, std::invocable<Args..., Callback> Func> void reg(Func)
{
    // need to forward<Args>
}

int main()
{
    // good
    reg<double, char>([](double, char, Callback) -> void
    {
    });

    // bad
    reg([](double, char, Callback)
    {
    });

    return 0;
}

出错：
/usr/include/c++/11/concepts: In substitution of ‘template<class ... Args, class Func>  requires  invocable<Func, Args ..., Callback> void reg(Func) [with Args = {}; Func = main()::<lambda(double, char, Callback)>]’


如果不显式提供，那第一个Args推断成{}， 为啥不是{double，char}？
--
修改:allegro FROM 158.140.1.*
FROM 158.140.1.*

对的呀，因为在reg()的实现中我需要forward<Args>

【 在 ziqin 的大中提到: 】
: 你现在的需求是要求reg这个template能推断出Func里除了callback以外的参数的类型嘛？
--
修改:allegro FROM 158.140.1.*
FROM 158.140.1.*

实际上参数是从lua coroutine过来的。
中间件注册的时候会根据提供的callback signature生成调用C时候提供的参数列表。
然后我需要把提供的参数列表的一部分forward到我的layer。
直接看代码把。


https://github.com/etorth/mir2x/blob/0568ebc5ca615ec8ff514c3933e2c42f44033f13/server/src/serverluacoroutinerunner.hpp#L213


https://github.com/etorth/mir2x/blob/0568ebc5ca615ec8ff514c3933e2c42f44033f13/server/src/quest.cpp#L50


这里这个mapName实际上是从lua script过来的。
我需要把这个mapName的参数forward到我注册的handler。



【 在 ziqin 的大作中提到: 】
: 如果你需要在reg()中forward<Args>那你一定在调用reg()时就需要把具体的参数值传进去了，为什么还要用函数中推导呢
:
--
修改:allegro FROM 158.140.1.*
FROM 158.140.1.*

原来是这个意思，那你需要一个primary template

template<typename Func>
void reg(Func&& func);   // primary template, empty

template<typename ...Args>
void reg(std::invocable<Args...>&& )
{
    // actual template specification
}

【 在 allegro 的大作中提到: 】
: 搞不明白，太难了。
: 我找了个方法绕过去了。
: 把传入的handler的Callback放在最前面。
: ...................
--
FROM 115.192.185.*