std::numeric_limits<T>::is_modulo

static const bool is_modulo;

static constexpr bool is_modulo;

std::numeric_limits<T>::is_modulo의 값은 true입니다. 이는 오버플로를 모듈로 산술로 처리하는 모든 산술 타입 T에 대해 해당 타입의 덧셈, 뺄셈, 곱셈 또는 나눗셈 결과가 범위 [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)을 정의하지 않습니다.
   • 결과가 반복 가능한지 명시하지 않습니다.
   • 모든 값에 대한 덧셈, 뺄셈 및 기타 연산 수행이 정의된 동작을 가져야 한다고 요구하지 않습니다.

참고 항목