Dart/Flutter中如何实现泛型基类的无需传参方法

问题本质：Dart 里void作为泛型实参时，不会自动把对应位置的方法参数转成可选，方法签名依然要求调用方传入一个void类型的参数，和JavaVoid、KotlinNothing的空标记行为存在差异。
下面是几种可直接落地的实现方案，按推荐度排序： #

方案1：Null类型 + 可选位置参数（适配90%以上场景） #

Dart 中Null是所有类型的子类型，把基类方法的入参设为可选位置参数后，无入参场景把泛型指定为Null就能实现无参调用，有入参的常规场景使用也不受影响。
先调整基类定义：

abstract class Base<Out, In> {
  Future<Out> perform([In? input]);
}

无入参的实现类直接把入参泛型设为Null：

class DoSomething implements Base<bool, Null> {
  @override
  Future<bool> perform([Null? _]) async {
    // 执行业务逻辑，不需要处理入参
    return Future.value(true);
  }
}

调用的时候直接不传参数就行，完全符合预期：

// 合法调用，不需要传任何参数
DoSomething().perform();

常规有入参的实现类正常写就可以，要是需要强制传参，内部加个判空校验就行：

class Download implements Base<bool, String> {
  @override
  Future<bool> perform([String? downloadUrl]) async {
    // 强制校验入参非空
    ArgumentError.checkNotNull(downloadUrl, 'downloadUrl');
    // 执行下载逻辑
    return Future.value(true);
  }
}

方案2：命名参数 + required 标记（严格区分必传/非必传） #

如果希望有入参的场景强制要求调用方传参，无入参场景完全不需要感知参数存在，可以把基类方法改成命名参数形式，重写时放宽参数约束就能实现无参调用：

abstract class Base<Out, In> {
  Future<Out> perform({required In input});
}

无入参的实现类重写方法时，去掉required标记、把参数设为可选：

class DoSomething implements Base<bool, void> {
  @override
  Future<bool> perform({void input}) async {
    // 业务逻辑
    return Future.value(true);
  }
}

调用时不需要传任何参数：

DoSomething().perform();

有入参的实现类保留required标记，强制调用方传参：

class Download implements Base<bool, String> {
  @override
  Future<bool> perform({required String input}) async {
    // 下载逻辑
    return Future.value(true);
  }
}

// 调用时必须传入参数
Download().perform(input: 'https://example.com/file.zip');

方案3：自定义空标记类型（不修改原有基类的场景） #

如果不想动已经写好的基类方法签名，可以自定义一个专属的空参数类型，配合简单封装实现无参调用：

// 定义全局单例空参数
class _NoArgs {
  const _NoArgs();
}
const noArgs = const _NoArgs();

// 原有基类完全不需要改动
abstract class Base<Out, In> {
  Future<Out> perform(In input);
}

无入参的实现类把入参泛型指定为_NoArgs，再加一个无参的call方法做封装：

class DoSomething implements Base<bool, _NoArgs> {
  @override
  Future<bool> perform(_NoArgs _) async {
    // 业务逻辑
    return Future.value(true);
  }

  // 无参调用封装
  Future<bool> call() => perform(noArgs);
}

调用的时候直接触发类实例的call方法就行，不需要手动传参：

// 两种写法等价，都不需要传参
DoSomething().call();
DoSomething()();

方案4：使用Never类型（Dart 2.12+ 空安全环境） #

Dart 里的Never类型语义和Kotlin的Nothing完全一致，代表不存在任何合法实例，配合可选参数可以精准标记无入参场景：

abstract class Base<Out, In> {
  Future<Out> perform([In? input]);
}

class DoSomething implements Base<bool, Never> {
  @override
  Future<bool> perform([Never? _]) async {
    // 业务逻辑，外部永远没法传入合法的非空参数
    return Future.value(true);
  }
}

调用时直接无参执行即可：

DoSomething().perform();

踩坑提醒：不要直接用void当无入参的泛型标记。Dart中void的语义是“对应的值不应该被访问/使用”，不是“不存在值”，直接用的话调用方必须传入一个匹配类型的参数（比如空闭包(){}），达不到无参调用的效果。

内容的提问来源于stack exchange，提问作者JScoding