[Issue 5419] New: exception specifications (but not in Java style)

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=5419

           Summary: exception specifications (but not in Java style)
           Product: D
           Version: future
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P2
         Component: DMD
        AssignedTo: nobody at puremagic.com
        ReportedBy: ladislav.hruska at post.cz


--- Comment #0 from Ladislav Hruska <ladislav.hruska at post.cz> 2011-01-06 13:44:04 PST ---
C++ and Java are two extremes. C++ checks nothing, Java checks everything
everywhere. 


D should stay in the middle and allow compile time checked exception
specifications at explicitly specified points (typically functions exported
from DLLs). Function anotated by exception specification should not compile
unless the compiler can verify it doesn't throw anything unexpected.


In C++ there's no way in practice to find out all exceptions a complex code
could throw, the proposed feature would allow to eliminate this uncertainty in
D code.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------