如何在不修改函数参数的前提下高效实现数组元素加2并求最值？

需求背景 #

保持函数参数不变，优化以下C++函数的实现。该函数的功能是将数组中每个元素的值加2，同时通过引用返回处理后的数组最小值lowest和最大值highest。原代码可正常工作，但希望进一步优化效率。

原代码 #

void function_four(int* arr, int size, int& lowest, int& highest){
    lowest = *arr + 2;
    highest = *arr + 2;
    for(int i = 0; i < size; i++){
        int* valptr = arr+i;
        *valptr += 2;
        int val = *valptr;
        if(val > highest){
            highest = val;
        }

        if(val < lowest){
            lowest = val;
        }
        
    }
}

优化方案及代码示例 #

核心优化点

• 消除冗余操作：原代码对第一个元素的初始值计算和循环内的修改存在逻辑重复，优化后先处理第一个元素再初始化最值，避免无效操作
• 减少条件判断次数：用else if替代独立的两个if，因为一个值不可能同时大于最大值且小于最小值
• 简化内存访问：直接使用数组下标替代指针运算，提升代码可读性同时便于编译器优化
• 增加健壮性：处理空数组的边界情况，避免空指针访问

优化后的代码

void function_four(int* arr, int size, int& lowest, int& highest){
    if (size <= 0) {
        // 可根据需求补充空数组的默认值设置，比如lowest/highest设为特定标识
        return;
    }

    // 先处理第一个元素，同时初始化最值
    arr[0] += 2;
    lowest = arr[0];
    highest = arr[0];

    // 从第二个元素开始迭代，避免重复处理第一个元素
    for(int i = 1; i < size; ++i){
        // 先更新元素值，同时缓存结果避免重复访问内存
        const int val = arr[i] += 2;
        
        if(val > highest){
            highest = val;
        } else if(val < lowest){
            lowest = val;
        }
    }
}

进阶优化（可选）

如果编译器支持（如GCC、MSVC），可以用__restrict修饰数组指针，告诉编译器该指针与lowest、highest的引用内存无重叠，帮助编译器生成更高效的机器码：

void function_four(int* __restrict arr, int size, int& lowest, int& highest){
    // 内部逻辑同上
}

优化效果说明 #

• 循环迭代次数减少1次（跳过已处理的第一个元素）
• 每个元素的条件判断次数平均减少（最多1次判断，而非原代码的2次）
• 减少不必要的指针运算和内存重复访问，提升缓存命中率

内容的提问来源于stack exchange，提问作者Andre Athari