Why compiler behaves differently with this code?

Question

In C#, the following method will not compile:

public bool IsItTrue()
{
}

The compiler errors : 'IsItTrue()': not all code paths return a value, which makes perfect sense. But the following compile without any issue.

public bool IsItTrue()
{
    while (true)
    {
    }
}

Which looks wrong as no return statement at all. Why is it so? Any help here...,

Answer 1

The compiler knows that the second method will never return.

If either method ever returns in any circumstances then they must return a bool.

The first method doesn't contain any infinite loops, doesn't throw any unconditional exceptions etc, so it must return a bool. The code doesn't return a bool so the compiler refuses to compile it.

The second method never returns because of the infinite while (true) loop. If it never returns then it doesn't matter what (if anything) is never returned so the compiler will allow it to compile.

A few more examples that the compiler will recognise and allow:

public bool IsItTrue()
{
    throw new Exception("Always thrown!");
}

public bool HowAboutThisOne()
{
    if ((46 - 3) < (27 * 9))
    {
        throw new Exception("Always thrown!");
    }
}

Answer 2

The first is explained nicely by the compiler error message.

The second never returns, so there's never any value returned.

It's not the same. In your first example the method could return without giving any value back to the caller -> Compiler error.

The second will never return (the compiler is smart enough for that, it figures out that you created an infinite loop). It won't ever enter the "Okay, I reached the end of the method and don't know what to return" state.