Jaki jest sens niewiedzy?

[dcl.attr.noreturn] podaje następujący przykład:

[[ noreturn ]] void f() {
    throw "error";
    // OK
}

ale nie rozumiem, o co chodzi [[noreturn]], ponieważ typ zwracanej funkcji już jest void.

Jaki jest sens tego noreturnatrybutu? Jak ma być używany?

Atrybut noreturn powinien być używany dla funkcji, które nie wracają do programu wywołującego. Nie oznacza to nieważnych funkcji (które zwracają się do wywołującego - po prostu nie zwracają wartości), ale funkcje, w których przepływ sterowania nie powróci do funkcji wywołującej po zakończeniu funkcji (np. Funkcje, które wychodzą z aplikacji, zapętlaj wiecznie lub zgłaszaj wyjątki jak w twoim przykładzie).

Może to być wykorzystane przez kompilatory do optymalizacji i generowania lepszych ostrzeżeń. Na przykład, jeśli fma atrybut noreturn, kompilator może ostrzegać cię g()przed martwym kodem podczas pisania f(); g();. Podobnie kompilator będzie wiedział, aby nie ostrzegać o brakujących instrukcjach zwrotnych po wywołaniach do f().

noreturnnie mówi kompilatorowi, że funkcja nie zwraca żadnej wartości. Mówi kompilatorowi, że przepływ kontrolny nie powróci do dzwoniącego . Umożliwia to kompilatorowi dokonywanie różnych optymalizacji - nie musi zapisywać i przywracać żadnego niestabilnego stanu wokół połączenia, może kodować martwy kod, eliminując kod, który w przeciwnym razie byłby zgodny z połączeniem itp.

Oznacza to, że funkcja się nie zakończy. Przepływ sterowania nigdy nie uderzy w instrukcję po wywołaniu f():

void g() {
   f();
   // unreachable:
   std::cout << "No! That's impossible" << std::endl;
}

Informacje mogą być wykorzystywane przez kompilator / optymalizator na różne sposoby. Kompilator może dodać ostrzeżenie, że powyższy kod jest nieosiągalny i może modyfikować rzeczywisty kod g()na różne sposoby, na przykład w celu obsługi kontynuacji.

Poprzednie odpowiedzi poprawnie wyjaśniały, czym jest noreturn, ale nie dlaczego . Nie sądzę, aby komentarze dotyczące „optymalizacji” były głównym celem: funkcje, które nie zwracają się, są rzadkie i zwykle nie wymagają optymalizacji. Myślę raczej, że główną racją bytu noreturn jest unikanie fałszywie pozytywnych ostrzeżeń. Rozważmy na przykład ten kod:

int f(bool b){
    if (b) {
        return 7;
    } else {
        abort();
    }
 }

Gdyby abort () nie został oznaczony jako „noreturn”, kompilator mógłby ostrzec o tym, że ten kod ma ścieżkę, w której f nie zwraca liczby całkowitej zgodnie z oczekiwaniami. Ale ponieważ abort () jest oznaczony jako brak powrotu, wie, że kod jest poprawny.

Typ piszący teoretycznie voidto, co nazywa się w innych językach unitlub top. Jego logicznym odpowiednikiem jest Prawda . Każda wartość może być legalnie przypisana void(każdy typ jest podtypem void). Pomyśl o tym jako o zestawie „wszechświata”; nie ma wspólnych operacji dla wszystkich wartości na świecie, więc nie ma prawidłowych operacji na wartości typu void. Mówiąc inaczej, mówiąc, że coś należy do zestawu wszechświata, nie daje żadnych informacji - już to wiesz. Tak więc dźwięk jest następujący:

(void)5;
(void)foo(17); // whatever foo(17) does

Ale poniższe zadanie nie jest:

void raise();
void f(int y) {
    int x = y!=0 ? 100/y : raise(); // raise() returns void, so what should x be?
    cout << x << endl;
}

[[noreturn]]Z drugiej strony, nazywa się czasami empty, Nothing, Bottomlub Boti jest logicznym odpowiednikiem fałszywy . Nie ma w ogóle żadnych wartości, a wyrażenie tego typu można rzutować na dowolny typ (tj. Jest podtypem). To jest pusty zestaw. Zauważ, że jeśli ktoś powie ci „wartość wyrażenia foo () należy do pustego zestawu”, jest to bardzo pouczające - mówi ci, że to wyrażenie nigdy nie zakończy normalnego wykonania; przerwie, rzuci lub zawiesi się. Jest to dokładne przeciwieństwo void.

Poniższe nie ma więc sensu (pseudo-C ++, ponieważ noreturnnie jest to typ pierwszej klasy C ++)

void foo();
(noreturn)5; // obviously a lie; the expression 5 does "return"
(noreturn)foo(); // foo() returns void, and therefore returns

Ale poniższe przypisanie jest całkowicie uzasadnione, ponieważ throwkompilator rozumie, że nie zwraca:

void f(int y) {
    int x = y!=0 ? 100/y : throw exception();
    cout << x << endl;
}

W idealnym świecie możesz użyć noreturnjako wartości zwracanej dla raise()powyższej funkcji :

noreturn raise() { throw exception(); }
...
int x = y!=0 ? 100/y : raise();

Niestety C ++ na to nie pozwala, prawdopodobnie ze względów praktycznych. Zamiast tego daje możliwość użycia [[ noreturn ]]atrybutu, który pomaga kierować optymalizacjami kompilatora i ostrzeżeniami.