在可以使用leaflet库的情况下利用javascrip写一段代码，需要实现的功能如下：根据geojson数据不同的properties实现鼠标移入geojson图层后高亮显示的功能

好的，我可以回答您的问题。以下是使用leaflet库和JavaScript实现geojson图层鼠标移入高亮显示的代码示例：

// 加载geojson数据
var myData = L.geoJSON(myGeojsonData).addTo(map);

// 定义图层样式
function style(feature) {
    return {
        fillColor: getColor(feature.properties.type), // 利用properties中的type属性来区分不同图层
        weight: 2,
        opacity: 1,
        color: 'white',
        dashArray: '3',
        fillOpacity: 0.7
    };
}

// 定义鼠标移入和移出事件，用于高亮显示图层
function highlightFeature(e) {
    var layer = e.target;

    layer.setStyle({
        weight: 5,
        color: '#666',
        dashArray: '',
        fillOpacity: 0.7
    });

    if (!L.Browser.ie && !L.Browser.opera && !L.Browser.edge) {
        layer.bringToFront();
    }
}

function resetHighlight(e) {
    var layer = e.target;

    layer.setStyle({
        weight: 2,
        color: 'white',
        dashArray: '3',
        fillOpacity: 0.7
    });
}

function onEachFeature(feature, layer) {
    // 绑定鼠标移入和移出事件
    layer.on({
        mouseover: highlightFeature,
        mouseout: resetHighlight
    });
}

// 将样式和事件应用到geojson图层
myData.setStyle(style);
myData.eachLayer(onEachFeature);

以上代码会将geojson数据加载到地图上，并根据不同的properties属性为其定义不同的样式。同时，还会绑定鼠标移入和移出事件来实现高亮显示的效果。当鼠标移入图层时，图层边框变粗、填充色透明度减小；当鼠标移出图层时，还原为原来的样式。