保护式断言
保护式断言的完整集合如下：
| 保护式 | 成立条件 |
|---|---|
| atom(X) | X是一个原子式 |
| constant(X) | X不是列表或元组 |
| float(X) | X是一个浮点数 |
| integer(X) | X是一个整数 |
| list(X) | X是一个列表或 [] |
| number | X是一个整数或浮点数 |
| pid(X) | X是一个进程标识符 |
| port(X) | X是一个端口 |
| reference(X) | X是一个引用 |
| tuple(X) | X是一个元组 |
| binary(X) | X是一段二进制数据 |
另外，一些BIF和算术表达式的组合也可以作为保护式。它们是：
element/2, float/1, hd/1, length/1, round/1, self/0, size/1 trunc/1, tl/1, abs/1, node/1, node/0, nodes/0
>> 本文固定链接: http://www.erlang-cn.com/230.html
新版本erlang都提倡 is_tuple(X) is_binary(X) is_float(X) 格式咯