1

背景

回到我做 C 编程的那一天，我们使用假设语句来确保代码是健康的。就像是：

aFunction(int hello)
{
  assume(hello < 10);

假设语句很酷的一点是它被定义为一个用于发布编译的空宏和一个在调试编译时的错误语句上死掉。因此，开发人员拥有断言语句检查他们的假设的所有好处，而不会导致不必要的错误或影响性能

问题

现在我正在使用 php，我正在寻找类似的机制。我目前的假设声明看起来像这样：

define(DEBUG, getenv('debug'));
function assume($a)
{
  if (DEBUG && !$a)
  {
    echo 'ASSUME FAILURE <br />';
    echo '<pre>';
    print_r(debug_backtrace());
    die('<pre>');
  }
}
assume($a == $b);

如您所见，我在服务器设置中设置了调试标志以删除实际的 die 语句等。但是，仍会执行函数调用，并且仍会评估 if 语句。如果它只发生几千次，这没什么大不了的，但是随着代码变得越来越大，并且这些假设被放入循环中，这可能会对性能产生合理的影响。

问题

有没有办法告诉解释器或 opcache（我目前正在使用 php 5.5 中包含的 zend opcache）完全忽略这些假设语句？还是有另一种处理这个问题的方法？

4

1 回答 1

5

不同之处在于 C 编译器经过优化，可以消除未使用的代码块。在 PHP 中，assume是一个函数调用，并且函数必须存在。

几个解决方案。首先，您可以使用assert(). 该assert函数的工作方式类似于您自己的assume函数。如果断言失败，则调用定义的断言处理程序。您可以轻松启用或禁用断言，如果禁用它们，则根本不会调用断言处理程序。

如果您想继续使用自己的assume函数，您仍然可以通过基于定义声明函数来稍微优化它：

<?php
define(DEBUG, getenv('debug'));

if (DEBUG) {
  function assume($a) {
    echo 'ASSUME FAILURE <br />';
    echo '<pre>';
    echo print_r(debug_backtrace());
    die('<pre>');
  }
} else {
  function assume($x) {}
}

这样，您实际上声明assume为一个空函数。Michael Berkowski 的评论证实了我担心 PHP 并没有完全消除调用，但至少你保存了if.

另一种解决方案是调用更复杂一点的假设：

DEBUG && assume($x < 10);

这样，如果 DEBUG 为 false，则根本不会进行调用。这种方式只计算布尔值，不进行函数调用。当然，以这种方式调用它有点难，可读性也较差，但我认为不调用函数所节省的成本比消除if.

于 2015-06-04T19:35:12.870 回答