Let us now consider the following very simple program: y = x; z = x - y; With reasonable arithmetic types, the result for z should be zero.
现在我们考虑下列非常简单的程序: y = x; z = x - y; 带有合理的算术类型，z 的结果应当是零。