C++ 模板编程 - variadic template - unpack 疑问 - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
Stoulla

C++ 模板编程 - variadic template - unpack 疑问

  •  
  •   Stoulla 2020 年 11 月 26 日 1442 次点击
    这是一个创建于 1976 天前的主题,其中的信息可能已经有所发展或是发生改变。

    最近用 C++的时候遇到了对variadic template 解包的问题,在 StackOverflow 上也找了好多,但始终没形成一个好的思路,所以来 V 站求助下。

    问题如下:

    采用 C++ 14 。

    函数接受至少一个参数,可能有多个参数,第一个参数 arg1 是确定的类型 T 。后面的参数 args 会有不同的类型, 如 int/ string /custom_class 等.

    根据 args 参数不同,调用不同的函数,或者是返回 bool 类型。

    • 比如, args 中含 int, 则认为传入的是 dim, 执行 funcDim()
    • 若是, args 中含 string, 则认为传入的是 name, 执行 funName().
    • 上述的 funcDim() , funcName() 是 lambda 函数,但因为觉得对问题没有帮助所以省略。

    想把主函数指针写成如下形式:

    template <typename T, typename ... Ts> auto funcPtr = std::function< bool (T arg1, Ts ... args)>; 

    请问:

    1. 这个要如何在这种 variadic functions 中进行解包呢? 网上的大多数是采用 recursive 的方式,但如果不采用 recursive 方式,如何比较简单的解包? 我认为一个比较清楚的方式是把 args 转成 tuple,即调用std::make_tuple(args ...), 但这个感觉不是很优雅,而且转换一次有效率损失。请问有什么好的方法呢?
    2. 如果这种解包不可能,我能否写三个重载函数,然后用同一个函数指针作为入口, 在运行时指向不同的函数? 即写三个函数 func(arg1) , func(arg1, int1), func(arg1, string1) 这种,然后用 funcPtr 运行时动态的绑定。
    3. 有没有更优雅的方案?
    3 条回复    2020-11-27 15:23:51 +08:00
    boyhailong
        1
    boyhailong  
       2020 年 11 月 27 日
    这样定义本身就很麻烦了吧,还不如 C 里直接 void*简洁呢
    Yienschwen
        2
    Yienschwen  
       2020 年 11 月 27 日
    你的需求不是特别清楚……所以不是很明白为什么你觉得递归解包不方便

    关于你问题的第二点,这会令你的入口函数能够在运行时接受不同类型的参数,我感觉这一点只有类似于[va_arg]( https://en.cppreference.com/w/cpp/utility/variadic/va_arg),但这样类型信息需要你预先知道,反而是静态多态容易处理这个问题。
    Yienschwen
        3
    Yienschwen  
       2020 年 11 月 27 日
    如果你对参数的顺序没有任何约束,那比如你要把某个`int`取出来时,你其实也不知道这个`int`在什么位置,那你用`tuple`其实也不解决问题。另外,如果你哪怕用了`tuple`,只要你小心地控制是否拷贝(比如用`tuple<const Targs& ...>`,其实大多数编译器都能优化,没有什么额外开销。

    我在 [godbolt]( https://godbolt.org/z/9j9zGv) 大概看了一下,应该能说明问题。
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     2823 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 68ms UTC 13:48 PVG 21:48 LAX 06:48 JFK 09:48
    Do have faith in what you're doing.
    ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86