استخدام الأنواع العامة دون افتراضات كتابة غير آمنة

T? firstOrNull<T>(List<T> values) => values.isEmpty ? null : values.first;
void main() {
  final number = firstOrNull<int>(<int>[7, 8]);
  final name = firstOrNull<String>(<String>[]);
  print(number);
  print(name ?? 'absent');
}

7
absent

المخرج المتوقع 7 ثم absent. تعيد الدالة القيمة الأولى القائمة ولا تستنسخها. لم يُترجم المصدر أو يُفحص بأداة تحليل Dart.

void main() {
  final integers = <int>[1, 2];
  final List<num> view = integers;
  final wider = <num>[...integers];
  wider.add(2.5);
  print(view.length);
  print(wider.join('|'));
  print(integers.join('|'));
}

2
1|2|2.5
1|2

المخرج المتوقع 2 ثم 1|2|2.5 ثم 1|2. أما إضافة 2.5 إلى view فتخالف عقد كتابة List<int> الأصلية وقد تفشل وقت التشغيل؛ ولا ينفذها المثال. لم تُنفّذ Dart.