gpt4 book ai didi

php - PHP7 中的标量和严格类型是性能增强功能吗?

转载 作者:IT王子 更新时间:2023-10-29 01:05:48 27 4
gpt4 key购买 nike

从 PHP7 开始,我们现在可以 use scalar typehint and ask for strict types on a per-file basis .使用这些功能是否有任何性能优势?如果是,如何?

关于互联网,我只发现了概念上的好处,例如:

  • 更精确的错误
  • 避免不必要的类型强制问题
  • 更多语义代码,避免使用他人代码时产生误解
  • 更好的 IDE 代码评估

最佳答案

如今,在 PHP7 中使用标量和严格类型并没有提高性能。

PHP7 没有 JIT 编译器。

如果在未来的某个时候 PHP 确实获得了 JIT 编译器,那么不难想象可以使用附加类型信息执行的优化。

在没有 JIT 的情况下进行优化时,标量类型只是部分有用。

让我们看下面的代码:

<?php
function (int $a, int $b) : int {
return $a + $b;
}
?>

这是 Zend 为此生成的代码:

function name: {closure}
L2-4 {closure}() /usr/src/scalar.php - 0x7fd6b30ef100 + 7 ops
L2 #0 RECV 1 $a
L2 #1 RECV 2 $b
L3 #2 ADD $a $b ~0
L3 #3 VERIFY_RETURN_TYPE ~0
L3 #4 RETURN ~0
L4 #5 VERIFY_RETURN_TYPE
L4 #6 RETURN null

ZEND_RECV是对接收到的参数执行类型验证和强制转换的操作码。下一个操作码是 ZEND_ADD :

ZEND_VM_HANDLER(1, ZEND_ADD, CONST|TMPVAR|CV, CONST|TMPVAR|CV)
{
USE_OPLINE
zend_free_op free_op1, free_op2;
zval *op1, *op2, *result;

op1 = GET_OP1_ZVAL_PTR_UNDEF(BP_VAR_R);
op2 = GET_OP2_ZVAL_PTR_UNDEF(BP_VAR_R);
if (EXPECTED(Z_TYPE_INFO_P(op1) == IS_LONG)) {
if (EXPECTED(Z_TYPE_INFO_P(op2) == IS_LONG)) {
result = EX_VAR(opline->result.var);
fast_long_add_function(result, op1, op2);
ZEND_VM_NEXT_OPCODE();
} else if (EXPECTED(Z_TYPE_INFO_P(op2) == IS_DOUBLE)) {
result = EX_VAR(opline->result.var);
ZVAL_DOUBLE(result, ((double)Z_LVAL_P(op1)) + Z_DVAL_P(op2));
ZEND_VM_NEXT_OPCODE();
}
} else if (EXPECTED(Z_TYPE_INFO_P(op1) == IS_DOUBLE)) {
if (EXPECTED(Z_TYPE_INFO_P(op2) == IS_DOUBLE)) {
result = EX_VAR(opline->result.var);
ZVAL_DOUBLE(result, Z_DVAL_P(op1) + Z_DVAL_P(op2));
ZEND_VM_NEXT_OPCODE();
} else if (EXPECTED(Z_TYPE_INFO_P(op2) == IS_LONG)) {
result = EX_VAR(opline->result.var);
ZVAL_DOUBLE(result, Z_DVAL_P(op1) + ((double)Z_LVAL_P(op2)));
ZEND_VM_NEXT_OPCODE();
}
}

SAVE_OPLINE();
if (OP1_TYPE == IS_CV && UNEXPECTED(Z_TYPE_INFO_P(op1) == IS_UNDEF)) {
op1 = GET_OP1_UNDEF_CV(op1, BP_VAR_R);
}
if (OP2_TYPE == IS_CV && UNEXPECTED(Z_TYPE_INFO_P(op2) == IS_UNDEF)) {
op2 = GET_OP2_UNDEF_CV(op2, BP_VAR_R);
}
add_function(EX_VAR(opline->result.var), op1, op2);
FREE_OP1();
FREE_OP2();
ZEND_VM_NEXT_OPCODE_CHECK_EXCEPTION();
}

在不了解任何代码的作用的情况下,您会发现它相当复杂。

因此目标将完全省略 ZEND_RECV,并将 ZEND_ADD 替换为 ZEND_ADD_INT_INT,这不需要执行任何检查(除了保护) 或分支,因为参数的类型是已知的。

为了省略这些,并拥有一个 ZEND_ADD_INT_INT,您需要能够可靠地推断出 $a$b 的类型在编译时。编译时推断有时很容易,例如,$a$b 是文字整数或常量。

字面意思是yesterday , PHP 7.1 有一些非常相似的东西:现在有一些高频操作码的类型特定处理程序,如 ZEND_ADD。 Opcache 能够推断出一些变量的类型,它甚至能够在某些情况下推断出数组中变量的类型,并更改生成的操作码以使用正常的 ZEND_ADD,以使用特定类型的处理程序:

ZEND_VM_TYPE_SPEC_HANDLER(ZEND_ADD, (res_info == MAY_BE_LONG && op1_info == MAY_BE_LONG && op2_info == MAY_BE_LONG), ZEND_ADD_LONG_NO_OVERFLOW, CONST|TMPVARCV, CONST|TMPVARCV, SPEC(NO_CONST_CONST,COMMUTATIVE))
{
USE_OPLINE
zval *op1, *op2, *result;

op1 = GET_OP1_ZVAL_PTR_UNDEF(BP_VAR_R);
op2 = GET_OP2_ZVAL_PTR_UNDEF(BP_VAR_R);
result = EX_VAR(opline->result.var);
ZVAL_LONG(result, Z_LVAL_P(op1) + Z_LVAL_P(op2));
ZEND_VM_NEXT_OPCODE();
}

同样,即使不了解其中任何一个的作用,您也可以看出这执行起来更简单。

这些优化非常酷,但是,最有效、最有趣的优化将在 PHP 具有 JIT 时出现。

关于php - PHP7 中的标量和严格类型是性能增强功能吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/32940170/

27 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com