如何将构造函数（可变参数）作为模板参数传递？

Posted 2023-02-22

【中文标题】如何将构造函数（可变参数）作为模板参数传递？

【英文标题】：how to pass construction function(variadic arguments) as template parameter?

【发布时间】：2014-08-25 07:03:19

【问题描述】：

C++ 的可变参数模板很强大，但是很难写出这样的代码。我的问题来了：如何通过模板传递Class(见下面的代码sn-p)的构造？

注意：因为我想得到一个通用的解决方案，所以构造的参数必须是可变参数。此外，我想设置每个参数的默认值。

谁能帮帮我？

#include <iostream>
#include <utility>

template< typename R, typename C, typename... Args>
class delegate

public:
    template<R(C::*F)(Args...)>
    struct adapter 
    
        static R invoke_no_fwd(Args... args) 
         
            C t; // how to pass the construction function of C through template??? and set default value for each argument
            return (t.*F)(args...); 
        
    ;
;

class Class 

public:
    Class(int param)
        : m_val(param)
    
    void print(int v) 
    
        std::cout << "Class: " << v + m_val << std::endl;
    
private:
    int m_val;
;

int main(int argc, char** argv) 

    using namespace std;
    // because the below code doesn't contain construction info, so it won't compile

    typedef void(*function_t)(int);
    function_t ptrFunc = (delegate<void, Class, int>::adapter<&Class::print>::invoke_no_fwd);
    auto type = (delegate<void, Class, int>::adapter<&Class::print>::invoke_no_fwd);
    cout << typeid(type).name() << endl;
    return 0;

【问题讨论】：

你为什么不使用std::function ？你愿意接受，还是真的想自己重写所有内容？

@quantdev 不，我想编写一个适配器，可以将非静态成员函数转换为 c 风格的函数指针。我的目的是让开发 MFC 更方便。现有的 API 接口无法更改。这是微软的秘密

但是std::function也可以转换成C风格的函数ptr...

@quantdev，绝对不是。看看这个：***.com/questions/18370396/…

你说的是 c 风格的可变参数函数，然后是 printf。

【参考方案1】：

您可以使用std::integral_constant<typename T, T> 执行以下操作：

template< typename R, typename C, typename... Args>
class delegate

public:
    template<R(C::*F)(Args...), typename ... Ts>
    struct adapter 
        static R invoke_no_fwd(Args... args) 
            C t((Ts::value)...);
            return (t.*F)(args...);
        
    ;
;

并像这样使用它：

int main()

    //using namespace std;

    typedef void(*function_t)(int);
    function_t ptrFunc = (delegate<void, Class, int>::adapter<&Class::print, std::integral_constant<int, 42> >::invoke_no_fwd);
    auto type = (delegate<void, Class, int>::adapter<&Class::print, std::integral_constant<int, 42>>::invoke_no_fwd);
    ptrFunc(-42);
    type(0);
    return 0;

Live example.

【讨论】：

Visual Studio 2013:1 中存在编译错误>Console.cpp(12): error C3520: 'Ts' : parameter pack must be expand in this context 1> Console.cpp(11) :编译类模板成员函数 'void delegate::adapter<:print>>::invoke_no_fwd(int)' 1> Console.cpp(37) : 参见正在编译的函数模板实例化 'void delegate::adapter<:print>>::invoke_no_fwd(int)' 1> Console.cpp (37) : 参见类模板实例化的参考

@Triumphant：在Ts::value 周围添加额外的父母，修复VS2013 的编译。已编辑

它有效，您是模板编程专家。非常感谢

另一个问题，我的构造函数想要 'const char*' 参数怎么样，看我的新问题：***.com/questions/25580294/…，你能通过引用这个问题重写你的答案吗：***.com/questions/25598265/…？

【参考方案2】：

allocor 使用宏调用析构函数。

template<class _Ty> inline
    void _Destroy(_Ty _FARQ *_Ptr)
       // destroy object at _Ptr
    _DESTRUCTOR(_Ty, _Ptr);
    

#define _DESTRUCTOR(ty, ptr)    (ptr)->~ty()

这能解决你的问题吗？

【讨论】：

嗯...我关心的是构造函数，而不是析构函数。不管怎样，还是谢谢你

@Triumphant，我的意思是你可以尝试定义一个宏来调用构造函数。