php 强制返回,给PHP增加函数强制类型返回
在开发过程中,函数的返回值类型应该是确定不变的,但PHP是弱类型的语言, 所以PHP是没有此类语法验证的,正因为如此,造成了很多坑坑。 比如下面的代码: ?phpfunction getArticles(...){ $arrData = array(); if($exp1){ return $arrData; }else if($exp2)
在开发过程中,函数的返回值类型应该是确定不变的,但PHP是弱类型的语言,
所以PHP是没有此类语法验证的,正因为如此,造成了很多坑坑。
比如下面的代码:
函数getArticles根据不同的条件返回不同类型的值,有bool、int、还有数组,正常情况这类函数是希望返回数组,然后拿数组去做一些其他操作,
可因为函数返回值类型不固定,调用时就很可能产生各种预想不到的坑,
因此我就想,既然不能规范,那直接强制好了。
函数/方法返回值可以强制类型,如 图
支持四种强制类型限制:int、array、bool、object,当返回值与函数声明中的类型不匹配时,抛出warning,本来想抛出error,但是觉得
太狠了,只能算是个异常,不能算错误,所以就用warning好了。
PHP本身是不支持 int function 这样的语法的,所以要支持,就先要搞定语法解析器,关于语法解析器,可以移步这里>>>查看
详情,这里就不讲了,
先修改语法扫描 Zend/zend_language_scanner.l文件
增加如下代码:
"int" {
return T_FUNCTION_RETURN_INT;
}
"bool" {
return T_FUNCTION_RETURN_OBJECT;
}
"object" {
return T_FUNCTION_RETURN_OBJECT;
}
"resource" {
return T_FUNCTION_RETURN_RESOURCE;
}
意思很简单,扫描器扫描到到关键字 int、bool、object、resource、array时返回相应的T_FUNCTION_* ,这是一个token,
scanner根据不同的token做不同的处理,token要先在Zend/zend_language_parser.y文件中定义
增加如下代码
..........
%token T_FUNCTION_RETURN_INT
%token T_FUNCTION_RETURN_BOOL
%token T_FUNCTION_RETURN_STRING
%token T_FUNCTION_RETURN_OBJECT
%token T_FUNCTION_RETURN_RESOURCE
1
然后增加token处理逻辑:
1
function:
T_FUNCTION { $$.u.opline_num = CG(zend_lineno);$$.u.EA.var = 0; }
| T_FUNCTION_RETURN_INT T_FUNCTION {
$$.u.opline_num = CG(zend_lineno);
$$.u.EA.var = IS_LONG;
}
| T_FUNCTION_RETURN_BOOL T_FUNCTION {
$$.u.opline_num = CG(zend_lineno);
$$.u.EA.var = IS_BOOL;
}
| T_FUNCTION_RETURN_STRING T_FUNCTION {
$$.u.opline_num = CG(zend_lineno);
$$.u.EA.var = IS_STRING;
}
| T_FUNCTION_RETURN_OBJECT T_FUNCTION {
$$.u.opline_num = CG(zend_lineno);
$$.u.EA.var = IS_OBJECT;
}
| T_FUNCTION_RETURN_RESOURCE T_FUNCTION {
$$.u.opline_num = CG(zend_lineno);
$$.u.EA.var = IS_RESOURCE;
}
| T_ARRAY T_FUNCTION {
$$.u.opline_num = CG(zend_lineno);
$$.u.EA.var = IS_ARRAY;
}
$$.u.EA.var 存储的是 函数返回类型,最后要拿他来跟返回值类型做匹配,
这样语法解释器就可以处理我们新的php语法了。
这还不够,还需要修改函数声明定义的处理逻辑
Zend/zend_compile.c ::zend_do_begin_function_declaration
......
zend_op_array op_array;
char *name = function_name->u.constant.value.str.val;
int name_len = function_name->u.constant.value.str.len;
int function_type = function_token->u.EA.var; //保存函数类型,在语法解释器中增加的: $$.u.EA.var = IS_LONG;
int function_begin_line = function_token->u.opline_num;
......
op_array.function_name = name;
op_array.fn_type = function_type; //将类型保存到op_array中,
op_array.return_reference = return_reference;
op_array.fn_flags |= fn_flags;
op_array.pass_rest_by_reference = 0;
..........
PHP是先解析PHP语法生成相应的opcode,将需要的环境、参数信息保存到execute_data全局变量中,最后在通过execute函数逐条执行opcode,
所以要做处理就要把函数的类型保存到opcode中:op_array.fn_type = function_type;
op_array是没有fn_type的,要修改op_array的结构,增加zend_uint fn_type;
(关于opcode你可以想象一下 从c转为汇编,我博客中也有相关文章,可以参考一下)
最后要修改opcode的毁掉函数,函数的返回 return 会生成token T_RETURN,T_RETURN会根据返回的类型调用不同的calback函数:
ZEND_RETURN_SPEC_CONST_HANDLER
ZEND_RETURN_SPEC_TMP_HANDLER
ZEND_RETURN_SPEC_VAR_HANDLER
它有三个callback,如果返回值是一个 const类型的数据,则 ZEND_RETURN_SPEC_CONST_HANDLER
返回值是临时数据,如 : return 1,则ZEND_RETURN_SPEC_TMP_HANDLER
返回值是一个变量,如 : return $a,则ZEND_RETURN_SPEC_VAR_HANDLER
所以要在这三个callback函数中增加处理逻辑:
在callback函数return之前增加如下代码
if((EG(active_op_array)->fn_type > 0) && Z_TYPE_P(retval_ptr) != EG(active_op_array)->fn_type){
php_error_docref0(NULL TSRMLS_DC,E_WARNING, "function name %s return a wrong type.", EG(active_op_array)->function_name );
}
fn_type 去跟 返回值的类型作比较,如果没有匹配到,就会抛出这个warning。
我已经打了补丁,目前只支持php5.3版本,有需要的可以拿去玩一玩。
不清楚为什么官方不支持此语法,我觉得还是挺有必要的。
下载补丁:php-syntax.patch
续:
后来有找鸟哥(惠新宸:http://weibo.com/laruence) 聊过,
下面是他的回答:
“这个话题, 基本也是邮件组的月经贴了…. 1. 因为PHP是若类型, 很多类型可以互相转换, 那么到底要不要隐式转换, 你的实现是不转换, 这样的局限太大, 如果转换又涉及到各种转换规则. 2. 也不是不支持, 不过你的这个实现肯定是不够的(各种自定类,和继承类). 3. 以后如果要做jit, 可能会考虑支持.”
如此看来,这个问题官方也是比较纠结的,确实是我的思路是不强制转换,只需要抛出警告就行了,让开发人员自己决定是否转换,是不是更好?
原文出处:http://www.imsiren.com/archives/1123
本文原创发布php中文网,转载请注明出处,感谢您的尊重!
php 强制返回,给PHP增加函数强制类型返回相关推荐
- 19位整数 java_为什么阿里巴巴Java开发手册中强制要求超大整数禁止使用Long类型返回?...
在阅读<阿里巴巴Java开发手册>时,发现有一条关于前后端超大整数返回的规约,具体内容如下: 这个问题在之前和前端联调的时候发生过,发现根据脚本 id 去审批的时候,状态没有变化,后来和前 ...
- php 函数返回值mixed,认识函数的类型、参数与返回值
函数的类型.参数与返回值 一.函数的基本语法语法 functionfunctionName(类型限定参数列表):返回值类型 { } 案例:计算两个数之和. functionsum(int$a,int$ ...
- php 判断update返回为0_PHP empty函数判断0返回真还是假
PHP empty函数判断0返回真还是假 在生活中要不断的学习,勇攀知识的高峰,以下百分网小编整理的'关于PHP empty函数判断0返回真还是假的问题的解答,希望对大家有所帮助,更多信息请关注应届毕 ...
- c语言子函数返回值,C语言函数说明与返回值
在学习C语言函数以前,我们需要了解什么是模块化程序设计方法. 人们在求解一个复杂问题时,通常采用的是逐步分解.分而治之的方法,也就是把一个大问题分解成若干个比较容易求解的小问题,然后分别求解.程序员在 ...
- php curl exec 返回值,php curl_exec()函数 CURL获取返回值的方法
问题:今天,小伙伴遇到一个问题,使用curl明明已经输出返回结果了,但是自己打印却是返回的true,想处理结果获取值通通不行.然后我一个参数一个参数查看,发现了CURLOPT_RETURNTRANSF ...
- python返回函数值并退出函数_Python函数的返回值和作用域
函数的返回值和作用域 1.返回值 def guess(x): if x > 3: return "> 3" else: return "<= 3&quo ...
- Python技术手册 · 函数的多返回值&文件操作
目录 函数的多返回值&文件操作 函数的多返回值 多返回值返回方式 函数的传参方式(以不同的使用方式分类) 位置参数 关键字参数 缺省参数 不定长参数 匿名函数(lambda) 函数 ...
- python内置函数用来返回_Python内置函数
1.abs() 函数返回数字的绝对值. 2.all() 函数用于判断给定的可迭代参数 iterable 中的所有元素是否不为 0.''.False 或者 iterable 为空,如果是返回 True, ...
- c/c++ 一维数组、二维数组作为函数参数、返回值
c/c++ 一维数组.二维数组作为函数参数.返回值 一.一维数组作为参数 传入数组 int [] 为了规范,常常需要将数组的size一同传入,这是因为C++/C遇到参数为数组时,不会去一个个拷贝数组内 ...
最新文章
- 【Android 应用开发】Paint 图形组合 Xfermod 之 合成模式表示方法 ( Xfermod 使用步骤 | 透明度 颜色值 公式表示方法 | 老版本表示方法 | 合成区域分块 )
- C#中float怎样保留两位小数?
- 第53天:鼠标事件、event事件对象
- 【计算机组成原理】数据表示和运算
- python中如何统计元组中元素的个数_python-无论元素顺序如何,获取列表中的元组数...
- Python原创第十篇~字符串
- linux chown命令: 修改文件或目录的所有者或群组
- Webservice检查
- Python 实现 Discuz论坛附件下载权限绕过漏洞
- 物理搬砖问题_搬砖问题 - jeff_nie - 博客园
- Python入门必学,用Python练习画个美队盾牌
- 五险一金 | 2020年个人所得税税率表
- 前端-可视化创建vue项目
- 信小程序参数二维码的8大使用场景
- ComSec作业一:抄书题
- 【离散数学】一阶逻辑等值演算与推理
- Windows 10系统下安装Go语言环境
- Python编写温度转换,逐行解释
- Astah Sequence Diagram图
- 程序猿爆笑内涵段子 上班记得捂着嘴