分布式条件类型