왜 표준 : ABS 반환 서명 않는 유형

Question

나는 내가 unsigned에 대해 std::abs(int)을 비교있을 때 서명 대 부호없는 비교를 위해 경고 얻고있다

. 실제로 std::abs은 서명 된 값을 반환합니다. 그 선택은 왜 만들어 졌습니까? 절대 값이 부호있는 유형으로 표현 될 수없는 음수 값 문제를 해결했을 것입니다.

그리고, 뭔가 청소기는이보다 경고를 방지하기 위해 (즉 캐스트하지 않고,)이 있습니까?

#include <cassert> 
#include <cstdlib> 

// max(1, lhs + rhs). (lhs must be > 0) 
unsigned add(unsigned lhs, int rhs) 
{ 
    return 
    (0 < rhs || static_cast<unsigned>(-rhs) < lhs 
    ? rhs + lhs 
    : 1); 
} 

int main() 
{ 
    assert(add(42, -41) == 1); 
    assert(add(42, 0) == 43); 
    assert(add(42, 1) == 43); 
    assert(add(42, -51) == 1); 
} 

Answer 1

간단히 대답하면 반환 유형이 abs이 입력 유형과 동일하도록하는 것입니다. 이것은 정확히 당신이 원하는대로, 대부분의 시간. 복근을 호출 할 때

은 대부분, 당신은 모든 요소가 같은 유형 방정식을 다루고있는 (또는 당신이 경고를 얻을 것) 당신은 그 방정식에 일부 변수의 크기를 사용하고 싶습니다. 그렇다고해서 방정식의 변수 중 하나의 유형을 변경하고 싶지는 않습니다. 그것은 당신이 언급하는 종류의 이슈/경고를 줄 것입니다.

그래서, 간단히 말해서 일반적인 및 부호있는 변수의 절대 값을 요청할 때 동일한 입력 및 출력 타입 원하는 더욱 자연 스럽다. 가치의 크기는 일반적으로 지수로 사용되지 않습니다.

Answer 2

이것은 선택의 여지가 없습니다. 정의입니다. abs는 템플릿을 통해 구현되며 원래 값이 저장된 유형을 반환합니다. 부호있는 정수의 절대 값이 항상 원래 데이터 유형에 맞기 때문에 결과는 항상 유효합니다. 대상 데이터 형식에 대한 명시 적 형변환은 경고를 없애기에 충분해야합니다. ...

Answer 3

C++ 11에서 당신은 당신의 자신의 자동 캐스트 할 수 있도록 작성할 수

#include <utility> 

template< typename T > 
typename std::make_unsigned<T>::type abs(T x) 
{ 
    //We need to cast before negating x to avoid the overflow. 
    return x < 0? -static_cast<std::make_unsigned<T>::type>(x) : x; 
} 

나는, -Wall 옵션을 시도 아무런 경고 없어.