在Forth中实现交换

Question

我在interview with Chuck Moore上看到了这一点，他说：

操作堆栈的单词是DUP、DUP和OVER。没有，交换是非常方便的，你想要它，但它不是机器指令。

因此，我只尝试用DUP、DROP和OVER来实现DUP，但不知道如何实现它，至少没有增加堆栈。

那是怎么做到的，真的？

Answer 1

你是对的，这似乎是很难或不可能的只是dup，下降，然后结束。

我想i21可能也有某种类型的返回堆栈操作，所以这样做是可行的：

: swap   over 2>r drop 2r> ;

编辑:在没有本机交换的GA144上，它被实现为：

over push over or or pop

Push和pop引用返回堆栈，or实际上是xor。请参阅http://www.colorforth.com/inst.htm

Answer 2

在标准中，它是

: swap ( a b -- b a ) >r >r 2r> ;

或

: swap ( a b -- b a ) 0 rot nip ; 

或

: swap ( a b -- b a ) 0 rot + ;

或

: swap ( a b -- b a ) 0 rot or ;

Answer 3

查尔斯·摩尔的这句话很容易被误解，因为它是在他的第四处理器的背景下说的。交换不是硬件处理器的机器指令。一般来说，在Forth中，有些定义是以其他定义为基础的，但以某些所谓的原语结束。在第四处理器中，这些是用硬件实现的，但在所有在主机系统或单板计算机上实现的第四种实现中，它们都是通过一系列机器指令来实现的，例如对于Intel：

代码交换pop，ax pop，bx推送，ax推送，bx末端代码

他还使用了“方便”一词，因为互换通常是可以避免的。在这种情况下，您需要处理两个数据项，但它们不是按您希望的顺序排列的。交换意味着精神负担，因为您必须想象堆栈内容发生了变化。一个人通常可以通过使用一个辅助堆栈暂时保存一个你现在不需要的项目来保持堆栈的直线。或者，如果您两次需要一个项目，最好在上使用。或者一个单词可以用不同的顺序来定义它的参数。

用4个单词而不是4个机器指令来实现交换显然是适得其反的，因为每个单词都是由几个机器指令自己实现的。