partial 變數修改 & spec