mapboxgl 中对于geojson进行筛选

mapboxgl 对于 geojson 进行筛选的实现是通过使用 Mapbox GL JS 库提供的 `setFilter` 方法来设置过滤器。过滤器可以根据特定的条件来筛选和显示地图上的要素。

使用 `setFilter` 方法需要提供两个参数：图层的名称和过滤器的条件。图层名称可以通过在创建地图时定义或获取地图的 `layernames` 属性来获取。

过滤器的条件是一个数组，其元素由两部分组成：要筛选的属性和筛选条件。通常，要筛选的属性是要素属性的名称，如 "type" 或 "name"，筛选条件可以是比较运算符（如等于、不等于、大于、小于等）或逻辑运算符（如和、或、非等）。

例如，如果我们有一个名为 "cities" 的图层，并且我们想要筛选出所有名称为 "New York" 的城市要素，我们可以使用以下代码：

map.setFilter('cities', ['==', 'name', 'New York']);

上述代码中，`setFilter` 方法将名为 "cities" 的图层的过滤器设置为一个数组，数组的第一个元素是比较运算符 "=="，表示要筛选的属性值等于后面的值。第二个元素是要筛选的属性名称 "name"，第三个元素是筛选的条件值 "New York"。

除了等于运算符，`setFilter` 方法还支持其他比较运算符，如"!="（不等于）、">"（大于）、">="（大于等于）、"<"（小于）和"<="（小于等于）等。

通过设置过滤器，我们可以根据特定的条件对地图上的要素进行筛选，并根据筛选结果来显示或隐藏特定的要素。