일반적으로 함수 반환 유형은 함수를 문서화하는 데 큰 도움이됩니다. 사용자는 예상되는 것을 알 수 있습니다. 그러나 중복을 피하기 위해 반환 유형을 삭제하는 것이 좋을 것이라고 생각되는 경우가 있습니다. 예를 들면 다음과 같습니다.

template<typename F, typename Tuple, int... I>
  auto
  apply_(F&& f, Tuple&& args, int_seq<I...>) ->
  decltype(std::forward<F>(f)(std::get<I>(std::forward<Tuple>(args))...))
  {
    return std::forward<F>(f)(std::get<I>(std::forward<Tuple>(args))...);
  }

template<typename F, typename Tuple,
         typename Indices = make_int_seq<std::tuple_size<Tuple>::value>>
  auto
  apply(F&& f, Tuple&& args) ->
  decltype(apply_(std::forward<F>(f), std::forward<Tuple>(args), Indices()))
  {
    return apply_(std::forward<F>(f), std::forward<Tuple>(args), Indices());
  }

이 예는 공식위원회 논문 N3493에서 발췌 한 것 입니다. 함수의 목적은 applya의 요소를 함수 로 전달 std::tuple하고 결과를 반환하는 것입니다. int_seq및 make_int_seq구현의 일부분이며, 아마 단지 그것이 무엇을 이해하려고 노력하는 모든 사용자를 혼란스럽게합니다.

보다시피, 리턴 타입은 decltype리턴 된 표현식에 지나지 않습니다 . 또한 apply_사용자가 볼 수있는 것이 아니기 때문에 반환 유형이 apply‘ 와 같거나 적을 때 문서화하는 것이 유용하다는 것을 확신하지 못합니다 . 이 특별한 경우 반환 유형을 삭제하면 함수를 더 읽기 쉽게 만듭니다. 이 반환 유형은 표준 N3915decltype(auto) 에 추가 apply하기 위해 제안서에서 실제로 삭제되고 대체되었습니다 (또한 원래의 대답은이 문서보다 우선 합니다).

template <typename F, typename Tuple, size_t... I>
decltype(auto) apply_impl(F&& f, Tuple&& t, index_sequence<I...>) {
    return forward<F>(f)(get<I>(forward<Tuple>(t))...);
}

template <typename F, typename Tuple>
decltype(auto) apply(F&& f, Tuple&& t) {
    using Indices = make_index_sequence<tuple_size<decay_t<Tuple>>::value>;
    return apply_impl(forward<F>(f), forward<Tuple>(t), Indices{});
}

그러나 대부분의 경우 반환 유형을 유지하는 것이 좋습니다. 위에서 설명한 특정 경우에 반환 유형은 읽을 수 없으며 잠재적 인 사용자는이를 알 수 없습니다. 예제가 포함 된 좋은 문서가 훨씬 유용 할 것입니다.

상태 : 아직 언급되지 않은 또 다른 것은 declype(t+u)사용할 수 있도록 표현 SFINAE을 , decltype(auto)(비록하지 않는 제안이 이 동작을 변경할 수). 예를 들어, foobar유형의 foo멤버 함수가 존재하는 경우이를 호출하거나 유형의 멤버 함수가 존재하는 경우이를 호출 하는 함수 를 예로 들어 bar클래스가 항상 정확 foo하거나 bar한 번에 둘 다를 갖지 않는다고 가정하십시오 .

struct X
{
    void foo() const { std::cout << "foo\n"; }
};

struct Y
{
    void bar() const { std::cout << "bar\n"; }
};

template<typename C>
auto foobar(const C& c) -> decltype(c.foo())
{
    return c.foo();
}

template<typename C>
auto foobar(const C& c) -> decltype(c.bar())
{
    return c.bar();
}

호출 foobar의 인스턴스 것은 X표시됩니다 foo호출하는 동안 foobar의 인스턴스에 Y의지 표시 bar. 대신 자동 반환 유형 공제를 사용하면 (또는 포함하지 않음 decltype(auto)) SFINAE 표현식을 얻지 못 하거나 foobar인스턴스를 호출 X하거나 Y컴파일 타임 오류가 발생합니다.

답변

inline auto CreateEntity() { return GetContext()->GetEntityManager()->CreateEntity(); }

std::vector<std::map<std::pair<int, double>, int>> foo() {
    decltype(foo()) ret;
    return ret;
}