Question

缺省的mailbox是无类型的，也就是说，单个mailbox可以发送和接收任何类型的数据。这是一个非常强大的机制，然而不幸的是，它也会因为一个消息与用来重新获得消息的变量间的类型不匹配而导致运行时错误。一个mailbox经常被用来传输一个特定的消息类型，在这种情况下，如果能够在编译时发现类型不匹配，那会是很有用的。

参数化的mailbox与参数化类（参见11.23节）、模块和接口使用相同的机制。

mailbox #(type = dynamic_type)

其中dynamic_type代表一个特殊的类型，它能够执行运行时的类型检查（缺省情况）。

一个特定类型的参数化的mailbox通过指定类型来声明：

typedef mailbox #(string) s_mbox;
s_mbox sm = new;
string s;
sm.put("hello");
...
sm.get(s);  // s <- "hello"

参数化的mailbox提供了所有与动态mailbox相同的标准方法：num()、new()、get()、peek()、put()、try_get()、try_peek()、try_put()。

一个通用（动态的）mailbox与一个参数化mailbox之间唯一的不同之处是：对于一个参数化的mailbox，编译器能够确保put()、try_put()、peek()、try_peek()、get()和try_get()与mailbox类型兼容，从而所有的类型不匹配都可以被编译器捕获而不是在运行时捕获。