Разбор произвольного формата даты в дартс

если он ходит как свидание, говорит как свидание, это свидание

Проблема в том, что нет ни такой прогулки, ни такого свидания.

Даты — это проблема для правильной реализации на любом языке, поскольку нет правил, определяющих точно то, как люди должны форматировать дату. Произвольно отформатированные даты, которые вы запрашиваете, ну, они не будут многого стоить, поскольку они не будут представлять фактические даты предсказуемым образом. Ознакомьтесь с последними вопросами, связанными с датой/временем здесь, на SO, чтобы получить представление!

Используя класс Dart DateTime, вы можете создать объект DateTime только путем анализа правильно отформатированной строки, которая соответствует подмножеству ИСО 8601

К счастью, вы можете сделать много тяжелой работы, используя упомянутый вами класс: DateFormat Class, и именно так я бы атаковал это.

У него есть способы помочь вам отформатировать локализованные строки даты из ввода, а затем вместе с некоторыми регулярными выражениями вы сможете достичь того, что вам нужно, если вы проверите это на основе разумных диапазонов значений для вашего домена приложения.

Но точную логику лучше создать самостоятельно, так как она будет варьироваться от случая к случаю/от приложения к приложению.

Основной ответ, как я упоминал в комментарии к cseder, заключался в том, чтобы инкапсулировать неинтересные токены строки даты в одинарные кавычки в соответствии с документацией.

Например, формат

EEE MMM DD yyyy H:mm:ss 'GMT-0800' '(PST)'

счастливо анализирует строку

Thu Nov 07 2019 13:50:03 GMT-0800 (PST)

Я, вероятно, также могу решить проблемы с часовым поясом, но это решает непосредственный вопрос.

Существует несколько способов анализа различных форматов меток времени. Но обратите внимание, что принятие совершенно произвольных форматов может быть неоднозначным: 01-02-2020 означает 2 января 2020 года (обычное соглашение в США) или 1 февраля 2020 года (большинство других частей мира)?

В конкретном случае, который вы описываете, я бы сначала разбил строку с помощью RegExp (или из .split(' ')), чтобы разделить биты, которые может обрабатывать DateFormat (в основном все, кроме часовых поясов, которые DateFormat не поддерживает). Хотя вы можете использовать механизм DateFormat для экранирования буквального текста, чтобы игнорировать часовой пояс, это будет работать только в том случае, если часовой пояс гарантированно никогда не изменится. Даже если строки поступают с сервера в фиксированном месте, GMT-0800 (PST) может измениться на GMT-0700 (PDT), если действовало летнее время.

Сам часовой пояс можно разобрать вручную с помощью RegExp или использовать TZDateTime.parse из package:timezone.

Я считаю, что следующий код должен анализировать строку как объект UTC DateTime:

DateTime parseDate(String timestamp) {
  final re = RegExp(''
      r'^(?<datetime>\w{3} \w{3} \d{2} \d{4} \d{2}:\d{2}:\d{2}) '
      r'\w{3}(?<offset>[+-]\d{4}) '
      r'.*$');
  final match = re.firstMatch(timestamp);
  if (match == null) {
    throw FormatException('Failed to parse timestamp: $timestamp');
  }

  final rawOffsetFromGMT = int.parse(match.namedGroup('offset'));
  final offsetFromGMT = Duration(
    hours: rawOffsetFromGMT ~/ 100,
    minutes: rawOffsetFromGMT.remainder(100),
  );

  return DateFormat('EEE MMM DD yyyy H:mm:ss')
      .parse(
        match.namedGroup('datetime'),
        true,
      )
      .subtract(offsetFromGMT);
}

void main() {
  print(parseDate('Thu Nov 07 2019 13:50:03 GMT-0800 (PST)'));
}