在数据分析中，我们经常会遇到需要对数据框中连续出现相同值的行进行分组，并对每个这样的连续分组执行聚合操作（如求最大值、最小值、平均值等）的需求。这种“连续分组”的需求与简单的按某一列值分组有所不同，它强调的是值的“相邻性”。
常见误区与挑战
初学者在处理这类问题时，往往会尝试使用循环或复杂的条件判断来解决。例如，考虑以下原始数据：
import pandas as pd
data = {
'Fruits': ['Apple', 'Apple', 'Banana', 'Orange', 'Apple', 'Apple'],
'Price': [20, 30, 50, 170, 55, 90]
}
df = pd.DataFrame(data)期望的结果是，第一组连续的“Apple”行（索引0和1）的Max值为30，第二组连续的“Apple”行（索引4和5）的Max值为90。
一种常见的尝试可能类似于以下代码：
# 初始尝试（存在问题）
df['Max'] = 0.0
for x in range(0, df.shape[0]):
condition = (df['Fruits'] == "Apple") & (df['Fruits'].shift(-1) == "Apple") | (df['Fruits'].shift(1) == "Apple")
df.loc[condition, 'Max'] = df.loc[condition, 'Price'].max()这段代码存在几个主要问题：
- 效率低下： 使用for循环遍历DataFrame行在Pandas中通常不是最佳实践，尤其对于大数据集。
- 条件逻辑错误： condition的判断逻辑过于宽泛。例如，df['Fruits'].shift(1)=="Apple"会使得索引为2的'Banana'行也满足条件（因为其上一行是'Apple'），从而被包含在筛选中。
- 聚合范围不准确： df.loc[condition,'Price'].max()是在所有满足condition的行中计算一个全局最大值，而不是针对每个独立的连续分组。这导致所有满足条件的行都被赋予了同一个最大值（例如，示例中'Banana'行也被错误地赋予了90.0）。
为了克服这些问题，我们需要一种更Pandas化、更高效且逻辑更严谨的方法来识别并处理连续分组。
构建连续分组标识
解决连续分组问题的关键在于为每个连续的相同值块生成一个唯一的标识符。Pandas提供了强大的工具来完成这一任务，核心思想是利用shift()、ne()和cumsum()的组合。
- df['Fruits'].shift()： 创建一个新Series，其中每个元素是原Series中前一行的值。这使得我们可以比较当前行和前一行的值。
- df['Fruits'].ne(df['Fruits'].shift())： ne()代表“不等于”。这个操作会返回一个布尔Series，当当前行的值与前一行的值不同时为True，否则为False。这意味着每当一个连续块的起始点（即值发生变化）时，就会出现一个True。
- .cumsum()： cumsum()是累积求和。当应用于布尔Series时，True被视为1，False被视为0。因此，每遇到一个True（即一个新连续块的开始），累积和就会增加1。这样，同一个连续块内的所有行将拥有相同的累积和值，从而形成一个完美的连续分组ID。
让我们通过一个例子来理解这个过程：
df = pd.DataFrame({
'Fruits': ['Apple', 'Apple', 'Banana', 'Orange', 'Apple', 'Apple'],
'Price': [20, 30, 50, 170, 55, 90]
})
# 步骤1: 检查当前行与前一行是否不同
# df.Fruits.shift() -> [NaN, 'Apple', 'Apple', 'Banana', 'Orange', 'Apple']
# df.Fruits.ne(df.Fruits.shift()) -> [True, False, True, True, True, False] (NaN在ne中被视为不同)
# 步骤2: 累积求和生成分组ID
grp = df.Fruits.ne(df.Fruits.shift()).cumsum()
print(grp)输出的grp Series将是：
0 1 1 1 2 2 3 3 4 4 5 4 Name: Fruits, dtype: int64
可以看到，grp成功地为第一组“Apple”生成了ID 1，为“Banana”生成了ID 2，为“Orange”生成了ID 3，为第二组“Apple”生成了ID 4。这正是我们所需的连续分组标识。
应用组内聚合与结果回填
有了连续分组标识grp，我们就可以使用Pandas的groupby()方法进行分组聚合。为了将聚合结果（例如最大值）“回填”到原始DataFrame的相应行中，我们需要使用transform()方法，而不是agg()或apply()。
- df.groupby(grp)： 按照我们刚刚创建的grp Series进行分组。
- ['Price']： 选择我们希望聚合的列，这里是Price。
- .transform('max')： 这是关键一步。transform()方法会对每个分组执行指定的聚合操作（这里是max），然后将结果广播回原始DataFrame的形状，确保每个原始行都对应其所属分组的聚合结果。这与agg()或apply()不同，它们通常会返回一个聚合后的Series，其索引是分组键。
将这些步骤整合起来，完整的解决方案如下：
import pandas as pd
data = {
'Fruits': ['Apple', 'Apple', 'Banana', 'Orange', 'Apple', 'Apple'],
'Price': [20, 30, 50, 170, 55, 90]
}
df = pd.DataFrame(data)
# 1. 构建连续分组标识
grp = df.Fruits.ne(df.Fruits.shift()).cumsum()
# 2. 对连续分组进行聚合，并使用transform将结果回填
df['Max'] = df.groupby(grp)['Price'].transform('max')
print(df)输出结果：
Fruits Price Max 0 Apple 20 30 1 Apple 30 30 2 Banana 50 50 3 Orange 170 170 4 Apple 55 90 5 Apple 90 90
结果分析：
- 对于索引0和1的“Apple”行，Max值是其所在连续分组的最大价格30。
- 对于索引2的“Banana”行，Max值是其所在连续分组的最大价格50。
- 对于索引3的“Orange”行，Max值是其所在连续分组的最大价格170。
- 对于索引4和5的“Apple”行，Max值是其所在连续分组的最大价格90。
这个结果完全符合我们的预期，并且通过Pandas的向量化操作实现了高效计算。
注意事项与扩展
- 通用性： 这种方法不仅适用于计算最大值，也适用于其他聚合函数，如min()、mean()、sum()、count()等。只需将transform('max')替换为相应的聚合函数即可。
- 适用于任何列： Fruits列可以替换为DataFrame中的任何其他列，只要该列是您希望进行连续分组的依据。
- 效率优势： 相比于使用for循环或apply自定义函数，groupby().transform()结合shift().ne().cumsum()是处理这类问题的推荐方法，因为它充分利用了Pandas底层的优化，性能表现优异。
- 初始NaN处理： df.Fruits.shift()在Series的第一个位置会产生NaN。ne()方法能够正确处理NaN，将其视为与任何非NaN值不同，因此第一个元素总是会触发True，确保第一个连续块被正确识别。
总结
在Pandas中处理按连续相同值分组并进行聚合的需求时，核心在于巧妙地构建连续分组的标识符。通过df[column].ne(df[column].shift()).cumsum()的组合，我们可以高效地生成这些标识符。随后，利用df.groupby(group_id)[value_column].transform(aggregate_function)，可以精准地将聚合结果回填到原始DataFrame的对应行中。掌握这一技巧，将极大地提升您在Pandas中处理复杂数据分组问题的能力。
