c++ - 无法将完美转发添加到包装函数

Question

在回答 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 .我阅读了问题，仔细阅读了最佳答案，并将 wrapper 更改为:

#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

Answer 1

您在 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)); 

诀窍是每当你看到“...”时，就认为“它会复制它背后的东西”。这可能会变得棘手，因为有各种各样的方法可以构建“它背后的东西”，包括能够进行叉积等。