ggplot2 3.5.0版本中图例显示行为的重要变更解析

ggplot2作为R语言中最流行的数据可视化包之一，在3.5.0版本中对图例显示逻辑进行了重要调整。这一变更影响了scale_fill_manual()等函数中drop参数与show.legend参数的交互行为，特别是当数据中存在未观察到的因子水平时。

变更背景

在ggplot2 3.5.0之前的版本中，使用scale_fill_manual(drop = FALSE)可以强制显示所有因子水平的图例项，无论这些水平是否实际出现在数据中。但在3.5.0版本中，这一行为发生了改变：即使设置了drop = FALSE，如果数据中不存在某个因子水平，对应的图例项将显示为空白。

新行为解析

新版本中，图例显示逻辑变得更加精细和可控。要完整显示所有因子水平的图例项（包括未观察到的水平），现在需要同时满足两个条件：

1. 在比例尺函数中设置drop = FALSE
2. 在几何对象函数中设置show.legend = TRUE

这种改变使得开发者能够更精确地控制哪些图层应该在图例中显示其视觉元素。例如，在多图层绘图中，可以只让特定图层的图例项显示完整的视觉标记。

实际应用示例

考虑一个使用sf包绘制北卡罗来纳州地图的例子。当我们对区域面积进行分组并过滤掉某些组别时：

library(sf)
library(ggplot2)

nc <- system.file("shape/nc.shp", package = "sf") |>
  read_sf() |>
  mutate(AREA_F = cut(AREA, 5)) |>
  filter(AREA < 0.122)

在3.5.0版本中，要显示所有分组的完整图例，需要：

ggplot() +
  geom_sf(data = nc, aes(fill = AREA_F), show.legend = TRUE) +
  scale_fill_manual(values = rainbow(5), drop = FALSE)

多图层绘图的图例控制

新版本还引入了更精细的图例控制能力。例如，在使用tidyterra包绘制栅格和矢量叠加图时，可以通过命名参数控制不同图例的显示：

ggplot() +
  geom_spatraster(data = terra_raster, show.legend = c(fill = TRUE, shape = FALSE)) +
  geom_sf(data = sf_points, aes(shape = shp))

这种细粒度控制使得复杂可视化中的图例管理变得更加灵活。

设计理念与未来方向

这一变更反映了ggplot2开发团队对可视化一致性的重视。通过将图例显示控制权下放到几何对象层面，确保了图例中的视觉标记能够准确反映实际绘图中的表现。虽然这一改变可能需要用户调整现有代码，但它提供了更强大、更一致的图例控制能力。

在未来的版本中，可能会进一步优化这一机制，例如使命名参数show.legend = TRUE自动暗示其他图例类型为FALSE，从而简化代码编写。但目前，用户需要明确指定每个图例类型的显示设置。

这一变更已在3.5.1版本的文档中进行了更清晰的说明，帮助用户更好地理解和适应新的图例显示逻辑。