變量與類型相關擴展