std::numeric_limits<T>:: is_modulo

std:: numeric_limits < T > :: is_modulo 의 값은 모듈로 연산으로 오버플로를 처리하는 모든 산술 타입 T 에 대해 true 입니다. 즉, 이 타입의 덧셈, 뺄셈, 곱셈, 나눗셈 결과가 [ min() , max() ] 범위를 벗어날 경우, 해당 연산이 반환하는 값은 기대값에서 max ( ) - min ( ) + 1 의 배수만큼 차이가 납니다.

is_modulo 는 false 입니다. 부호 있는 정수 타입의 경우, 구현체가 부호 있는 정수 오버플로를 래핑으로 정의하지 않는 한.

표준 특수화

참고 사항

표준은 "대부분의 시스템에서, 부호 있는 정수형의 경우 이는 true 입니다."라고 명시했습니다 (이 내용은 LWG 이슈 2422 가 해결되기 전 버전 기준). 관련 논의는 GCC PR 22200 을 참조하십시오.

예제

#include <iostream>
#include <type_traits>
#include <limits>
template<class T>
typename std::enable_if<std::numeric_limits<T>::is_modulo>::type
    check_overflow()
{
    std::cout << "max value is " << std::numeric_limits<T>::max() << '\n'
              << "min value is " << std::numeric_limits<T>::min() << '\n'
              << "max value + 1 is " << std::numeric_limits<T>::max()+1 << '\n';
}
int main()
{
    check_overflow<int>();
    std::cout << '\n';
    check_overflow<unsigned long>();
//  check_overflow<float>(); // compile-time error, not a modulo type
}

max value is 2147483647
min value is -2147483648
max value + 1 is -2147483648
max value is 18446744073709551615
min value is 0
max value + 1 is 0

결함 보고서

다음의 동작 변경 결함 보고서들은 이전에 발표된 C++ 표준에 소급 적용되었습니다.

1. ↑ 정의는 "두 양수를 더했을 때 세 번째 숫자로 감싸지는(wraps around) 결과를 가질 수 있다"입니다. 이 정의에는 다음과 같은 문제점들이 있습니다:
   • 감싸진 값(wrapped value)을 정의하지 않습니다.
   • 결과가 반복 가능한지 명시하지 않습니다.
   • 모든 값에 대한 덧셈, 뺄셈 및 기타 연산 수행이 정의된 동작을 가져야 한다고 요구하지 않습니다.

참고 항목