Question on @nothrow

[Vasileios Anagnostopoulos via Digitalmars-d-learn]

On Wednesday, 31 May 2017 at 17:20:08 UTC, Ali Çehreli wrote:
> On 05/31/2017 02:10 AM, Vasileios Anagnostopoulos wrote:
>
> > compiler enforced @throws
>
> For that to be possible, the compiler would have to see all 
> definitions, which is not possible with separate compilation.
>
> Besides, I think the only meaning of @throws would be "may 
> throw". If so, since the implementation of every function can 
> be changed to call any other function, the possibility of 
> throwing would always exist.
>
> Ali


So the biggest question is, how do I know that a function "may 
throw" an exception in order to use a try/catch/finally block? 
This is my biggest problem (sorry, coming from a java/C 
background).