给C变量赋值时是否可以用assert判断是否溢出？

Question

最近才知道C中的assert可以用来调试

我编写了以下 C 代码片段以确保输入不为零。

示例代码——

#include <stdio.h>
#include <assert.h>
int main(){
    int a;
    scanf("%d",&a);
    assert(a != 0);
    return 0;
}

我想问一下我们是否可以在 C 中使用 assert 来检查变量赋值溢出？

Answer 1

例如:

long a = X;
int  b = a + 40;
assert((long)b == a + 40);