Question

所以我的问题很简单，因为我还没有找到答案，所以我在这里问。

我很想知道是否可以从函数返回std :: pair引用，并让调用函数修改其值。这是我的意思的一个例子：

struct PairStruct {
    using PairType = std::pair<size_t, size_t>;

    PairStruct() : m_pair(std::make_pair(0, 0)) {}

    void modifyRefInternal() {
        auto pair = getPairRef();

        std::cout << "start - first: " << pair.first << ", second: " << pair.second << "\n";
        pair.first++;
        pair.second++;
        std::cout << "end - first: " << pair.first << ", second: " << pair.second << "\n";
    }

    void modifyPtrInternal() {
        auto pair = getPairPtr();

        std::cout << "start - first: " << pair->first << ", second: " << pair->second << "\n";
        pair->first++;
        pair->second++;
        std::cout << "end - first: " << pair->first << ", second: " << pair->second << "\n";
    }

    PairType &getPairRef() {
        return m_pair;
    }

    PairType *getPairPtr() {
        return &m_pair;
    }

    PairType m_pair;
};

int main(int argc, char ** args)
{
    PairStruct *pairInst = new PairStruct;

    // Test with reference
    std::cout << "Reference test.\n";
    pairInst->modifyRefInternal();
    std::cout << "\n";
    pairInst->modifyRefInternal();

    std::cout << "\n";

    // Test with ptr
    std::cout << "Ptr test.\n";
    pairInst->modifyPtrInternal();
    std::cout << "\n";
    pairInst->modifyPtrInternal();

    delete pairInst;
    return 0;
}

正如预期的那样，当我使用指针时，它正确地修改了值，返回引用时不是这种情况。这是该程序的输出：

Reference test.
start - first: 0, second: 0
end - first: 1, second: 1

start - first: 0, second: 0
end - first: 1, second: 1

Ptr test.
start - first: 0, second: 0
end - first: 1, second: 1

start - first: 1, second: 1
end - first: 2, second: 2

这看起来非常简单，但是，我想知道为什么在这种情况下我不能使用引用的对。谢谢！

Answer 1

使用

auto pair = getPairRef();

变量pair被推断为值，而不是参考。

您需要明确地将其作为参考：

auto& pair = getPairRef();

Answer 2

只需写入成员函数modifyRefInternal

即可

decltype(auto) pair = getPairRef();
^^^^^^^^^

如何修改引用std :: pair的值？

2 个答案: