中函数的非穷举模式

中函数的非穷举模式