Dart同步方法内等待Future完成及同步原语相关疑问

一、解决AppSettings同步访问的问题 #

你的核心矛盾是异步初始化的依赖必须在同步访问前完成，Dart的构造函数无法直接等待异步操作，因此必须调整初始化时机：

方案1：在App启动时提前初始化（推荐） #

将AppSettings的初始化放在main函数中，等待初始化完成后再启动App，确保后续所有同步调用都能拿到就绪的_prefs：

class AppSettings {
  late final SharedPreferencesWithCache _prefs;

  // 私有构造函数，确保单例
  AppSettings._();
  static final AppSettings instance = AppSettings._();

  // 初始化方法，必须在使用前调用并await
  Future<void> init() async {
    _prefs = await SharedPreferencesWithCache.create(
      cacheOptions: SharedPreferencesWithCacheOptions()
    );
  }

  int get sensorStatusPeriod {
    return _prefs.getInt('sensorStatePeriod') ?? 24;
  }

  set sensorStatusPeriod(int value) {
    _prefs.setInt('sensorStatePeriod', value);
  }
}

// main函数中调用
void main() async {
  WidgetsFlutterBinding.ensureInitialized();
  await AppSettings.instance.init();
  runApp(const MyApp());
}

这个方案的优势：

• 彻底避免未初始化导致的默认值问题，App启动后所有同步调用均可正常工作
• 单例模式避免重复初始化开销
• 完全适配Widget构建时的同步调用要求

方案2：同步缓存+异步懒加载（兼容特殊场景） #

如果无法提前在main中初始化，可以用缓存兜底，同时在异步初始化完成后更新缓存状态：

class AppSettings {
  SharedPreferencesWithCache? _prefs;
  int _sensorStatusPeriodCache = 24;

  AppSettings() {
    _loadPrefs().then((_) {
      // 初始化完成后同步缓存
      _sensorStatusPeriodCache = _prefs!.getInt('sensorStatePeriod') ?? 24;
    });
  }

  Future<void> _loadPrefs() async {
    _prefs = await SharedPreferencesWithCache.create(
      cacheOptions: SharedPreferencesWithCacheOptions()
    );
  }

  int get sensorStatusPeriod {
    return _sensorStatusPeriodCache;
  }

  set sensorStatusPeriod(int value) {
    _sensorStatusPeriodCache = value;
    // 立即更新缓存，同时异步持久化
    if (_prefs != null) {
      _prefs!.setInt('sensorStatePeriod', value);
    } else {
      // 若未初始化，等待初始化完成后再持久化
      _loadPrefs().then((_) => _prefs!.setInt('sensorStatePeriod', value));
    }
  }
}

该方案的trade-off：第一次访问可能拿到初始缓存值，但后续会自动更新，适合无法提前初始化的场景。

二、Dart中的同步原语与异步同步问题解析 #

1. 核心差异：Dart的单线程事件循环 #

Dart（Flutter）采用单线程模型（同一Isolate内），没有.NET那样的多线程临界区，但通过事件循环处理异步操作。所有异步任务（Future、Stream）会加入事件队列，按顺序执行。

2. 常用同步工具 #

• Future与await：最基础的顺序控制工具，await会暂停当前函数，等待Future完成后再继续，确保依赖操作先执行。
• Completer：手动控制Future的完成状态，可实现自定义异步信号，比如等待某个条件满足后触发后续操作。
• Lock（dart:async）：用于临界区控制，确保同一时间只有一个异步操作执行，避免竞态条件：

  import 'dart:async';
  
  final lock = Lock();
  
  Future<void> safeOperation() async {
    await lock.synchronized(() async {
      // 此处代码同一时间仅一个执行实例
    });
  }
  

• Stream：用于事件流同步，比如用StreamController实现信号通知，当某个操作完成时发送信号，监听者响应。
• Isolate：如需真正并行计算，Dart提供Isolate（类线程），通过SendPort和ReceivePort通信，实现跨Isolate的同步。

3. 确保操作顺序的原则 #

• 同一Isolate内，异步任务的执行顺序由事件队列决定，await可保证后续代码在当前Future完成后执行。
• 避免在同步函数中依赖未完成的异步操作，尽量将异步初始化提前到App启动、页面初始化等时机，确保后续同步调用时依赖已就绪。
• 若必须在同步场景处理异步状态，可采用缓存+异步补全的方式，但需注意状态一致性。

内容的提问来源于stack exchange，提问作者László Frank