四氯化碳与钠反应生成金刚石是置换反应吗