为什么std :: pair <long，long>和std :: tuple <long，long>生成不同的代码

Question

我期望std :: pair和std :: tuple具有类似的行为。但事实证明，与std :: pair相比，std :: tuple生成更差的asm代码。

https://gcc.godbolt.org/z/Ri4M8z-gcc 10.0.0每晚构建，-O3 -std=c++17
针对x86-64 System V ABI进行编译

#include <utility>

std::pair<long, long> test_pair() {
    return { 1, 2 };
}

# returned in RDX:RAX
test_pair():
        mov     eax, 1
        mov     edx, 2
        ret

---

#include <tuple>
std::tuple<long, long> test_tuple() {
    return { 1, 2 };
}

# returned via hidden pointer, not packed into registers
test_tuple():
        mov     QWORD PTR [rdi], 2
        mov     QWORD PTR [rdi+8], 1
        mov     rax, rdi
        ret

这两个函数都返回两个值。test_pair使用寄存器存储期望值；但是test_tuple将值存储在堆栈中，这似乎是未优化的。为什么这两个函数的行为不同？