Question

get()方法从一个mailbox中重新获得一个消息。

get()方法的原型如下：

task get(ref singular message);

消息可以是任意单一表达式，并且它必须是一个有效的左侧表达式。

get()方法从mailbox中重新获得一个消息，也就是说从mailbox队列中删除一个消息。如果mailbox是空的，那么当前的进程阻塞直到一个消息被放置到mailbox中。如果在消息变量和mailbox中的消息间存在类型不匹配，那么会产生一个运行时错误。

非参数化的mailbox是无类型的，也就是说，单个mailbox可以发送和接收不同的数据类型。因此，除了正在被发送的数据（也就是消息队列）外，一个mailbox的实现必须维护通过put()方法放置的消息数据类型。为了使能运行时类型检查，这种机制是必需的。

mailbox等待队列是FIFO。这种方式不能保证进程到达队列的顺序，它仅仅能够保持进程到达的顺序。