Rất nhiều chức năng của tôi có một tải trọng toàn bộ mã xác nhận ngay dưới tờ khai:Có cách nào hay để khẳng định trước điều kiện trong các phương thức Java?
if (! (start < end)) {
throw new IllegalStateException("Start must be before end.");
}
Tôi muốn precisly xác định phạm vi hiệu lực của một số nguyên liệu đầu vào - ví dụ như một A> B, C => 1 hoặc str_d.length()> 0.
Cho rằng một số chức năng của tôi có khá nhiều đối số phải được xác thực tôi có thể kết thúc bằng cách viết nhiều bản mẫu để xác thực các điều kiện trước. Tôi đang viết thư viện chủ yếu sẽ được các nhà phát triển phi kỹ thuật sử dụng, chúng tôi nhận thấy rằng việc xác thực tính năng nhập liệu là cách tốt nhất để giúp người dùng của chúng tôi vận hành API của chúng tôi một cách chính xác. Càng sớm chúng tôi đưa ra một lỗi thì càng ít công việc mà khách hàng của chúng tôi sẽ phải làm.
Có phương pháp thanh lịch hơn để chỉ định điều kiện trước, sau điều kiện (và có thể là điều kiện bất biến) trong phương pháp của tôi không.
Một đồng nghiệp nói với tôi về một tính năng của ngôn ngữ lập trình Eiffel cho phép điều kiện trước/sau/bất biến được mô tả theo cách rất tự nhiên mà không cần lặp lại nhiều mã soạn sẵn. Có một add-on cho ngôn ngữ Java mà sẽ cho phép tôi sử dụng một số phép thuật này?
Có, tôi chủ yếu là một nhà phát triển pthon. Đây là cú pháp chúng ta sẽ sử dụng trong Python, tuy nhiên tôi lưu ý rằng kiểu xác nhận này thường bị vô hiệu hóa khi chạy. Đã kết thúc
'khẳng định bắt đầu