c – 如何从函数指针中删除参数列表？

发布时间：2020-12-16 04:54:11 所属栏目：百科来源：网络整理

导读：给定两个或更多示例函数,是否可以编写模板化代码,这些代码能够推导出作为模板参数提供的函数的参数？这是一个激励的例子： void do_something(int value,double amount) { std::cout (value * amount) std::endl;}void do_something_else(std::string const

给定两个或更多示例函数,是否可以编写模板化代码,这些代码能够推导出作为模板参数提供的函数的参数？

这是一个激励的例子：

void do_something(int value,double amount) {
    std::cout << (value * amount) << std::endl;
}

void do_something_else(std::string const& first,double & second,int third) {
    for(char c : first) 
        if(third / c == 0) 
            second += 13.7;
}

template<void(*Func)(/*???*/)>
struct wrapper {
    using Args = /*???*/;
    void operator()(Args&& ... args) const {
        Func(std::forward<Args>(args)...);
    }
};

int main() {
    wrapper<do_something> obj; //Should be able to deduce Args to be [int,double]
    obj(5,17.4); //Would call do_something(5,17.4);
    wrapper<do_something_else> obj2; //Should be able to deduce Args to be [std::string const&,double&,int]
    double value = 5;
    obj2("Hello there!",value,70); //Would call do_something_else("Hello there!",70);
}

在/ * ??? * /的两种用法中,我试图弄清楚我可以放在哪里来启用这种代码.

由于Args在第一次使用之前没有被定义(以及我必须假设的还有许多语法错误),以下似乎不起作用,即使它确实如此,我仍然在寻找一个版本不需要明确写出类型本身：

template<void(*Func)(Args ...),typename ... Args)
struct wrapper {
    void operator()(Args ...args) const {
        Func(std::forward<Args>(args)...);
    }
};

wrapper<do_something,int,double> obj;

解决方法

使用C 17,我们可以使用自动模板非类型参数,这使得Wrapper< do_something>成为可能. w {}语法1).

至于演绎Args ……你可以用specialization做到这一点.

template <auto* F>
struct Wrapper {};

template <class Ret,class... Args,auto (*F)(Args...) -> Ret>
struct Wrapper<F>
{
    auto operator()(Args... args) const
    {
        return F(args...);
    }
};

Wrapper<do_something> w{};
w(10,11.11);

1)没有C 17,就不可能有Wrapper< do_something> w {}很好的语法.

你能做的最好的事情是：

template <class F,F* func>
struct Wrapper {};

template <class Ret,auto (*F)(Args...) -> Ret>
struct Wrapper<Ret (Args...),F>
{
    auto operator()(Args... args) const
    {
        return F(args...);
    }
};

Wrapper<declype(do_something),do_something> w{};

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!