---
url: /docs/guide/usage/linter/rules/typescript/no-unnecessary-condition.md
---

### 它的作用

禁止始终为真、始终为假或始终为 nullish 的条件，
基于 TypeScript 的类型信息。

### 为什么这很糟糕？

没有任何运行时变化可能性的条件会让代码更难阅读，并且可能
隐藏逻辑错误。它们通常会留下死分支，并暗示声明的
类型与预期行为不匹配。

### 示例

以下是此规则的**错误**代码示例：

```ts
declare const value: null;
if (value) {
  doWork();
}

const items: string[] = [];
if (items) {
  doWork();
}

declare const status: "ready";
if (!status) {
  reportError();
}
```

以下是此规则的**正确**代码示例：

```ts
declare const maybeUser: User | undefined;
if (maybeUser) {
  doWork(maybeUser);
}

const items: string[] = [];
if (items.length > 0) {
  doWork();
}

declare const status: "ready" | "";
if (!status) {
  reportError();
}
```

## 配置

此规则接受一个包含以下属性的配置对象：

### allowConstantLoopConditions

type: `boolean | "never" | "always" | "only-allowed-literals"`

表示可以在 JSON 中指定 `allowConstantLoopConditions` 的不同方式。
可以是：

* `true` 或 `false`
* 一个字符串枚举（`"never"`、`"always"`、`"only-allowed-literals"`）

### checkTypePredicates

type: `boolean`

default: `false`

是否检查传递给类型谓词函数和断言函数的参数。

启用后，如果参数已经满足谓词条件，或者断言函数接收到的参数始终为真或始终为假，则该规则会报告此次调用。

例如，`narrow(value)` 是不必要的，因为 `value` 已经具有 `true` 类型：

```ts
declare const narrow: (value: unknown) => value is true;
const value = true;
if (narrow(value)) {
  // ...
}
```

## 如何使用

## 版本

此规则在 v1.48.0 中添加。

## 参考资料