error C4146: 一元负运算符应用于无符号类型，结果仍为无符号类型

在学习有符号类型整数运算时，会遇到溢出的可能：
如下代码，tadd_ok函数能检测计算结果是否溢出

#include<iostream>
using namespace std;
//判断是否溢出，返回1则不溢出，0则溢出
int tadd_ok(int x, int y)
{
    int sum = x + y;
    if ((x > 0 && y > 0 && sum < 0)
        || (x < 0 && y < 0 && sum > 0))
        return 0;  //overflow
    else
        return 1;  
}

int main()
{
    int x = 1073741824;
    int y = -2147483647 - 1;
    //int y = -2147483648      error C4146: 一元负运算符应用于无符号类型，结果仍为无符号类型

    cout << "-y: " << -y << endl;    //-y = -2147483648

    cout << tadd_ok(x, -y) << endl;  //1
    cout << tadd_ok(x, y) << endl;   //1
    return 0;
}

输出：

-y: -2147483648
1
1

有几点问题：
1、出现error C4146的情况：看上去用int y=-2147483647-1;和用int y=-2147483648 一个意思，其实后者会出现错误。
原因在于 C的头文件limit.h中定义了int类型的最大值和最小值INT_MAX 和INT_MIN：

#define INT_MAX  2147483647
#define INT_MIN (-INT_MAX - 1)

对于int y=-2147483648，编译器会理解成对一个int值进行一元运算，显然已经溢出。
2、-y=-2147483648，而不是2147483648，因为这超过了INT_MAX，机器码为0x80000000，所以仍然是-2147483648.