decltype (auto)의 용도는 무엇입니까?

c ++ 14에는 decltype(auto)관용구가 도입되었습니다.

일반적으로 선언 은 주어진 표현식 에서 규칙 을 사용할 수 있도록 합니다autodecltype .

관용구의 "좋은"사용법의 예를 검색하면 다음과 같은 것 ( Scott Meyers에 의한 것 ), 즉 함수의 반환 유형 공제에 대해서만 생각할 수 있습니다 .

template<typename ContainerType, typename IndexType>                // C++14
decltype(auto) grab(ContainerType&& container, IndexType&& index)
{
  authenticateUser();
  return std::forward<ContainerType>(container)[std::forward<IndexType>(index)];
}

이 새로운 언어 기능이 유용한 다른 예가 있습니까?

제네릭 코드로 반환 형식 전달

일반적으로 제공 한 초기 예제와 같이 제네릭이 아닌 코드의 경우 참조를 반환 유형으로 가져 오도록 수동으로 선택할 수 있습니다.

auto const& Example(int const& i) 
{ 
    return i; 
}

그러나 일반 코드 에서는 참조 또는 값을 처리하는지 여부를 알지 못하면 반환 유형 을 완벽하게 전달할 수 있기를 원합니다 . decltype(auto)당신에게 그 능력을 제공합니다 :

template<class Fun, class... Args>
decltype(auto) Example(Fun fun, Args&&... args) 
{ 
    return fun(std::forward<Args>(args)...); 
}

재귀 템플릿에서 반환 유형 공제 지연

에서 이 Q & A 템플릿의 반환 유형으로 지정되었을 때 몇 일 전, 템플릿 인스턴스화하는 동안 무한 재귀가 발생했습니다 decltype(iter(Int<i-1>{}))대신 decltype(auto).

template<int i> 
struct Int {};

constexpr auto iter(Int<0>) -> Int<0>;

template<int i>
constexpr auto iter(Int<i>) -> decltype(auto) 
{ return iter(Int<i-1>{}); }

int main() { decltype(iter(Int<10>{})) a; }

decltype(auto)여기서 템플릿 인스턴스화 먼지가 발생한 후 리턴 유형 공제 를 지연시키는 데 사용됩니다 .

다른 용도

당신은 또한 사용할 수 있습니다 decltype(auto)초안 표준 예, 다른 상황에서 N3936을 또한 상태를

7.1.6.4 자동 사양 [dcl.spec.auto]

1 auto및 decltype(auto)유형 지정자는 이니셜 라이저에서 추론하거나 후행 리턴 유형으로 명시 적으로 지정하여 나중에 대체 할 자리 표시 자 유형을 지정합니다. auto형 SPECI 좋 어 또한 람다 일반 람다임을 나타 내기 위해 사용된다.

2 자리 표시 자 유형 은 선언자가 유효한 모든 컨텍스트에서 decl-specifier-seq, type-specifier-seq, conversion-function-id 또는 trailing-return-type에서 함수 선언자와 함께 나타날 수 있습니다 . 함수 선언자에 후행 반환 형식 (8.3.5)이 포함되어 있으면 선언 된 함수 반환 형식을 지정합니다. 함수의 선언 된 리턴 유형에 플레이스 홀더 유형이 포함 된 경우 함수 본문의 리턴 문에서 함수의 리턴 유형이 추론됩니다 (있는 경우).

초안에는 다음과 같은 변수 초기화 예제도 포함되어 있습니다.

int i;
int&& f();
auto x3a = i;                  // decltype(x3a) is int
decltype(auto) x3d = i;        // decltype(x3d) is int
auto x4a = (i);                // decltype(x4a) is int
decltype(auto) x4d = (i);      // decltype(x4d) is int&
auto x5a = f();                // decltype(x5a) is int
decltype(auto) x5d = f();      // decltype(x5d) is int&&
auto x6a = { 1, 2 };           // decltype(x6a) is std::initializer_list<int>
decltype(auto) x6d = { 1, 2 }; // error, { 1, 2 } is not an expression
auto *x7a = &i;                // decltype(x7a) is int*
decltype(auto)*x7d = &i;       // error, declared type is not plain decltype(auto)

여기 에서 물건을 인용 :

• decltype(auto)전달 함수의 리턴 유형 및 유사한 랩퍼 를 추론하는 데 주로 유용합니다 . 여기서 호출하는 표현식을 유형을 정확히 "추적"하려는 유형이 있습니다.

• 예를 들어, 아래 기능이 주어지면 :

   string  lookup1();
   string& lookup2();

• C ++ 11에서는 반환 유형의 참조를 유지하는 것을 기억하는 다음 래퍼 함수를 ​​작성할 수 있습니다.

   string  look_up_a_string_1() { return lookup1(); }
   string& look_up_a_string_2() { return lookup2(); }

• C ++ 14에서는 다음을 자동화 할 수 있습니다.

   decltype(auto) look_up_a_string_1() { return lookup1(); }
   decltype(auto) look_up_a_string_2() { return lookup2(); }

• 그러나 decltype(auto)그 이상으로 널리 사용되는 기능은 아닙니다.

• 특히, 로컬 변수 를 선언 하는 데 사용할 수 있지만 로컬 변수의 참조는 초기화 식에 의존해서는 안되기 때문에 반 패턴 일 수 있습니다 .

• 또한 return 문을 작성하는 방법에 민감합니다.

• 예를 들어, 아래 두 함수는 서로 다른 리턴 유형을 갖습니다.

   decltype(auto) look_up_a_string_1() { auto str = lookup1(); return str; }
   decltype(auto) look_up_a_string_2() { auto str = lookup2(); return(str); }

• 첫 번째는 로컬 변수에 대한 참조 인 string두 번째는 반환 string&합니다 str.

제안서 에서 보다 의도 된 용도를 볼 수 있습니다.