静的型