Preludium:
std::tuple<int, int, int> f();
std::tuple<int, int, float, int> g();
C ++ 1z wprowadzi składnię powiązań strukturalnych, która umożliwi pisanie zamiast
int a, b, c;
std::tie(a, b, c) = f();
coś jak
auto [a, b, c] = f();
Jednak można std::tierównież określić std::ignoreignorowanie niektórych komponentów, np .:
std::tie(a, b, std::ignore, c) = g();
Czy będzie możliwe zrobienie czegoś podobnego przy użyciu nowej składni strukturalnych powiązań? Jak by to działało?
std::ignore. Ponieważ mamy zagwarantowane wykluczenie kopiowania, zmienna zastępcza jest inicjalizowana; z std::tie, std::ignoreinicjowany jest element tymczasowy znajdujący się w prawej części przypisania do .
auto[IGNORE]które generuje unikalną nazwę (np. Z LICZNIKIEM lub LINIĄ specyficzną dla kompilatora ). Byłby wystarczająco czytelny, aw praktyce funkcjonowałby jak std::ignoredla std::tie.
getzwraca.
Odpowiedzi:
Propozycja powiązań strukturalnych zawiera dedykowaną sekcję z odpowiedzią na Twoje pytanie ( P0144R2 ):
3.8 Czy powinien istnieć sposób na jawne ignorowanie składników?
Motywacją byłoby wyciszenie ostrzeżeń kompilatora o nieużywanych nazwach. Uważamy, że odpowiedź powinna brzmieć „jeszcze nie”. Nie jest to motywowane przypadkami użycia (wyciszanie ostrzeżeń kompilatora jest motywacją, ale nie jest przypadkiem użycia jako takim) i najlepiej zostawić to do czasu, gdy będziemy mogli wrócić do tego w kontekście bardziej ogólnej propozycji dopasowania wzorców, gdzie to powinno wypaść jako przypadek specjalny.
Symetria z
std::tiesugerowałaby użycie czegoś takiego jakstd::ignore:tuple<T1,T2,T3> f(); auto [x, std::ignore, z] = f(); // NOT proposed: ignore second elementJednak wydaje się to niezręczne.
Przewidywanie dopasowywania wzorców w języku może sugerować użycie symbolu wieloznacznego, takiego jak
_lub*, ale ponieważ nie mamy jeszcze dopasowywania wzorców, przedwczesne jest wybieranie składni, o której wiemy, że będzie kompatybilna. Jest to czyste rozszerzenie, które może czekać na uwzględnienie z dopasowywaniem wzorców.
Należy jednak pamiętać, że wersja robocza Standardu jest obecnie aktualizowana przez odpowiednie organy krajowe (NB) i istnieje komentarz NB dotyczący tej funkcji ( P0488R0 , US100):
Deklaracje dekompozycji powinny zapewniać składnię umożliwiającą odrzucenie niektórych zwracanych wartości, podobnie jak
std::tieużyciestd::ignore.
std::ignorew strukturalnych wiązaniach.
Czy będzie możliwe zrobienie czegoś podobnego przy użyciu nowej składni strukturalnych powiązań?
Nie. Będziesz musiał tylko wymyślić nazwę zmiennej, która nie zostanie wymieniona później.
-Wunused-variable, możesz użyć: [[maybe_unused]] auto [ a, b, dummy ] = std::tuple(1,"2",3f);ale to oznacza, że każda z nich może być nieużywana, nie będziesz wiedział, która. w tej chwili nie ma dobrego rozwiązania w tej sprawie. miejmy nadzieję, że zostanie poprawiony w C ++ 20. pobrane stąd: stackoverflow.com/questions/41404001/…
(void)dummy;aby pozbyć się ostrzeżenia o nieużywanej zmiennej bez wpływu na inne zmienne.