转发可变参数列表

Question

转发可变参数列表

c++c++11templatesc++14perfect-forwarding

3

以下两段代码都可以编译并按预期运行，它们有什么不同吗？

template<typename T, typename ...U>
auto time_function(T&& func, U&& ...args)
{
   std::cout << "timing" << std::endl;
   auto val = std::forward<T>(func)(std::forward<U...>(args...));
   std::cout << "timing over" << std::endl;
   return val;
}

template<typename T, typename ...U>
auto time_function(T&& func, U&& ...args)
{
   std::cout << "timing" << std::endl;
   auto val = std::forward<T>(func)(std::forward<U>(args)...);
   std::cout << "timing over" << std::endl;
   return val;
}

看着SO上的如何在可变参数函数中调用std::forward?，第二种方法似乎被推荐，但第一种方法不是也能实现同样的功能吗？

- Sridhar Thiagarajan

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- rmawatson · Accepted Answer

它们并不相同。当 args 的元数为 0 或 1 时，它们相同。否则，它将无法编译，需要考虑......

#include <iostream>
using namespace std;
template<typename T, typename ...U>
auto time_function_1(T&& func, U&& ...args)
{

    std::cout<<"timing"<<std::endl;
    auto val = std::forward<T>(func)(std::forward<U...>(args...));
    std::cout<<"timing over"<<std::endl;
    return val;
}

    template<typename T, typename ...U>
auto time_function_2(T&& func, U&& ...args)
{

    std::cout<<"timing"<<std::endl;
    auto val = std::forward<T>(func)(std::forward<U>(args)...);
    std::cout<<"timing over"<<std::endl;
    return val;
}



int f (int){return 0;}

int y (int,int){return 0;}

int main() {
    time_function_1(f,1);
    time_function_2(f,1);

    time_function_1(y,1,2); // fail
    time_function_2(y,1,2);
    return 0;
}

演示

对于失败的情况，std::forward<U...>(args...) 展开成 forward<int, int>(int&, int&) 并且会编译失败。

std::forward<U>(args)... 展开成 std::forward<int>(int&),std::forward<int>(int&)