CH2-1 · MODEL

기본 타입과 값의 범위의 성공과 실패 증거

일반 덧셈은 조용히 순환하지만 addExact는 오버플로를 실패로 드러냅니다.

성공 출력

관찰 가능한 결과

max=2147483647 / overflow=-2147483648

실패 경계

왜 실패하는가

일반 덧셈은 조용히 순환하지만 addExact는 오버플로를 실패로 드러냅니다.

선택 기준

코드에 남길 계약

기본 타입은 메모리 크기 표보다 값의 범위, 정확도, 허용할 연산을 한 묶음으로 판단하는 것이 실용적입니다.

관찰 증거 기본 타입은 메모리 크기 표보다 값의 범위, 정확도, 허용할 연산을 한 묶음으로 판단하는 것이 실용적입니다.