Dart 类型检查运算符

在 Dart 中，类型检查运算符用于判断变量或表达式的类型。这些运算符可以帮助开发者确保代码的类型安全，并进行相应的逻辑处理。本章将详细介绍 Dart 中可用的类型检查运算符及其使用方法。

is 运算符

is 运算符用于检查一个对象是否是指定类型的实例。它返回一个布尔值（true 或 false），表示该对象是否属于指定类型。

基本用法

void main() {
  var number = 42;
  
  if (number is int) {
    print('number 是 int 类型');
  }
}

检查多个类型

可以使用 is 运算符来检查一个对象是否是多种类型之一。这通常通过在条件语句中使用逻辑运算符（如 ||）来实现。

void main() {
  var value = "Hello";

  if (value is String || value is int) {
    print('value 是 String 或 int 类型');
  }
}

类型转换

is 运算符通常与类型转换一起使用。例如，可以将一个父类对象转换为子类对象，前提是这个对象确实是该子类的实例。

// www.javascriptcn.com code example
class Animal {}

class Dog extends Animal {
  void bark() {
    print("汪汪！");
  }
}

void main() {
  Animal myPet = Dog();

  if (myPet is Dog) {
    (myPet as Dog).bark();
  } else {
    print("myPet 不是 Dog 类型");
  }
}

is! 运算符

is! 运算符与 is 运算符相反，用于检查一个对象是否不是指定类型的实例。

基本用法

void main() {
  var number = 42;

  if (number is! double) {
    print('number 不是 double 类型');
  }
}

结合逻辑运算符使用

类似于 is 运算符，is! 也可以与逻辑运算符结合使用来检查对象是否不属于多种类型之一。

void main() {
  var value = "Hello";

  if (value is! int && value is! bool) {
    print('value 不是 int 或 bool 类型');
  }
}

类型检查的注意事项

虽然类型检查运算符在某些情况下非常有用，但在使用它们时需要注意以下几点：

• 过度依赖类型检查：频繁使用类型检查可能会使代码变得冗长且难以维护。在可能的情况下，应优先考虑使用 Dart 的类型系统和泛型。
• 性能问题：在循环或频繁执行的代码块中使用类型检查运算符可能会影响程序性能。因此，在编写关键性能路径的代码时应谨慎使用。

实战案例

下面是一个更复杂的示例，展示了如何在实际项目中使用类型检查运算符。

// www.javascriptcn.com code example
abstract class Vehicle {
  void move();
}

class Car extends Vehicle {
  @override
  void move() {
    print("汽车移动了");
  }
}

class Bike extends Vehicle {
  @override
  void move() {
    print("自行车移动了");
  }
}

void main() {
  List<Vehicle> vehicles = [Car(), Bike()];

  for (var vehicle in vehicles) {
    if (vehicle is Car) {
      (vehicle as Car).move();
    } else if (vehicle is Bike) {
      (vehicle as Bike).move();
    }
  }
}

在这个例子中，我们创建了一个 Vehicle 抽象类以及两个子类 Car 和 Bike。我们使用类型检查运算符来区分不同的车辆类型，并调用相应的方法。

通过以上介绍，你应该对 Dart 中的类型检查运算符有了全面的理解。这些运算符是 Dart 类型系统的重要组成部分，能够帮助开发者编写更安全、更健壮的代码。