流畅的接口是由上下文无关的还是规则的语法描述的？

Question

我在玩 Martin Fowlers 文本风格的流畅界面，我想知道他们描述的语法是上下文无关的还是常规的？我说的是这样的接口：

var car = new Car();
car.Configure().MakeCar.With.Wheels(4).And.Engine.Using.Petrol;

我想做的是编写一个可以生成它们的程序。目前它需要输入上下文无关语法，但我似乎很难将其转换为源代码应用程序。我怀疑答案是我只能使用常规语法，因为无法知道“堆栈”的状态，因为必须事先知道每个“终端”方法的结果。

我现在得到的东西有效，但它在某些语法上出错了。

编辑：我使用常规语法，代码是开源的，如果有人热衷于玩弄它，现在可以使用它。 https://github.com/Dervall/Snout

Answer 1

任何时候的选项集都由该类上可用的方法决定。该方法返回的类确定下一组方法。

所以生成链的语法规则是right regular grammar，其中开始符号是类，符号是方法，非终结符是方法返回的类：

class Car:
    configure: Configurator

class Configurator:
    with: Configurator // noise method
    and: Configurator // noise method
    wheels: int -> Configurator
    windows: int -> WindowDetails

class WindowDetails:
    transparent -> Configurator
    tinted -> Configurator

忽略方法 args (int)：

Car -> "configure" Configurator
Configurator -> "with" Configurator
Configurator -> "and" Configurator
Configurator -> "wheels" Configurator
Configurator -> "windows" WindowDetails
WindowDetails -> "transparent" Configurator
WindowDetails -> "tinted" Configurator

但是这没有捕捉到wheels的参数（轮子的数量）。并且常规语法无法处理该问题，因为不同的整数参数可能会导致不同的类（例如，在“（2）”之后，您是否有配置器或WindowDetails？）：

Configurator -> "wheels" Integer
Configurator -> "windows" Integer
Integer -> ?

所以这取决于你想要什么。方法链可以用正则文法来描述。但是常规语法也不能描述传递给方法的参数。有事。

您可以通过添加上下文无关语法的复杂性来处理参数，因为这样您就可以执行以下操作：

Configurator -> "wheels" Integer Configurator
Configurator -> "windows" Integer WindowDetails

在整数参数之后具有正确继续所需的额外信息。

注意：以上假设方法名称在所有类中都是唯一的。如果您有两个具有相同方法名称的不同类，那么您显然会遇到问题（我希望）（如果您使用诸如“with”和“and”之类的东西，这可能并不罕见......）