Question

数组缩减方法适用于任何非压缩数组以便将数组缩减成一个单独的值。可选的with子句中的表达式被用来指定缩减操作中使用的元素。

这些方法的原型如下：

function expression_or_array_type reduction_method (array_type iterator = item)

方法返回一个与数组元素相同类型的单一的值，或者，如果指定的话，它返回一个与with子句中表达式相同类型的单一的值。如果数组元素类型定义了相应的算术或布尔缩减操作的话，那么with子句可以被忽略。如果指定了with子句，那么表达式类型对应的算术或布尔缩减操作必须被定义。

SystemVerilog支持下列的缩减方法：

• sum()返回所有数组元素的和，或者，如果指定了with子句，它返回通过为每一个数组元素计算所产生的值的和。
• product()返回所有数组元素的积，或者，如果指定了with子句，它返回通过为每一个数组元素计算所产生的值的积。
• and()返回所有数组元素的位与（&），或者，如果指定了with子句，它返回通过为每一个数组元素计算所产生的值的位与。
• or()返回所有数组元素的位或（|），或者，如果指定了with子句，它返回通过为每一个数组元素计算所产生的值的位或。
• xor()返回所有数组元素的位异或（^），或者，如果指定了with子句，它返回通过为每一个数组元素计算所产生的值的位异或。

例子：

byte b[] = { 1, 2, 3, 4 };
int y;
y = b.sum ; // y变为10 => 1 + 2 + 3 + 4
y = b.product ; // y变为24 => 1 * 2 * 3 * 4
y = b.xor with ( item + 4 ); // y变为12 => 5 ^ 6 ^ 7 ^ 8