خطأ نمط وظيفي معالجة في جافا

بالإضافة إلى النهج الكلاسيكي لمعالجة الأخطاء باستخدام الاستثناءات ، يمكن أيضًا تمييز النهج الوظيفي.

بدلاً من طرح استثناء على الفور ، يمكنك توطينه ثم القيام ببعض الإجراءات عليه.

على سبيل المثال ، في Scala ، يتم استخدام فئة Try محددة لهذا الغرض.

def inputStreamForURL(url: String): Try[Try[Try[InputStream]]] = parseURL(url).map { u => Try(u.openConnection()).map(conn => Try(conn.getInputStream)) } 

في عالم Java ، باستخدام مكتبة Vavr ، يمكنك أيضًا معالجة الأخطاء بأسلوب وظيفي.

 Try.of(() -> u.openConnection()).getOrElse(other); 

في Java 8 ، تمت إضافة الفئة الاختيارية للعمل بشكل صحيح أكثر مع الأنواع الفارغة. يسمح لك بالالتفاف على كائن ، يمكن أن يكون خاليًا ، وبأسلوب وظيفي ، يمكنك العمل معه أكثر أمانًا.

للعمل مع أنواع مختلفة من الاستثناءات ، يمكنك تطبيق فئة مماثلة للفصل الاختياري ، والتي هي أيضًا آمنة لسلسلة الرسائل وغير قابلة للتغيير.

 public final class Expected<T, E extends Throwable> { private final T value; private final E error; private Expected() { this.value = null; this.error = null; } private Expected(T value) { this.value = Objects.requireNonNull(value); this.error = null; } private Expected(E error) { this.error = Objects.requireNonNull(error); this.value = null; } public static <T, E extends Throwable> Expected<T, E> of(T value) { return new Expected<>(value); } public static <T, E extends Throwable> Expected<T, E> of(E error) { return new Expected<>(error); } public static <T, E extends Throwable> Expected<T, E> of(Supplier<T> supplier) { try { return new Expected<>(supplier.get()); } catch (Throwable e) { return new Expected<>((E) e); } } public boolean isValue() { return value != null; } public boolean isError() { return error != null; } public T value() { return value; } public E error() { return error; } } 

أيضًا ، للتحقق مما إذا كان هناك استثناء أم لا ، يمكنك كتابة زائر بسيط.

 Expected<Integer, SQLException> data = Expected.of(new SQLException()); matches(data, Expected::error, e -> out.println("get error: " + e), Expected::value, v -> out.println("get value: " + v) ); Expected<Integer, ArithmeticException> expression = Expected.of(() -> 4 / 0); matches(expression, Expected::error, e -> out.println("get error: " + e), Expected::value, v -> out.println("get value: " + v) ); 

 public static <T, E extends Throwable> void matches(Expected<T, E> value, Function<Expected<T, E>, E> firstFunction, Consumer<E> firstBranch, Function<Expected<T, E>, T> secondFunction, Consumer<T> secondBranch) { if (value.isError()) { E arg = firstFunction.apply(value); firstBranch.accept(arg); } else { T arg = secondFunction.apply(value); secondBranch.accept(arg); } } 

في C ++ 23 ، من المخطط إضافة فصل مماثل إلى المكتبة القياسية.

يمكن أن تشكل هذه الفئة شركة اختيارية جيدة في مكتبة Java القياسية. ولكن للأسف ، في الوقت الحالي ، للعمل مع استثناءات بأسلوب وظيفي ، يمكنك استخدام مكتبة Vavr أو كتابة الفصول الخاصة بك في شكل توقع.

يمكن الاطلاع على شفرة المصدر الكاملة للفصل على github: link .