强类型和弱类型