在C++中，输入两个非负int类型整数a和b（最大值为<climits>中定义的INT_MAX），预期输出二者的算术平均值（整数除法向下取整），以下代码实现中无论输入取任意合法非负int值都能得到正确结果的是？

int avg(int a, int b) {
    return (a + b) / 2;
}

int avg(int a, int b) {
    return a / 2 + b / 2;
}

int avg(int a, int b) {
    return a + (b - a) / 2;
}

int avg(int a, int b) {
    return (a + b) >> 1;
}