الشروط والتنظيف واختبارات العقود

divide <- function(a, b) {
  if (b == 0) stop(errorCondition("zero denominator", class = "zero_denominator"))
  a/b
}
safe_divide <- function(a, b) {
  tryCatch(list(ok = TRUE, value = divide(a, b)),
           zero_denominator = function(e) list(ok = FALSE, reason = conditionMessage(e)))
}
good <- safe_divide(6, 2)
bad <- safe_divide(6, 0)
cat("good=", good$ok, "; value=", good$value, "\n", sep = "")
cat("bad=", bad$ok, "; reason=", bad$reason, "\n", sep = "")

good=TRUE; value=3
bad=FALSE; reason=zero denominator

يتيح الصنف الضيق فشلاً متوقعاً صريحاً دون تحويل عيوب البرمجة الأخرى إلى أعداد معقولة.

resource <- new.env(parent = emptyenv())
resource$closed <- FALSE
work <- function() {
  on.exit({ resource$closed <- TRUE }, add = TRUE)
  stop("synthetic failure")
}
message <- tryCatch(work(), error = function(e) conditionMessage(e))
cat("message=", message, "\n", sep = "")
cat("cleanup=", resource$closed, "\n", sep = "")

message=synthetic failure
cleanup=TRUE

المورد علامة داخل الذاكرة؛ ويتوقع التنظيف عند انتشار خطأ عادي دون فتح ملف أو جهاز أو خدمة.