變量與類型相關(guān)擴展