技术问询：Kafka消费者组分区分配是否遵循Dirichlet box原理

当消费者组包含N个消费者、主题有M个分区且N<M时，分区分配并不必然遵循你描述的那种极端鸽巢分配方式（即N-1个消费者各分配1个分区，第N个消费者分配M-N+1个分区），实际分配结果由Kafka采用的分区分配策略决定：

• Range策略（默认）：对单个主题，先计算平均分配数avg = M // N，余数remainder = M % N。前remainder个消费者各分配avg + 1个分区，剩余N - remainder个消费者各分配avg个。比如M=6、N=4时，前2个消费者各分2个，后2个各分1个，并非N-1个仅1个分区的情况。
• RoundRobin策略：将所有主题分区按顺序排列，消费者也按顺序排列，依次循环分配分区。比如M=7、N=3时，分配结果为消费者1分3个、消费者2分2个、消费者3分2个，分区数更趋近均衡。
• StickyAssignor策略：优先保证分区分配的稳定性（尽量保留消费者原有分区），同时兼顾均衡性。仅在消费者数量变化时调整分配，结果会让每个消费者的分区数尽可能接近平均值，不会出现极端的分配差异，除非是M=N+1这类特殊场景。

只有当M=N+1时，才会出现N-1个消费者各1个分区、1个消费者2个分区的结果，这是鸽巢原理的一种表现，但这只是特殊场景，并非所有N<M情况下的固定规则。

内容的提问来源于stack exchange，提问作者Nikita Glukhov