Jaki jest powód nieużywania [[nodiscard]] C ++ 17 prawie wszędzie w nowym kodzie?

C ++ 17 wprowadza [[nodiscard]]atrybut, który pozwala programistom oznaczać funkcje w taki sposób, że kompilator generuje ostrzeżenie, jeśli zwracany obiekt zostanie odrzucony przez program wywołujący; ten sam atrybut można dodać do całego typu klasy.

Przeczytałem o motywacji tej funkcji w oryginalnej propozycji i wiem, że C ++ 20 doda atrybut do standardowych funkcji, takich jak std::vector::empty, których nazwy nie przekazują jednoznacznego znaczenia w odniesieniu do wartości zwracanej.

To fajna i przydatna funkcja. W rzeczywistości wydaje się to zbyt przydatne. Gdziekolwiek czytam [[nodiscard]], ludzie dyskutują o tym, jakbyś po prostu dodał go do kilku wybranych funkcji lub typów i zapomniał o reszcie. Ale dlaczego wartość nie do odrzucenia powinna być szczególnym przypadkiem, szczególnie podczas pisania nowego kodu? Czy odrzucona wartość zwracana nie jest zazwyczaj błędem lub marnowaniem zasobów?

I czy nie jest jedną z zasad projektowania samego C ++, że kompilator powinien wychwytywać jak najwięcej błędów?

Jeśli tak, to dlaczego nie dodać [[nodiscard]]własnego, nie-starszego kodu do prawie każdego pojedynczego voidniefunkcji i niemal każdego typu klasy?

Próbowałem to zrobić we własnym kodzie i działa dobrze, ale jest tak strasznie gadatliwy, że zaczyna przypominać Javę. Wydaje się bardziej naturalne, aby kompilatory domyślnie ostrzegały o odrzuconych wartościach zwrotnych, z wyjątkiem kilku innych przypadków, w których zaznaczasz swój zamiar ^[*] .

Ponieważ widziałem zero dyskusji na temat tej możliwości w standardowych propozycjach, wpisach na blogu, pytaniach dotyczących przepełnienia stosu lub w dowolnym innym miejscu w Internecie, muszę coś przeoczyć.

Dlaczego taka mechanika nie miałaby sensu w nowym kodzie C ++? Czy gadatliwość jest jedynym powodem, aby nie używać [[nodiscard]]prawie wszędzie?

^{[*] Teoretycznie możesz [[maydiscard]]zamiast tego mieć coś w rodzaju atrybutu, który można również dodać z mocą wsteczną do funkcji takich jak printfw implementacjach biblioteki standardowej.}

W nowym kodzie, który nie musi być zgodny ze starszymi standardami, używaj tego atrybutu tam, gdzie jest to uzasadnione. Ale dla C ++ [[nodiscard]]sprawia , że złe ustawienie domyślne. Sugerujesz:

Wydaje się bardziej naturalne, aby kompilatory domyślnie ostrzegały o odrzuconych wartościach zwrotnych, z wyjątkiem kilku innych przypadków, w których zaznaczasz swój zamiar.

To nagle spowodowałoby, że istniejący, poprawny kod emitował wiele ostrzeżeń. Chociaż taka zmiana może być technicznie uznana za zgodną wstecz, ponieważ każdy istniejący kod nadal się kompiluje, to w praktyce byłaby to ogromna zmiana semantyki.

Decyzje projektowe dla istniejącego, dojrzałego języka z bardzo dużą bazą kodu niekoniecznie różnią się od decyzji projektowych dla zupełnie nowego języka. Gdyby to był nowy język, domyślnie ostrzeżenie byłoby rozsądne. Na przykład język Nim wymaga jawnego odrzucenia niepotrzebnych wartości - byłoby to podobne do zawijania każdej instrukcji wyrażenia w C ++ rzutowaniem (void)(...).

[[nodiscard]]Atrybut jest najbardziej przydatna w dwóch przypadkach:

• jeśli funkcja nie wywołuje żadnych efektów poza zwróceniem określonego wyniku, tj. jest czysta. Jeśli wynik nie zostanie wykorzystany, połączenie z pewnością będzie bezużyteczne. Z drugiej strony odrzucenie wyniku nie byłoby błędne.

• czy wartość zwrotna musi zostać sprawdzona, np. dla interfejsu podobnego do C, który zwraca kody błędów zamiast wyrzucania. Jest to podstawowy przypadek użycia. W przypadku idiomatic C ++ będzie to dość rzadkie.

Te dwa przypadki pozostawiają ogromną przestrzeń nieczystych funkcji, które zwracają wartość, gdzie takie ostrzeżenie byłoby mylące. Na przykład:

• Rozważ typ danych kolejki za pomocą .pop()metody, która usuwa element i zwraca kopię usuniętego elementu. Taka metoda jest często wygodna. Są jednak przypadki, w których chcemy jedynie usunąć element bez uzyskania kopii. Jest to całkowicie uzasadnione i ostrzeżenie nie byłoby pomocne. Inny projekt (np. std::vector) Dzieli te obowiązki, ale ma inne kompromisy.

  Należy pamiętać, że w niektórych przypadkach i tak kopia musi zostać wykonana, więc dzięki zwrotowi RVO kopia byłaby bezpłatna.

• Rozważ płynne interfejsy, w których każda operacja zwraca obiekt, aby można było wykonać dalsze operacje. W C ++ najczęstszym przykładem jest operator wstawiania strumienia <<. Dodanie [[nodiscard]]atrybutu do każdego <<przeciążenia byłoby niezwykle kłopotliwe .

Te przykłady pokazują, że kompilowanie idiomatycznego kodu C ++ bez ostrzeżeń w języku „C ++ 17 domyślnie z nodiscard” byłoby dość żmudne.

Zauważ, że Twój nowy, błyszczący kod C ++ 17 (w którym możesz użyć tych atrybutów) może być nadal kompilowany razem z bibliotekami, które są ukierunkowane na starsze standardy C ++. Ta kompatybilność wstecz jest kluczowa dla ekosystemu C / C ++. Zatem ustawienie domyślnego nodiscard spowodowałoby wiele ostrzeżeń dla typowych, idiomatycznych przypadków użycia - ostrzeżeń, których nie można naprawić bez daleko idących zmian w kodzie źródłowym biblioteki.

Prawdopodobnie problemem tutaj nie jest zmiana semantyki, ale to, że cechy każdego standardu C ++ dotyczą zakresu na jednostkę kompilacji, a nie zakresu na plik. Jeśli / kiedy jakiś przyszły standard C ++ odejdzie od plików nagłówkowych, taka zmiana byłaby bardziej realistyczna.

Powody, dla których [[nodiscard]]prawie nie wszędzie:

1. (główny :) To wprowadziłoby sposób zbyt dużo hałasu w moich nagłówków.
2. (major :) Nie uważam, że powinienem przyjmować silne spekulacyjne założenia dotyczące kodu innych osób. Chcesz odrzucić wartość zwrotu, którą ci daję? Dobrze, znokautuj się.
3. (drobne :) Gwarantujesz niekompatybilność z C ++ 14

Teraz, jeśli ustawisz go jako domyślny, zmusisz wszystkich programistów bibliotek do zmuszenia wszystkich użytkowników do odrzucania zwracanych wartości. To byłoby okropne. Albo zmusisz ich do dodania [[maydiscard]]niezliczonej liczby funkcji, co również jest trochę okropne.

Na przykład: operator << ma wartość zwracaną, która zależy od połączenia albo absolutnie potrzebna, albo absolutnie bezużyteczna. (std :: cout << x << y, pierwszy jest potrzebny, ponieważ zwraca strumień, drugi nie jest w ogóle przydatny). Teraz porównaj z printf, gdzie wszyscy odrzucają zwracaną wartość, która jest dostępna do sprawdzania błędów, ale operator << nie ma sprawdzania błędów, więc nie może być tak użyteczny. W obu przypadkach nodiscard byłby po prostu szkodliwy.