bootstrap样式异常

Java从一开始就支持检查异常。 在Java 8中，语言元素lambda和支持流操作的RT库修改将功能编程风格引入了该语言。 函数样式和异常并不是真正的好朋友。 在本文中，我将描述一个简单的库，该库在某种程度上类似于使用Optional处理null方式处理异常。

该库有效（毕竟它是单个类和一些内部类，但实际上不是很多）。 另一方面，我不是绝对确定使用该库不会降低普通程序员的编程风格。 有人用锤子把所有东西都看成是钉子，这可能会发生。 锤子不是很好的修脚工具。 看看这个库更像是一个主意，而不是作为一个最终的工具来告诉您如何创建完美的代码处理异常。

处理检查的异常

已检查的异常必须像感冒一样被声明或捕获。 这是与null的主要区别。 评估表达式可以静默为null但不能静默引发已检查的异常。 当结果为null我们可以使用它来表示没有值，或者我们可以检查并使用“默认”值代替null 。 这样做的代码模式是

 var x = expression;  if ( expression == null ){ x = expression that is really never null default expression that is really never  } 

模式表达式是相同的，尽管Java语法略有不同，但表达式的求值可以引发检查的异常：

 Type x; // you cannot use 'var' here  try { x = expression  } catch (Exception weHardlyEverUseThisValue){ x = expression that does not throw exception default expression that does not  } 

如果第二个表达式也可以为null或可能引发异常，则结构可能更复杂，并且如果第一个表达式失败，我们需要第三个表达式甚至更多个表达式进行评估。 由于许多括号，在抛出异常的情况下，这尤其顽皮

 Type x; // you cannot use 'var' here  try { try { x = expression1 } catch (Exception e){ try { x = expression2 } catch (Exception e){ try { x = expression3 } catch (Exception e){ x = expression4 }}}} catch (Exception e){ x = expression that does not throw exception default expression that does not  } 

对于null处理，我们有Optional 。 解决百万美元的问题并不是完美的，这是设计一种既没null又被低估的语言的名称，但是如果使用得当，它会使生活变得更好。 （更糟糕的是，如果使用错误的方式，您可以随意地说，我在本文中所描述的正是这种方式。）

如果结果表达式为null ，则可以编写

 var x = Optional.ofNullable(expresssion) .orElse( expression that does not throw exception); default expression that does not exception); 

你也可以写

 var x = Optional.ofNullable(expresssion1)  .or( () -> Optional.ofNullable(expression2))  .or( () -> Optional.ofNullable(expression3))  .or( () -> Optional.ofNullable(expression4))  ...  .orElse( expression that does not throw exception); default expression that does not exception); 

当您有很多选择的价值。 但是，如果表达式引发异常，则您不能做同样的事情。 可以吗

极好的

库Exceptional （ https://github.com/verhas/exceptional ）

 < groupId >com.javax0</ groupId >  < artifactId >exceptional</ artifactId >  < version >1.0.0</ version > 

实现了在Optional实现的所有方法，一个或多个实现了某些方法，并且某些方法的目的有所不同，旨在在异常情况下使用相同的方式，如上面针对null值的Optional 。

您可以使用Exceptional.of()或Exceptional.ofNullable()创建一个Exceptional值。 重要的区别在于，论点不是价值，而是提供价值的供应商。 该供应商不是JDK Supplier因为该Supplier无法引发异常，因此整个库将无用。 此供应商必须是Exceptional.ThrowingSupplier ，它与JDK Supplier完全相同，但get()方法可能会抛出Exception 。 （另请注意，只有一个Exception ，而不是Throwable正如你用裸手搭上了烧红的铁球，你应该只捕捉尽可能频繁。）

在这种情况下，您可以写的是

 var x = Exceptional.of(() -> expression) // you CAN use 'var' here .orElse( expression that does not throw exception); default expression that does not exception); 

它越来越短，通常更易读。 （或者不是？这就是为什么APL如此受欢迎？或者是？您问什么是APL？）

如果您有多种选择，可以写

 var x = Exceptional.of(() -> expression1) // you CAN use 'var' here .or(() -> expression2) .or(() -> expression3) // these are also ThrowingSupplier expressions .or(() -> expression4)  ... .orElse( expression that does not throw exception); default expression that does not exception); 

如果某些供应商可能会导致null不仅引发异常，则有方法的ofNullable()和orNullable()变体。 （ orNullable()在Optional中不存在，但在这里，如果整个库都可以使用，则是有意义的。）

如果您熟悉Optional并使用更高级的方法，例如ifPresent() ， ifPresentOrElse()或orElseThrow() ， stream() ， map() ， flatMap() ， filter()那么使用Exceptional并不困难。 类中存在具有相同名称的类似方法。 再次不同的是，如果Optional的方法的参数为Function ，则为Exceptional时为ThrowingFunction 。 利用这种可能性，您可以编写如下代码

 private int getEvenAfterOdd( int i) throws Exception { if ( i % 2 == 0 ){ throw new Exception(); } return 1 ; } @Test @DisplayName ( "some odd example" ) void testToString() { Assertions.assertEquals( "1" , Exceptional.of(() -> getEvenAfterOdd( 1 )) .map(i -> getEvenAfterOdd(i+ 1 )) .or( () -> getEvenAfterOdd( 1 )) .map(i -> i.toString()).orElse( "something" ) ); } 

也可以像下面的示例一样处理函数表达式中的异常：

 private int getEvenAfterOdd( int i) throws Exception { if (i % 2 == 0 ) { throw new Exception(); } return 1 ; } @Test void avoidExceptionsForSuppliers() { Assertions.assertEquals( 14 , ( int ) Optional.of( ).map(i -> 13 ).map(i -> Exceptional.of(() -> inc(i)) .orElse( 0 )).orElse( 15 )); } 

最后但并非最不重要的一点是，您可以模仿?. Groovy写作的运营商

 abcdef 

表达式（其中所有变量/字段都可能为null并通过它们访问下一个字段）会导致NPE。 您可以但是写

 var x = Exceptional.ofNullable( () -> abcdef).orElse( null ); 

摘要

记得我告诉过你有关锤子的事。 小心使用，并获得更大的利益。

翻译自: https://www.javacodegeeks.com/2019/05/handling-exceptions-functional-style.html

bootstrap样式异常