型与半抛