Null safety Dart / Null safety Flutter là gì?

Null safety Dart / Null safety Flutter  là gì? Tại sao Google lại hỗ trợ null safety? Bắt đầu từ phiên bản 2.0 thì Dart/Flutter đã chính thức hỗ trợ tính năng an toàn null safety.

Xem thêm🎯GIÁO TRÌNH DART/FLUTTER

1️⃣Null safety Dart / Null safety Flutter là gì?

Khi bạn chọn sử dụng null safety, các biến trong chương trình của bạn là không thể nhận giá trị mặc định null, có nghĩa là các biến không thể nhận  giá trị null trừ khi bạn chỉ rõ chúng có thể.

Ví dụ, trong các phiên bản trước, khi bạn khai báo biến trong Dart/Flutter như sau:

var bien_a;
int so_nguyen_x;
String ho_va_ten;

Thì do bạn chưa cung cấp cho các biến a, so_nguyen_x, ho_va_ten một giá trị mặc định nên Dart sẽ gán giá trị mặc định của chúng là null. Điều này có thể gây ra lỗi khi chương trình chạy, ví dụ biến so_nguyen_x chưa được cung cấp giá trị nào mà bạn lại đem đi tính toán!

Do đó, từ phiên bản Dart/Flutter 2.0 trở đi, bạn bắt buộc phải cung cấp một giá trị mặc định trước khi sử dụng biến đó (thường là ngay khi khai báo biến).

Trong trường hợp bạn chưa muốn cung cấp giá trị cho biến ngay, hoặc biến của bạn có thể chấp nhận giá trị null thì bạn phải thêm kí tự ? vào sau kiểu của biến khi khai báo hoặc gán giá trị mặc định cho biến là null. Ví dụ, đoạn chương trình trên phải sửa thành:

var bien_a = null;
int? so_nguyen_x;
String? ho_va_ten;

Với việc hỗ trợ null safety thì các lỗi null-dereference trong thời gian chạy của bạn sẽ chuyển thành lỗi phân tích cú pháp ngay trong khi bạn gõ code, do đó giúp việc debug chương trình trở nên thuận tiện hơn.

Bạn không nhất thiết phải cung cấp giá trị cho biến ngay, mà chỉ cần cung cấp trước khi biến đó được sử dụng. Ví dụ, đoạn mã sau là hoàn toàn hợp lệ.

void main() { 
  int x;
  print('Blah blah blah...');
  x = 10;
  print(x);
}

Như vậy, cách để sửa lỗi null safety của các mã nguồn cũ (phiên bản Dart 1.x) chỉ đơn giản là thêm kí tự ? vào sau kiểu của biến khi khai báo nếu biến đó có thể nhận giá trị null (dĩ nhiên sau đó, trước khi sử dụng đến biến đó bạn phải cung cấp giá trị cho nó); hoặc gán cho biến một giá trị mặc định nếu biến đó không thể nhận giá trị null. Bạn cũng có thể tham khảo chi tiết ở bài viết https://dart.dev/null-safety/migration-guide

Trước phiên bản 2.0, Dart là ngôn ngữ nullability. Theo đó, null sẽ là kiểu con (subtype) của mọi kiểu. Tức là tất cả các kiểu số nguyên int, số thực double, danh sách List… đều chấp nhận giá trị null.

Tuy nhiên, từ phiên bản 2.0 thì Dart là ngôn ngữ hỗ trợ null safety. Theo đó, kiểu Null đã tách ra, không còn là kiểu con của các kiểu khác nữa. Do đó, khi bạn khai báo một biến là non-nullable (ví dụ kiểu int, kiểu String) mà lại gán cho chúng giá trị null thì chương trình sẽ báo lỗi.

2️⃣Nguyên tắc thiết kế của Null safety Dart/Flutter

Null safety Dart (Null safety Flutter) dựa trên 3 nguyên tắc thiết kế cốt lõi sau:

• Mặc định khi khai báo các biến là non-nullable (không thể nhận giá trị null), trừ khi bạn chỉ rõ rằng một biến có thể là null. Mặc định này được chọn sau khi Google nghiên cứu phát hiện ra rằng non-null là lựa chọn phổ biến nhất trong các API.
• Incrementally adoptable. Bạn quyết định những phần nào của các dự án hiện tại để chuyển sang null safety vào bất cứ khi nào. Bạn có thể di chuyển từng bước, sử dụng đồng thời các mã null- safe và không null- safe trong cùng một dự án. Google cung cấp các công cụ để giúp bạn di chuyển (migration).
• Fully sound. Dart cho phép tối ưu hóa trình biên dịch . Nếu hệ thống kiểu dữ liệu của Dart xác định rằng một cái gì đó không phải là null, thì cái đó không bao giờ có thể là null. Một khi bạn di chuyển toàn bộ dự án của mình và các thành phần phụ thuộc của nó sang null safety, bạn sẽ thu được toàn bộ lợi ích của sự ổn định – không chỉ ít lỗi hơn mà còn có các tệp nhị phân nhỏ hơn và việc thực thi dự án của bạn sẽ nhanh hơn.

3️⃣Kí tự !

Bạn sử dụng kí tự ! ở phía sau một biểu thức để thực thi biểu thức đó và chuyển (cast) giá trị nhận được sang kiểu non-nullable

// Using null safety, incorrectly:
class HttpResponse {
  final int code;
  final String? error;

  HttpResponse.ok() : code = 200;
  HttpResponse.notFound()
      : code = 404,
        error = 'Not found';

  String toString() {
    if (code == 200) return 'OK';
    return 'ERROR ${error!.toUpperCase()}';
  }
}

class MonAn {
  late String ten;
  void setTen(String str) {
    ten = str;
  }
}

void main() {
  final buaSang = MonAn();
  buaSang.setTen('Chim To Dần');
  print(buaSang.ten);
}

class MonAn {
  String? ten;
  void setTen(String str) {
    ten = str;
  }
}

void main() {
  final buaSang = MonAn();
  buaSang.setTen('Chim To Dần');
  print(buaSang.ten);
}

// Using null safety:
class Coffee {
  late final String _temperature;
  void heat() {
    _temperature = 'hot';
  }

  void chill() {
    _temperature = 'iced';
  }

  String serve() => _temperature + ' coffee';
}

             mandatory    optional
            +------------+------------+
positional  | f(int x)   | f([int x]) |
            +------------+------------+
named       | ???        | f({int x}) |
            +------------+------------+

// Using null safety:
function({int? a, required int? b, int? c, required int? d}) {}