如果生命周期可知，则一定在栈上分配吗？如果不可知，则认为内存逃逸，必须在堆上分配？

如果变量的生命周期是完全可知的，编译器会优先将其分配在栈上。这是因为栈上的内存分配和释放是非常高效的，仅仅需要移动栈指针即可完成。栈上的内存分配是自动管理的，当变量超出作用域时，栈上的内存会自动释放。
注意：并不是所有生命周期可知的变量都一定在栈上分配。 编译器可能会根据一些其他的因素来决定内存的分配位置。例如，如果变量的大小较大，超过了栈的限制，编译器可能会选择在堆上分配内存。
后面的提问你的理解是正确的：如果变量的生命周期不可知，编译器会认为它会逃逸到堆上，并在堆上进行分配。逃逸到堆上的变量可以在函数返回后继续被访问，或者被其他函数或 Goroutine 引用。在这种情况下，编译器无法确定变量的生命周期，因此选择在堆上分配内存。
注意：编译器的具体实现可能会有所不同，不同的编译器可能会有不同的策略来处理内存的分配。因此，虽然生命周期可知的变量通常会在栈上分配，但并不是绝对的规则。编译器会根据具体情况进行优化和决策，以提高程序的性能和效率。