检查实参是否与其定义匹配。