• 特殊运算符
    • Empty
    • Fetch
    • Isset
    • Typeof

    特殊运算符

    支持一下操作符

    Empty

    这个运算符允许检查表达式是否为空。 ‘Empty’表示表达式为null，可以是空字符串或空数组:

    1. let someVar = "";
    2. if empty someVar {
    3.     echo "is empty!";
    4. }
    6. let someVar = "hello";
    7. if !empty someVar {
    8.     echo "is not empty!";
    9. }

    Fetch

    Fetch操作符将PHP中的一个常见操作简化为一条指令:

    1. <?php
    3. if (isset($myArray[$key])) {
    4.     $value = $myArray[$key];
    5.     echo $value;
    6. }

    在Zephir中，您可以编写与以下代码相同的代码:

    1. if fetch value, myArray[key] {
    2.     echo value;
    3. }

    ‘Fetch’只返回true，只有在’key’是数组中的有效项的情况下进行’value’填充。

    Isset

    这个操作符检查是否在数组或对象中定义了属性或索引:

    1. let someArray = ["a": 1, "b": 2, "c": 3];
    2. if isset someArray["b"] { // check if the array has an index "b"
    3.     echo "yes, it has an index 'b'\n";
    4. }

    使用isset作为返回表达式:

    1. return isset this->{someProperty};

    注意，在Zephir中isset </code>更像PHP的函数array_key_exists，在Zephir中`isset</0>即使数组索引或属性为空也返回true。</p>

    Typeof

    这个操作符检查变量的类型。 'typeof'可与比较运算符一起使用:

    1. if (typeof str == "string") { // or !=
    2.     echo str;
    3. }
    4. `</pre> 
    6. 它也可以像PHP函数`gettype`那样工作。
    8. ```zephir
    9. return typeof str;
    10. ```
    12. **坑: **，如果你想检查一个对象是否“callable”，你总是必须使用`typeof`作为比较运算符，而不是函数。
    16. ### 类型提示
    18. Zephir总是试图检查一个对象是否实现了方法和属性，这些方法和属性在一个被推断为对象的变量上被调用/访问:
    20. ```zephir
    21. let o = new MyObject();
    23. // Zephir checks if "myMethod" is implemented on MyObject
    24. o->myMethod();
    25. ```
    27. 但是，由于继承自PHP的动态性，有时很难知道对象的类，所以Zephir无法有效地生成错误报告。 类型提示告诉编译器哪个类与动态变量相关，允许编译器执行更多的编译检查:
    29. ```zephir
    30. // Tell the compiler that "o"
    31. // is an instance of class MyClass
    32. let o =  this->_myObject;
    33. o->myMethod();
    34. ```
    36. 这些 "类型提示" 很弱。 这意味着程序不检查该值是否实际上是指定类的实例, 也不检查它是否实现了指定的接口。 如果希望它每次执行时都检查此问题, 请使用严格的类型:
    38. ```zephir
    39. // 始终检查属性是否为实例
    40. // 在使用前检查
    41. let o = <MyClass!> this->_myObject;
    42. o->myMethod();
    43. ```
    47. ### 分支预测提示
    49. 什么是分支预测？ 请检查此 [article](http://igoro.com/archive/fast-and-slow-if-statements-branch-prediction-in-modern-processors/) 或参考 "1>Wikipedia 文章 </1 >。 在性能非常重要的环境中, 引入这些提示可能会很有用。
    51. 请考虑下面的示例:
    53. ```zephir
    54. let allPaths = [];
    55. for path in this->_paths {
    56.     if path->isAllowed() == false {
    57.         throw new App\Exception("Some error message here");
    58.     } else {
    59.         let allPaths[] = path;
    60.     }
    61. }
    62. ```
    64. 上述代码的作者事先知道, 引发异常的条件不太可能发生。 这意味着, 99.9% 的时间, 我们的方法执行该条件, 但它可能永远不会被评估为 true。 对于处理器, 这可能很难知道, 因此我们可以在那里引入一个提示:
    66. ```zephir
    67. let allPaths = [];
    68. for path in this->_paths {
    69.     if unlikely path->isAllowed() == false {
    70.         throw new App\Exception("Some error message here");
    71.     } else {
    72.         let allPaths[] = path;
    73.     }
    74. }
    75. ```