如果一个函数没有返回值，但返回类型有效，编译器是否可以返回垃圾?

If a function has a return type other than void, and the function does not return anything, then I guess the compiler returns a garbage value (possibly seen as an uninitialized value). It happens at compile time, so why shouldn't it show an error?

例如，

int func1() {
    return; // error
}

int func2() {
    // does not return anything
}

第二个 func2 应该抛出一个错误，但它不会.有什么原因吗?我的想法是，它可以看作是一个未初始化的值，所以如果我们需要在第二种情况下抛出错误，那么我们需要抛出错误，如果一个值未初始化，比如说

  int i;  // error
  int i = 6;  // okay

int func3() {
    func4();
}