我在板上找到了一个参数包扩展，我不明白到底发生了什么[重复]

Question

我在板上看到了一个我不明白的code snippet：

struct expression_sequence
{
    template<typename... Ts>
    expression_sequence(Ts&&... ts) { }
};

template<typename T, class Tuple = std::vector<T>>
class vector
{
public:    
    template<typename... Elements>
    vector(Elements&&... elements)
    {
        m_elements.reserve(sizeof...(Elements));
        expression_sequence{ (m_elements.push_back(std::forward<Elements>(elements)), 0)... };
    }

private:
    Tuple m_elements;
};

expression_sequence{ (m_elements.push_back(std::forward<Elements>(elements)), 0)... };究竟发生了什么，为什么它在工作？

我不明白为什么我们需要用( 和, 0) 包围m_elements.push_back(std::forward<Elements>(elements))。 （为什么是0，即为什么是int？）。还有(m_elements.push_back(std::forward<Elements>(elements)), 0)的类型是什么？

Answer 1

这是一种解决方法，等待fold expression。

目前，push_back 仅接受一个元素，因此您无法解压缩参数列表。
使用该技巧，通过类及其（让我说）可变参数构造函数，您可以成功解包参数包，但该类仍然需要一个类型列表，即使它不使用这些参数。
因此，使用周围的部分 ( 和 , 0) 您实际上允许支持结构从 ints 列表中自动推断其类型，以便该代码编译。

有人可能会说支持结构完全没用。
当然，这不过是个技巧，因为折叠表达式是为修订版C++17计划的。