判断溢出

int uadd_ok(unsigned x, unsigned y) {
    unsigned sum = x + y;
    if (sum >= x) {
        return 1;
    }
    else {
        return 0;
    }
}

推导

加法逆元

x’是加法逆元，也就是相反数