创建自定义流畅的API

Question

我将为我的应用程序创建自定义的流畅API.我决定检查现有库的代码,并在至少2个使用流畅api的项目中发现了一些怪物.

我看到有很多类和接口,只有通用类型的数量不同.

例如:在jOOQ库DerivedColumnList22中

在RxJava中:Action9

像这样的怪物的目的是什么？仅适用于性能案例吗？或者是流行api的一些共性和方式？

当你看到像这样的怪物时,用流畅的api实现自己的DSL看起来很可怕.

Answer 1

既然你提到了jOOQ库,我将在这里给出一个权威的答案,作为jOOQ的作者,写了这篇关于设计流畅的API(或者更确切地说:用Java设计内部域特定语言)的帖子: https:// blog. jooq.org/2012/01/05/the-java-fluent-api-designer-crash-course

SomeType22只是一个名义上的元组类型

您发现的是API设计人员使用元组的共同愿望.一些语言内置了对结构元组类型的支持,即可以以临时方式创建的元组类型,而不是事先声明它们并给它们命名.后者称为名义打字.关于名义/结构类型的更多细节在这里.

具有结构元组类型支持的语言示例:

SQL是允许创建特殊元组类型的语言的一个很好的例子:

SELECT first_name, last_name, age
FROM people

上面的查询创建了一个带有类型的3级元组的表(string, string, number).JavaScript是另一个例子,我可以快速生成一个元组:

var x = {
    firstName: "Lukas",
    lastName: "Eder",
    age: undefined
};

还有其他语言在某种程度上具有元组支持.理想情况下,元组允许按名称和索引访问各个属性.有时,只能通过名称进行访问.在其他情况下,它仅由索引给出.但从概念上讲,它总是一样的.

这是什么意思DerivedColumnList22和Action9

遗憾的是,Java语言没有这样的工具来创建特殊的结构元组类型.(几乎)Java中的所有内容都需要名义上输入.甚至需要将"匿名函数"(lambda表达式)分配给标称SAM类型:

    Runnable r = () -> { doSomething(); }
//               ^^^^^^^^^^^^^^^^^^^^^^^^ --- Syntactically looks like a structural type
//  ^^^^^^^^^^ ------------------------------ But it's really a nominal type

因此,如果API希望为其用户提供支持实际结构元组类型的假象,则必须提前为每个支持的类型提供名称.例如,Action9:

Action9<T1, T2, T3, T4, T5, T6, T7, T8, T9> action = 
    (a, b, c, d, e, f, g, h, i) -> { doSomething(); }
//  ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ------------- Look ma! Almost a structural tuple type!

因此,这种技术主要由像RxJava这样的库实现(它鼓励结构元组类型真正发挥作用的函数式编程)或jOOQ(它鼓励结构元组类型也真正发光的SQL).

其他库/ API包括:

• 斯卡拉的Tuple1-Tuple22
• .NET的Tuple1-Tuple8

这并不意味着您需要在自己的DSL中使用这些类型.从简单开始.最终,您可能觉得需要添加它们.