'자동'없이는 사용할 수없는 기능 (특히 구조화 된 바인딩)이 있습니까?

Question

auto 키워드는 코드를 단순화하기 위해 도입되었습니다. 특히 stl 컨테이너를 반복 할 때마다 루프를 반복 할 때마다 구문이 엉망인 std::vector<MyType>::iterator 구문을 사용하지 않아도보다 쉽고 멋지게되었습니다. 그러나 정확히 동일한 일을 수행 할 auto을 사용하지 않고 코드를 작성할 수있었습니다.

std::tuple<int, int&> f(); 
auto [x, y] = f(); 

그래서, 두 가지 질문 :

1. 내가 할 수있는 방법이 없다는 것을 수정 있습니까

   는 이제 특정 구조화 된 바인딩에 auto없이 특정 기능을 사용할 수 없습니다 (내 생각) (아직 구조화 된 바인딩 사용)을 사용하지 않고 [x, y]을 초기화 하시겠습니까? 명시 적으로 초기화하는 방법이 있습니까 : *explicit_type* [x, y] = f();?

2. auto을 사용해야하는 다른 기능은 무엇입니까?

Answer 1

auto (아직 구조화 된 바인딩 사용)을 사용하지 않고 [x, y]을 초기화 할 수 없다는 점을 고치겠습니다.

네, 맞습니다. 예를 들어 here에서 볼 수 있듯이 문법은 다른 방법을 지정하지 않습니다.

auto을 사용해야하는 다른 기능은 무엇입니까?

고전적인 예는 있어야 (일반) 람다 식 :

auto lambda = [](auto&&...) { }; 

그러나 코멘트에 명시된 바와 같이,뿐만 아니라 다른 사례가있다

.

Answer 2

cppreference는 cv-auto는 이력서 자격을 갖춘 타입 지정자 2/를 들어 auto

나는 두 가지 예를 가능성이다 Structured binding declaration, C++17

attr(optional) cv-auto ref-operator(optional) [ identifier-list ] 

를 참조 점 1/와 관련된 매우 분명하다 :

사용 예는 C++ 17 Declaring non-type template arguments with auto

이다

이미 언급 auto = [](){}; 람다 경우

다른 하나는 :

C에서 단순화 될 수

template <typename Type, Type value> constexpr Type TConstant = value; 

++ 17 : by :

template <auto value> constexpr auto TConstant = value;