Funktion als Exception markieren?

[himitsu]

Zitat von Dennis07:

Wie soll der Compiler das denn bitte checken können? Also möglich wäre sowas natürlich, aber sehr, sehr aufwändig. Du musst ja alle Programmpfade durchgehen und prüfen, ob sicher überall eine Exception geworfen wird. Und das bei CodeInsight bzw. LSP, was ja eh schon kaum vernünftig läuft und ständig abschmiert.

Na so, wie jetzt auch schon?

Gibt es keinen Pfad, der bis zum END führt, oder bei einem EXIT endet,
bzw. gibt es ausschließlich Pfade, die bei einer Exception, Abort oder einer "mit exception" markierten Methode ankommen,
dann ist es so.

Und es muß nur noch an der Funktion gespeichert werden, dass es so ist, damit bei Verwendung/Aufruf das abgefragt werden kann.

[Dennis07]

Ja okay, wie gesagt, möglich ist es ja. Zumindest, wenn man jetzt mal von ASM-Abschnitten, Zeigern, Labels/GoTos und OS-Fehlern absieht. Diese Sachen kann man halt nicht zuverlässig vorhersagen, aber das wird ja bei keiner der Warnungen auch nur versucht.
Aber ja, du hast wohl recht, wenn man das mit in den Methoden-Cache packt, dann ginge das schon ohne zu viel Overhead.

[himitsu]

Alternativ, eben, wie hier ursprünglich "gewünscht", dass der Entwickler es einfach manuell setzt.
Wenn der Code dann doch keine Exception auslöst, dass ist es einfach ein Fehler.

So als Option an die Deklaration.
Attribute oder eben so wie inline/virtual/abstract/cdecl/...