c – 无法为包装函数添加完美转发

在回答this question时,我编写了这个工作代码,包装函数在模板参数中传递：

template<typename Fn, Fn fn, typename... Args>
auto wrapper(Args... args)->decltype(fn(args...)){
    return fn(args...);
}
#define WRAPPER(FUNC) wrapper<decltype(&FUNC), &FUNC>

用法示例(我使用此代码进行测试)：

int min(int a, int b){
    return (a<b)?a:b;
}

#include<iostream>
using std::cout;
int main(){
    cout<<WRAPPER(min)(10, 20)<<'\n';
}

两个人告诉我使用完美转发.当我问到如何做到这一点时,他们中的一个重定向了我here.我读了问题,仔细阅读了最佳答案,并将包装改为：

#include<utility>
template<typename Fn, Fn fn, typename... Args>
auto wrapper(Args&&... args)->decltype(fn(std::forward<Args...>(args...))){
    return fn(std::forward<Args...>(args...));
}

它编译,除非我尝试使用上面的示例代码检查它.我该如何修复代码？

http://rextester.com/YUIYI99787

解决方法:

你在return语句的错误位置有点.你要：

return fn(std::forward<Args>(args)...);

这将扩展到：

return fn(std::forward<T1>(t1), std::forward<T1>(t2), ...);

你写的内容会扩展到：

return fn(std::forward<T1,T2,...>(t1, t2, t3)); 

诀窍在于每次看到“……”时,都要想“它会复制它背后的东西”.这可能会变得棘手,因为有各种各样的方法可以构建“背后的东西”,包括能够进行交叉产品等.

标签：perfect-forwarding,c,c11,wrapper,variadic-templates
来源： https://codeday.me/bug/20190725/1529964.html