将一对成员分配给变量

Question

是否可以在不创建临时对象的情况下分配对的成员？

#include <tuple>
using namespace std;

pair< bool, int > foo()
{
    return make_pair( false, 3 );
}

int main()
{
    int x;
    bool y;

    auto z = foo();
    x = z.second;
    y = z.first;

    return 0;
}

在上面的代码中，需要 auto z 对象在剖析它之前“持有”该对，但在实际代码中创建它可能代价高昂。

Answer 1

是的； std::tie 就是为此而发明的：

#include <tuple>
#include <iostream>

std::pair<bool, int> foo()
{
    return std::make_pair(false, 3);
}

int main()
{
    int x;
    bool y;

    std::tie(y, x) = foo();
    std::cout << x << ',' << y << '\n';
}

// Output: 3,0

(live demo)

当然你仍然会有一个临时对象somewhere（模常数优化），但这是你可以编写的最直接的代码，除非你直接初始化x和y从它们的最终值而不是首先在 foo() 中创建一对。

Answer 2

C++17 已经允许您使用结构化绑定声明语法：

#include <iostream>

std::pair<bool, int> foo() {
    return std::make_pair(false, 3);
}

int main() {
    auto [y, x] = foo();               //Structured binding attribution
    std::cout << x << ',' << y << '\n';
}