若一个程序语言的任何变量的存储空间大小和相互位置都能在編译时确定，则可采用静态分配策略。