Noreturn'un anlamı nedir?

[dcl.attr.noreturn] aşağıdaki örneği sağlar:

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

ama amacının ne olduğunu anlamıyorum [[noreturn]], çünkü işlevin dönüş tipi zaten void.

Peki, özelliğin amacı noreturnnedir? Nasıl Kullanılır?

Noreturn özniteliğinin, çağırana dönmeyen işlevler için kullanılması gerekiyordu. Bu, geçersiz işlevler anlamına gelir (arayana geri döner - sadece bir değer döndürmezler), ancak işlev bittikten sonra kontrol akışının çağrı işlevine geri dönmeyeceği işlevler (örn. Uygulamadan çıkan işlevler, sonsuza kadar döngü veya örneğinizde olduğu gibi istisnalar atın).

Bu, derleyiciler tarafından bazı optimizasyonlar yapmak ve daha iyi uyarılar oluşturmak için kullanılabilir. Örneğin f, noreturn özniteliği varsa , derleyici yazarken g()ölü kod olduğu konusunda sizi uyarabilir f(); g();. Benzer şekilde derleyici, çağrılardan sonra eksik iade ifadeleri konusunda sizi uyarmamayı bilir f().

noreturnderleyiciye işlevin herhangi bir değer döndürmediğini söylemez. Derleyiciye kontrol akışının arayana geri dönmeyeceğini bildirir . Bu, derleyicinin çeşitli optimizasyonlar yapmasına izin verir - çağrı çevresindeki herhangi bir geçici durumu kaydetmesi ve geri yüklemesi gerekmez, aksi takdirde çağrıyı takip edecek herhangi bir kodu ortadan kaldırabilir, vb.

Bu, işlevin tamamlanmayacağı anlamına gelir. Kontrol akışı şu çağrıdan sonra hiçbir zaman ifadeye ulaşmaz f():

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

Bilgiler, derleyici / iyileştirici tarafından farklı şekillerde kullanılabilir. Derleyici, yukarıdaki kodun erişilemez olduğuna dair bir uyarı ekleyebilir ve asıl kodunu g()farklı yollarla örneğin süreklilikleri desteklemek için değiştirebilir.

Önceki cevaplar noreturn'un ne olduğunu doğru bir şekilde açıkladı, ama neden var olduğunu değil. Ben "optimizasyon" yorum ana amacı olduğunu sanmıyorum: dönmeyen fonksiyonlar nadirdir ve genellikle optimize edilmesi gerekmez. Daha ziyade, noreturnun ana nedeninin yanlış pozitif uyarılardan kaçınmak olduğunu düşünüyorum. Örneğin, şu kodu göz önünde bulundurun:

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

Abort () "noreturn" olarak işaretlenmemişse, derleyici bu kodun f'nin beklendiği gibi bir tamsayı döndürmediği bir yola sahip olduğu konusunda uyarmış olabilir. Ancak abort () döndürülmediği için kodun doğru olduğunu bilir.

Teorik olarak konuşulan tip, voiddiğer dillerde unitya da olarak adlandırılan şeydir top. Mantıksal eşdeğeri Doğru'dur . Herhangi bir değer yasal olarak kullanılabilir void(her tür bir alt tipidir void). Bunu "evren" seti olarak düşünün; dünyadaki tüm değerlerle ortak bir işlem yoktur , bu nedenle bir tür değerinde geçerli bir işlem yoktur void. Başka bir deyişle, bir şeyin evren setine ait olduğunu söyleyerek size hiçbir bilgi vermez - zaten biliyorsunuz. Yani şu ses:

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

Ancak aşağıdaki görev değil:

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]]Öte yandan, kimi kez adlandırıldığı empty, Nothing, Bottomya da Botve mantıksal eşdeğeridir FALSE . Hiç değeri yoktur ve bu tipteki bir ifade herhangi bir türe çevrilebilir (yani alt tipidir). Bu boş kümedir. Birisi size "foo () ifadesinin değerinin boş kümeye ait olduğunu" söylerse , son derece bilgilendirici olduğunu - bu ifadenin asla normal yürütülmesini tamamlamayacağını söyler; iptal edecek, fırlatacak ya da asacaktır. Tam tersidir void.

Bu yüzden aşağıdakiler mantıklı değil (pseudo-C ++, noreturnbirinci sınıf C ++ tipi olmadığından)

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

Ancak aşağıdaki atama tamamen meşrudur, çünkü throwderleyici tarafından geri dönmeyeceği anlaşılmaktadır:

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

Mükemmel bir dünyada, yukarıdaki noreturnişlev için dönüş değeri olarak kullanabilirsiniz raise():

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

Ne yazık ki C ++, muhtemelen pratik nedenlerle izin vermez. Bunun yerine, [[ noreturn ]]derleyici optimizasyonlarına ve uyarılarına rehberlik etmeye yardımcı olan özelliği kullanma olanağı sağlar .