C++元编程 - 在代码中生成错误

#include<iostream>
#include <type_traits>

template<typename T>
void foo(T x) {
    static_assert(std::is_integral<T>::value, "T must be an integral type");
    std::cout << "x = " << x << std::endl;
}

int main() {
    foo(42); // 正常
    // foo(3.14); // 编译错误，因为T不是整型
    return 0;
}

#include<iostream>
#include <cassert>

int main() {
    int x = 42;
    assert(x > 0); // 正常，因为x > 0
    // assert(x < 0); // 程序终止，因为x < 0
    std::cout << "x = " << x << std::endl;
    return 0;
}