`std :: forward_as_tuple (1)`이 상수 표현이 아닌 이유는 무엇입니까?

Question

#include <tuple> 

int main() { 
    static_assert(std::is_same<std::tuple<int&&>, 
          decltype(std::forward_as_tuple(1))>::value, ""); 
    constexpr int x = 5; 
    constexpr auto t1 = std::forward_as_tuple(1); // (1) 
    constexpr auto t2 = std::forward_as_tuple(x); // (2) 
    constexpr std::tuple<int&&> t3(1);    // (3) 
    constexpr std::tuple<int> t4(1); // OK! 
} 

위 코드에서 static_assert는 성공하지만 gcc 4.9 (우분투 제공) 및 clang 모두 1 ~ 3 행은 컴파일되지 않습니다. 그들은 변수가 constexprs에 의해 초기화되지 않는다고 불평하고 x은 constexpr이 아니며 (리터럴로 초기화되었지만) 임시 참조를 생성하거나 forward_as_tuple()의 구현이 그렇지 않습니다 (C++ 14 표준이 이것을 보장합니다).

std::tuple 및 constexpr을 많이 사용하는 코드를 작성 중입니다. 나는 을 constexpr으로 정의하지 않고 돌아올 수는 있지만, forward_as_tuple(0)이 tuple<int&&>을 반환하는 이유를 이해할 수 없다. 이는 clang에 따르면 constexpr이 아닌 임시 참조를 작성한다. 대안은 내가 필요로하는 것에 대해 작동하지 않습니다. std::make_tuple()은 완벽한 전달에 사용할 수없고 std::tie은 리터럴 값을 저장할 수 없습니다. 편집 :std::forward_as_tuple()이 대체 방식을 제공하지 않고 이러한 방식으로 작동하는 이유는 무엇입니까?

내가 근본적으로 뭔가 잘못하고있는 것입니까, 아니면 이해할 수없는 것이 있습니까?

Answer 1

std::forward_as_tuple 완벽한 전달을 위해 참조의 튜플을 반환하도록 지정 되었기 때문에 그렇게 작동합니다. 당신이 1, x 및 std::move(y) 호출 할 때 std::tuple<int,X&,Y>을 반환하는 함수를 원한다면, 하나의 총수 :

template <typename...Ts> 
constexpr std::tuple<Ts...> foo(Ts&&...ts) { 
    return std::tuple<Ts...>{std::forward<Ts>(ts)...}; 
} 

DEMO