c# - Why does the compiler think Environment.Exit can return?

Question

Example code:

switch(something)
{
    case 0:
        System.Environment.Exit(0);
    case 1:
        // blah ...
        break;
}

It won't compile because the compiler thinks that execution can return from Exit(). The compiler is obviously wrong.

No tricks. System.Environment.Exit() is the real one.

Not only is it utterly illogical for System.Environment.Exit() to return, I traced the code and it eventually calls ExitProcess(exitCode); which can't return.

Answer 1

As far as the language is concerned, it can return. Yes, in real-life the process will terminate before it has a chance to return, but the compiler doesn't know that based on the method signature.

You'll need to add the "break" in there to make the compiler happy.