多项选择题

‍模式匹配时需进行变量的()。

A.扩展
B.合一
C.代换
D.分解