动词算子式代码生成理论概述