引用折叠和元组

Question

我正在尝试将参数包转换为引用，因为我的函数的一些参数可能是 r-/l- 值的混合。有问题的功能：

//must return tuple
template <typename ...U>
std::tuple<U...> input(const char* format, U ...args) {
    std::tuple<U...> t = std::tuple<U...> (args...);
    //other code....
}

有些测试代码我不能碰... 这将调用我的函数：

template <typename... U>
std::tuple<U...> test_input(const char* fmt, U &&...inp) {
    input(fmt, std::forward<U>(params)...);
    //other stuff...
}

和 2 个测试对象（也是不可触及的）删除了 copy/move 个构造函数 A() 和 B()。如：

A(const A &) = delete;            //same for B
A &operator=(const A &) = delete; //same for B

如果按原样调用该函数，我将收到 "deleted copy-constructor" 或 "deleted constructor" 错误。例如：

test_input("blah blah", 1, i, "a", std::string("a"), A(123) B("string"));

问题是它可以是 r-/l 值的任意组合，我不知道如何将它们转换为全部引用

我知道我需要参考参数。我尝试使用 std::forward、std::forward_as_tuple、std::make_tuple，并将第二个参数 input 更改为 U & ...args 和 U &&...args

我也明白我需要使用引用折叠：

A& & 变成 A&
A& && 变成 A&
A&& & 变成 A&
A&& && 变成 A&&

我尝试使用第一条和第三条规则将任何内容转换为 A& 的类型，但我仍然遇到错误，例如：call to deleted constructor of 'B' 和 expects an l-value for 2nd argument

如果我的问题不清楚 - 如何将 args，input 的第二个参数转换为引用元组？

Answer 1

我想你想做这样的事情：

#include <tuple>
#include <string>

//must return tuple
template <typename ...U>
std::tuple<U&&...> input(const char*, U&&...args) {
    return std::tuple<U&&...>(std::forward<U>(args)...);
    //other code....
}

template <typename... U>
std::tuple<U&&...> test_input(const char* fmt, U &&...inp) {
    return input(fmt, std::forward<U>(inp)...);
    //other stuff...
}

struct A {
    A(int) { }
    A(const A &) = delete;            //same for B
    A &operator=(const A &) = delete; //same for B
};

struct B {
    B(const char *) { }
    B(const B &) = delete;            //same for B
    B &operator=(const B &) = delete; //same for B
};

int main() {
    int i = 1;
    test_input("blah blah", 1, i, "a", std::string("a"), A(123), B("string"));
}

[live demo]

引用折叠和元组

reference collapsing and and tuples

c++

tuples

reference

perfect-forwarding

stdtuple