Flutter功能未定义插件maybe_just_nothing的探索

Maybe Just Nothing

Maybe Just Nothing 是用Dart编写的又一个经典的Maybe单子变体，它采用的是急切执行的方式。

创建maybe值

内部地，Maybe是一个抽象类，有两个实现：Just和Nothing。最常见的场景可能是从可空值中去除null：

int? nullableValue;
final val = Just(nullableValue).type<int>(); // val 要么是 Just<int> 要么是 Nothing<int>
final doubled = val.map((x) => x * 2);
doubled.ifPresent(print); // 如果 nullableValue 不为 null 则打印其双倍值

可空值也可以被包裹在 Just 中：

int? nullableValue;
final val = Just(nullableValue); // val 是 Just<int?>
final justNull = Maybe(null); // 创建 Just<void>

Nothing 值可以创建成有类型的或无类型的：

final nothing1 = Nothing(); // Nothing<Object?>
final nothing2 = Nothing<int>(); // Nothing<int>
final nothing3 = Nothing<String?>(); // Nothing<String?>

甚至可以区分 null 的存在与不存在：

Maybe<void> yay = Just(null); // Just<Null>
Maybe<void> nay = Nothing<void>(); // Nothing<Null>

映射值

映射意味着通过应用函数来转换包装的值。由于Maybe本身是不可变的，映射操作实际上并不会修改值。相反，它们总是返回另一个Maybe。

Just(2).map((x) => x * 2).ifPresent(print); // 打印 "4"

如果映射函数也返回一个Maybe，使用flatMap()：

Maybe<int> triple(int x) => Just(x).map((x) => x * 3);

Just(2).flatMap(triple).ifPresent(print); // 打印 "6"

可以在两个maybe值上执行的操作使用merge()：

final two = Just(2);
final three = Just(3);

two.merge(three, (x, y) => x + y).ifPresent(print); // 打印 "5"

过滤值

过滤是检查maybe值是否满足特定条件。如果满足，则值保持不变；否则返回Nothing。

为了根据值本身进行过滤，使用where()：

Just(2).where((x) => x.isEven).ifPresent(print); // 打印 "2"
Just(3).where((x) => x.isEven).ifPresent(print); // 3 是奇数，所以什么也不做

为了按类型过滤，使用type<T>()：

final maybeInt = Just(2).type<int>(); // Just<int>
final maybeString = Just(2).type<String>(); // Nothing<String>

回退链

chain()方法实现了责任链设计模式。它接受另一个相同类型的maybe值。如果当前值是Nothing，则返回下一个链中的值。

另一种实现相同想法的方法是使用fallback()方法。它接受一个“回退”函数，该函数返回另一个相同类型的maybe值。如果当前值是Nothing，这个回退函数将被调用并返回其结果。你可以提供多个回退函数。它们将按顺序调用，直到收到一个Just值。

Nothing<int>()
  .chain(Nothing<int>()) // 这个将被跳过
  .chain(Just(2)) // 这个值不是空的，所以它将被使用
  .chain(Just(3)) // 这个值不会被使用
  .ifPresent(print); // 打印 "2"

// 使用 fallback() 实现相同的功能
Nothing<int>()
  .fallback(() => Nothing<int>()) // 这个结果将被跳过
  .fallback(() => Just(2)) // 这个函数返回一个非空值
  .fallback(() => Just(3)) // 这个函数不会被调用
  .ifPresent(print); // 打印 "2"

消费值

Maybe的意图是给它一个消费者函数而不是检索值。这是最简洁、最清晰的使用方式。

Maybe a;
a
  ..ifPresent(print)
  ..ifNothing(() {/* do something else*/});

读取值

有时候，你需要实际的值。在这种情况下，你必须提供默认值。

在最简单的情况下，使用or()：

Maybe<int> a;
final value = a.or(0); // value 是 0
final valueFromFuture = await a.orAsync(Future.value(0)); // value 是 0

可以指定一个提供者函数而不是默认值：

Maybe<int> a;
final value = a.orGet(() => 0); // value 是 0
final valueFromFuture = await a.orGetAsync(() async => 0); // value 是 0

如果没有默认值，可以抛出异常：

Maybe<int> a;
final value = a.orThrow(() => 'Oops!');

在某些罕见的情况下，直接检查是否为空会更方便：

Maybe<int> myInt;

if (myInt is Just<int>) {
  print(myInt.value); // .value 是保证不为空的
}

if (myInt is Nothing) {
  print('The value is missing');
}

示例代码

下面是一个完整的示例代码，展示了如何使用maybe_just_nothing包：

import 'package:maybe_just_nothing/maybe_just_nothing.dart';

Maybe<int> addTwoIntegers(dynamic a, dynamic b) =>
    Just(a).type<int>().merge(Just(b).type<int>(), (int a, int b) => a + b);

void main() {
  // Prints 42
  addTwoIntegers(40, 2).ifPresent(print);

  // Does nothing since one of the values is null.
  addTwoIntegers(40, null).ifPresent(print);

  // Does nothing since one of the values is not an integer.
  addTwoIntegers('Oops', 2).ifPresent(print);
}

希望这些信息能够帮助你更好地理解和使用maybe_just_nothing插件！如果你有任何问题或需要进一步的帮助，请随时提问。