如果llabs()的结果不能用类型long long表示，那么行为是未定义的，我们可以推断这就是这里发生的事情--当转换为int64_t时，超出范围的值0x 80000000000000被转换为值-9223372036854775808。并且long long值是64位宽，因此值9223372036854775808是不可表示的。
为了让你的程序有定义的行为，你必须确保传递给llabs()的值不小于-LLONG_MAX。你如何做到这一点取决于你-要么修改“有机体”，使它们不能产生这个值（例如，过滤掉那些产生超出范围值的有机体），要么在你传递给llabs()之前钳制这个值。

基本上，你不能。
int64_t的可表示值的范围是-263到+263-1。（标准要求int64_t具有纯2的补码表示;如果不支持，实现就不会定义int64_t。）
这个额外的负值没有相应的可表示的正值。
所以除非你的系统有一个大于64位的整数类型，否则你就不能把0x8000000000000000的绝对值表示成整数。
事实上，根据ISO C标准，程序的行为是未定义的。引用7.22.6.12011 ISO C标准N1570 draft的www.example.com部分：

abs、labs和llabs函数用于计算整数j的绝对值。如果无法表示结果，则行为未定义。

就此而言，结果

int64_t a = 0x8000000000000000;

是由实现定义的。假设long long是64位，则该常量的类型为unsigned long long。它隐式转换为int64_t。存储的值很可能是-263或-9223372036854775808，但不能保证。（甚至允许转换引发由实现定义的信号，但这不太可能。）
(It从理论上讲，程序的行为也有可能只是实现定义的，而不是未定义的。如果long long的宽度大于64位，那么llabs(a)的计算就不是未定义的，但是将结果转换回int64_t是实现定义的。实际上，我从未见过long long宽度大于64位的C编译器。）
如果确实需要表示这么大的整数值，可以考虑使用GNU GMP之类的多精度算术包。

0x8000000000000000是可以用有符号64位整数表示的最小数。由于two's complement中的一些特殊情况，这是唯一一个绝对值不能用64位有符号整数表示的64位整数。
这是因为0x8000000000000000 = -2^63，而最大可表示的64位整数是0x7FFFFFFFFFFFFFFF = 2^63-1。
因此，取其绝对值是未定义的行为，通常会得到相同的值。

有符号64位整数的范围为−(2^63)到2^63 − 1，0x8000000000000000或−(2^63)的绝对值为2^63，大于最大64位整数。

最高位设置为高而所有其他位设置为低的有符号整数不能以与该整数的绝对值相同的类型表示。
观察8位整数
整数8_t x = 0x 80;//二进制1000_0000，十进制-128
8位有符号整数可以保存-128和+127之间的值，因此值+128超出范围。对于16位整数，也是如此
整数16_t = 0x 8000;//二进制1000_0000_0000，十进制-32，768
16位整数可以保存-32，768到+32，767之间的值（包括-32，768和+32，767）。
这种模式适用于任何大小的整数，只要它是用二进制补码表示的，这是计算机中整数的实际表示法。二进制补码表示所有位都为低，所有位都为高。
因此，N位有符号整数可以存储2^（N-1）到2^（N-1）-1之间的值，无符号整数可以存储0到2^N-1之间的值。

有趣的是：

int64_t value = std::numeric_limits<int64_t>::max();
std::out << abs(value) << std::endl;

在GCC-9上产生X1MON1X的值。
沮丧!