Flutter条件选择插件either_option的使用

either_option 是一个用于Dart语言的简单库，它提供了类型安全和易于使用的错误处理机制，并且以函数式编程风格编写。该库的主要目的是让Flutter/Dart开发者能够使用两种最流行的模式和抽象：Either 和 Option，这些在如Scala、Haskell、OCaml等函数式编程语言中非常常见。

安装

要使用either_option，你需要在你的pubspec.yaml文件中的dependencies部分添加以下内容：

dependencies:
  either_option: ^2.0.0

确保你已经更新到了支持空安全（null safety）的版本。

概述

Either

Either表示两个可能类型的值之一。按照惯例，我们将缺少或错误的值放在Left实例中，而将预期的成功值放在Right实例中。例如，从仓库获取用户详情时，我们可以使用Either<ServerError, User>来表示结果：

Future<Either<ServerError, User>> getUser(int id) async {
  final baseUrl = "https://fakerestapi.azurewebsites.net/api/Users/$id";

  final res = await http.get(baseUrl);

  if (res.statusCode == 200) {
    dynamic body = json.decode(res.body);
    User user = User.fromJson(body);
    return Right(user);
  }
  if (res.statusCode == 404)
    return Left(ServerError("This user doesn't exist"));

  return Left(ServerError("Unknown server error"));
}

为了消费这个结果，你可以使用fold方法来定义当遇到Left或Right时的行为：

main() async {
  final Repository repository = Repository();

  final Either<ServerError, User> res = await repository.getUser(3);
  final defaultUser = User(id: 0, username: "ko", password: "ko");
  final userName = res.fold((_) => defaultUser.username, (user) => user.username);
  print(userName); // 如果是Right则输出"User 3"，如果是Left则输出"ko"
}

Option

Option同样表示两个可能类型的值之一。但是这里我们用None表示缺失的值，用Some表示成功的值：

Future<Option<User>> getUserOpt(int id) async {
  final res = await http.get(baseUrl);
  return Option.cond(
      res.statusCode == 200, User.fromJson(json.decode(res.body)));
}

消费Option的结果可以像这样：

main() async {
  final Repository repository = Repository();

  final Option<User> res = await repository.getUserOpt(3);
  final defaultUser = User(id: 0, username: "ko", password: "ko");
  final userName = res.getOrElse(defaultUser).username;
  print(userName); // 如果是Some则输出"User 3"，如果是None则输出"ko"
}

更多功能

除了上述的基本用法之外，either_option还提供了其他许多有用的功能，比如map、flatMap等。具体的实现请参阅官方文档或者查看官方GitHub仓库中的示例代码。

示例

下面是一个结合了Either与Option功能的小例子：

import 'package:either_option/either_option.dart';

import 'model/server_error.dart';
import 'model/user.dart';
import 'repository_example.dart';

/// You can combine all functions defined in src/either.dart and src/option.dart
main() async {
  final Repository repository = Repository();

  print("------Either Example---------");
  final Either<ServerError, User> res = await repository.getUser(3);
  final defaultUser = User(id: 0, username: "ko", password: "ko");
  final userId = res.fold((_) => defaultUser.id, (user) => user.id);
  print(userId); // "User 3"

  print("---------Option Example---------");
  final maybeUser = await repository.getUserOpt(345);
  final userNone = maybeUser.getOrElse(() => defaultUser);
  print(userNone); // User(0, ko, ko)

  print("---------Option Example 2---------");
  String f(A a) => a.toString();
  final some = Option.of(B());
  print(some.map((s) => f(s)));
}

class A {
  @override
  String toString() => "Im a A";
}

class B extends A {
  @override
  String toString() => "Im a B";
}

以上就是关于either_option插件的基本介绍和使用方法。希望对你有所帮助！如果有任何问题或需要进一步的帮助，请随时提问。