main（）有自动推断的返回类型吗？

Question

我最初的推测是，因为main没有need一个显式的返回语句（0将被隐式返回）：

int main() 
{ // This is vaild C++
    cout << "OK\n"; 
}

可以在没有return语句的情况下使用自动推断的返回类型

auto main() 
{ // This is vaild C++
    cout << "OK\n"; 
    // pick up the type from an implicit : 
    // return 0;
}

令我惊讶的是，即使使用return 0，也可以使用compile：

auto main ()
{
    std::cout << "OK I'm working" << std::endl;
    return 0;
}

为什么？