特殊运算符

支持一下操作符

Empty

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

let someVar = "";
if empty someVar {
    echo "is empty!";
}

let someVar = "hello";
if !empty someVar {
    echo "is not empty!";
}

Fetch

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

<?php

if (isset($myArray[$key])) {
    $value = $myArray[$key];
    echo $value;
}

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

if fetch value, myArray[key] {
    echo value;
}

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

Isset

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

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

使用isset作为返回表达式:

return isset this->{someProperty};

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

Typeof

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

if (typeof str == "string") { // or !=
    echo str;
}
`</pre>

它也可以像PHP函数`gettype`那样工作。

```zephir
return typeof str;
```

**坑: **，如果你想检查一个对象是否“callable”，你总是必须使用`typeof`作为比较运算符，而不是函数。



### 类型提示

Zephir总是试图检查一个对象是否实现了方法和属性，这些方法和属性在一个被推断为对象的变量上被调用/访问:

```zephir
let o = new MyObject();

// Zephir checks if "myMethod" is implemented on MyObject
o->myMethod();
```

但是，由于继承自PHP的动态性，有时很难知道对象的类，所以Zephir无法有效地生成错误报告。 类型提示告诉编译器哪个类与动态变量相关，允许编译器执行更多的编译检查:

```zephir
// Tell the compiler that "o"
// is an instance of class MyClass
let o =  this->_myObject;
o->myMethod();
```

这些 "类型提示" 很弱。 这意味着程序不检查该值是否实际上是指定类的实例, 也不检查它是否实现了指定的接口。 如果希望它每次执行时都检查此问题, 请使用严格的类型:

```zephir
// 始终检查属性是否为实例
// 在使用前检查
let o = <MyClass!> this->_myObject;
o->myMethod();
```



### 分支预测提示

什么是分支预测？ 请检查此 [article](http://igoro.com/archive/fast-and-slow-if-statements-branch-prediction-in-modern-processors/) 或参考 "1>Wikipedia 文章 </1 >。 在性能非常重要的环境中, 引入这些提示可能会很有用。

请考虑下面的示例:

```zephir
let allPaths = [];
for path in this->_paths {
    if path->isAllowed() == false {
        throw new App\Exception("Some error message here");
    } else {
        let allPaths[] = path;
    }
}
```

上述代码的作者事先知道, 引发异常的条件不太可能发生。 这意味着, 99.9% 的时间, 我们的方法执行该条件, 但它可能永远不会被评估为 true。 对于处理器, 这可能很难知道, 因此我们可以在那里引入一个提示:

```zephir
let allPaths = [];
for path in this->_paths {
    if unlikely path->isAllowed() == false {
        throw new App\Exception("Some error message here");
    } else {
        let allPaths[] = path;
    }
}
```