为什么在比较负整数和无符号整数时，c++ assert()会错误地调用abort()？

int a = -1;
unsigned int b = 1;

if (a < b) {
    // 这个条件在隐式类型转换后为假，因为-1被转换为无符号整数后是一个非常大的正整数
}

#include <cassert>
#include <iostream>

int main() {
    int a = -1;
    unsigned int b = 1;

    // 这里会触发assert()，因为-1被转换为无符号整数后是一个非常大的正整数
    assert(a < b);

    std::cout << "This line will not be executed." << std::endl;

    return 0;
}

#include <cassert>
#include <iostream>

int main() {
    int a = -1;
    unsigned int b = 1;

    // 显式地将无符号整数转换为有符号整数
    assert(a < static_cast<int>(b));

    std::cout << "This line will be executed." << std::endl;

    return 0;
}

#include <iostream>

int main() {
    int a = -1;
    unsigned int b = 1;

    if (a < 0 || static_cast<unsigned int>(a) < b) {
        // 这样可以避免隐式类型转换带来的问题
    }

    std::cout << "This line will be executed." << std::endl;

    return 0;
}