c++ - switchステートメントを使用した関数がreturnを必要としない理由

Question

enum MyEnum
{
    A,
    B,
}

MyEnum Foo(int i)
{
    MyEnum mx;
    switch(i)
    {
    case 1:
        {
            mx = A;
        }break;
    case 2:
        {
            mx = B;
        }break;
    default:
        {
            throw std::exception("ERROR");
        }
    }
}

int Main()
{
    MyEnum myEnum = Foo(1);
    return 0;
}

Foo（）に「return」がない場合、このコードはVS2010でコンパイルおよび実行できます。コンパイラのバグですか？

実行できることを確認するためのVS2010スクリーンショット

Answer 1

コンパイラのバグではありません。戻り値が欠落している場合、コンパイラーからの診断は必要ありません（ただし、コンパイラーが診断を発行する場合があります）。これにより、未定義の動作が発生します。何かが発生する可能性があります。