std :: ignore z powiązaniami strukturalnymi?

Question

Prelude:

std::tuple<int, int, int> f(); 
std::tuple<int, int, float, int> g(); 

C++ 1z wprowadzi składni powiązań strukturalnych, które umożliwi napisać zamiast

int a, b, c; 
std::tie(a, b, c) = f(); 

coś podobnego

auto [a, b, c] = f(); 

jednak std::tie także można podać std::ignore, aby zignorować niektóre komponenty, np .:

std::tie(a, b, std::ignore, c) = g(); 

będzie to możliwe, aby zrobić coś podobnego przy użyciu nowej składni powiązań strukturyzowane? Jak by to działało?

Answer 1

Strukturalny propozycja Wiązania zawiera specjalną sekcję odpowiadając na pytanie (P0144R2):

3,8 powinien istnieć sposób jawnie ignorować komponenty?

Motywacją byłoby wyciszenie ostrzeżeń kompilatora o nieużywanych nazwach. Uważamy, że odpowiedź powinna brzmieć "jeszcze nie". Nie jest to uzasadnione przypadkami użycia (wyciszanie ostrzeżeń kompilatora jest motywacją, ale nie jest to przypadek użycia per se), i najlepiej pozostawić, dopóki nie będziemy mogli powtórzyć tego w kontekście bardziej ogólnej propozycji dopasowania wzorców, w przypadku gdy powinno to wypaść jako szczególny przypadek.

Symetria z std::tie sugerowałoby użyciu coś jak std::ignore:

tuple<T1,T2,T3> f(); 

auto [x, std::ignore, z] = f(); // NOT proposed: ignore second element 

to jednak czuje się niezręcznie.

Przewidywanie dopasowywania wzorców w języku może sugerować wieloznaczność, taką jak _ lub *, ale ponieważ nie mamy jeszcze dopasowania wzorca, jest zbyt wcześnie, aby wybrać składnię, o której wiemy, że będzie zgodna. To jest czyste rozszerzenie, które może czekać na rozpatrzenie z dopasowaniem do wzorca.

Należy jednak pamiętać, że projekt roboczy Standardem jest obecnie przeglądowi przez właściwe organy krajowe (NB), a tam jest komentarz NB zainteresowanie tej funkcji (P0488R0, US100):

Deklaracje deklaracji powinny zapewniać składnię, aby odrzucić niektóre zwrócone wartości, tak jak std::tie używa .

Answer 2

Czy będzie można zrobić coś podobnego za pomocą nowej składni powiązań strukturalnych?

Nie. Będziesz musiał nadać nazwę zmiennej, o której nie będzie mowa w dalszej części.