关于矢量切片
凭回忆记一点：
geoserver想切mapbox对应的矢量切片的话，需要安装对应的geoserver版本的插件。https://build.geoserver.org/geoserver/2.13.x/ext-latest/
（PS:上传不同格式的样式文件的时候也需要在这里进行相应插件的安装）
geoserver进行矢量切片的时候，有好几种可选的格式：geojson，topojson（记不清怎么拼），以及对应于mapbox的pbf格式。
openlayer和leaflet加载矢量切片的话主要是geojson格式。
PS：补充一点：不同的电子地图zoom级别不一样。谷歌地图1-22级，百度3-20级。
转载自：https://blog.csdn.net/m0_37694604/article/details/83416873
