Sử dụng khẳng định so với ném ngoại lệ?

Thông thường khi tôi viết một hàm tôi muốn đảm bảo rằng các đầu vào của nó là hợp lệ để phát hiện các lỗi đó càng sớm càng tốt (tôi tin rằng đây được gọi là các điều kiện tiên quyết). Khi điều kiện tiên quyết thất bại, tôi luôn ném một ngoại lệ. Nhưng tôi bắt đầu nghi ngờ liệu đây có phải là cách thực hành tốt nhất và nếu không khẳng định sẽ phù hợp hơn.

Vậy khi nào tôi nên làm điều đó: khi nào thì thích hợp để sử dụng một xác nhận và khi nào thì thích hợp để đưa ra một ngoại lệ?

Các xác nhận chỉ nên được sử dụng để xác minh các điều kiện không thể sai về mặt logic (đọc: kiểm tra độ tỉnh táo). Những điều kiện này chỉ nên dựa trên các đầu vào được tạo bởi mã của riêng bạn. Bất kỳ kiểm tra dựa trên đầu vào bên ngoài nên sử dụng ngoại lệ.

Một quy tắc đơn giản mà tôi có xu hướng tuân theo là xác minh các đối số của hàm riêng bằng các xác nhận và sử dụng các ngoại lệ cho các đối số của hàm công khai / được bảo vệ.

Các xác nhận được sử dụng để tìm lỗi lập trình. Các chương trình của bạn phải hoạt động tốt khi tất cả các xác nhận được xóa.

Mặt khác, ngoại lệ là dành cho các tình huống có thể xảy ra ngay cả khi chương trình hoàn hảo; chúng được gây ra bởi những tác động bên ngoài, như phần cứng, mạng, người dùng, v.v.

Thực hành lập trình điển hình là tổng hợp các xác nhận từ các bản dựng sản xuất / phát hành. Các xác nhận sẽ chỉ giúp trong quá trình thử nghiệm nội bộ để nắm bắt thất bại của các giả định. Bạn không nên thừa nhận hành vi của các cơ quan bên ngoài, vì vậy bạn không nên khẳng định về các sự kiện từ mạng hoặc người dùng. Ngoài ra, đó là một cách thực hành tốt để viết mã xử lý cho các bản dựng sản xuất trong trường hợp xác nhận thất bại.

Ví dụ trong C,

int printf(const char *fmt, ...)
{
  assert(fmt);  // may fail in debug build but not in production build
  if (!fmt) return -1; // handle gracefully in production build
  ...
}

Các ngoại lệ có nghĩa là được xây dựng thành các bản dựng sản xuất. Thay thế cho ngoại lệ là trả về lỗi và không xác nhận.

Một vấn đề với các khẳng định đối với tôi là chúng bị tắt theo mặc định trong Java.

Chúng tôi sử dụng chiến lược thất bại đầu tiên trong đó chương trình - có thể đã chạy không được giám sát trong nhiều năm - cần phải sập càng sớm càng tốt để tránh hỏng dữ liệu trong trường hợp dữ liệu xấu (ở dạng không mong muốn). Đây là những gì chúng tôi sử dụng kiểm tra và bằng cách sử dụng các xác nhận, về cơ bản chúng tôi có nguy cơ chúng không hoạt động.