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

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

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

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

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作为返回表达式:

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

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;
    }
```