潜艇救援:静态类型和动态类型