# if 表达式

> 

`if` 是表达式。

## 基本形式

```dj
let label = if x > 0 {
    "positive"
} else {
    "non-positive"
}
```

## 规则

- 条件必须是 `bool`
- `if` 和 `else` 都必须存在
- 两个分支的结果类型必须一致

## 示例

```dj
if ok {
    println("ok");
} else {
    println("not ok");
}
```

```dj
let value = if ok {
    1
} else {
    2
}
```

## 不合法的情况

```dj
if x {
    "yes"
} else {
    "no"
}
```

这里 `x` 不是 `bool`。