使用折叠表达式构造一个平凡的对象

Question

我正在尝试使用 std::apply 和折叠表达式构造一个对象。从我可以告诉在线阅读文档来看，折叠逗号应该有效。这是一个澄清的例子。

struct my_pair final {
    float x;
    float y;
};

struct test final {
    my_pair back() {
        return std::apply(
                [](auto&... vector) {
                    return my_pair{ (vector.back(), ...) }; },
                data);
    }

    std::tuple<std::vector<float>, std::vector<float>> data
            = { { 0.f }, { 1.f } };
};

我解压元组，获取最后一个元素并尝试使用这些元素返回一个新对象。

各种编译器抱怨 y 从未初始化。不知何故，扩张没有发生。至少，不是我所期望的那样。

error: missing field
      'y' initializer [-Werror,-Wmissing-field-initializers]
  ...[](auto&... vector) { return my_pair{ (vector.back(), ...) }; },
                                                                ^

如果我禁用 -Werror，my_pair 的第一个值为 1，第二个值为 0。我尝试使用一元左折叠，但结果相同。

看起来这应该可行，cppreference 有这个向量push_back 的例子，看起来很相似（从我的角度来看）。

template<typename T, typename... Args>
void push_back_vec(std::vector<T>& v, Args&&... args)
{
    (v.push_back(args), ...);
}

是否可以使用折叠表达式创建一个普通（pod）类型的对象？如果是这样，来自未打包的元组？

Answer 1

这里不需要折叠表达式。正确的代码是：

[](auto&... vector) 
{
    return my_pair{vector.back()...}; 
}

---

使用您现有的代码，这是发生的扩展：

return my_pair{ (0.f, 1.f) }

如果使用(0.f, 1.f) 初始化，则第一个元素的计算结果为1.f。在这种情况下，逗号标记是 逗号运算符 - 在聚合初始化期间它不会分隔参数。