c++ - 元组作为返回类型，是否优化了未访问的值？

Question

我以 std::tuple 的形式从函数返回三个项目。

... myFunction()
{
    ...
    return std::tuple< int, unsigned long long, unsigned int >{ errorCode, timeStamp, sizeOfBuffer };
}

由于必须使用 std::get 或 std::tie 访问返回值，编译器是否针对未使用的值进行了优化 (g++ 4.8)？

Answer 1

是的，它可以。 http://goo.gl/UB7DNc

#include "stdio.h"
#include <tuple>

std::tuple<int, unsigned long long, unsigned int> myFunction()
{
    return std::tuple<int, unsigned long long, unsigned int>{ 1, 2, 3 };
}

int f()
{
  return std::get<0>(myFunction());
}

成为

myFunction():
    movq    %rdi, %rax
    movl    $3, (%rdi)
    movq    $2, 8(%rdi)
    movl    $1, 16(%rdi)
    ret
f():
    movl    $1, %eax
    ret