展开 岩石基础开挖一般采用什么方法