퀴즈! 두 int값의 +연산후 오버플로우 여부 알아내기...

int 와 long 타입의 크기가 같은 환경에서는 곤란하지 않을까요?

int 형이므로 a, b 부호가 다르면 일단 over-, underflow 가 발생하지 않을 것이고, 부호가 같다면 절대값으로 문제를 해결할 수도 있을 것 같습니다.

일단 범위를 줄여서 생각해봅시다. int 말고 signed char 타입으로 생각해볼께요. (값의 범위만 틀리지 특성은 동일하므로)

signed char 타입이 가지는 범위는 -128 ~ 127 입니다.
여기서 덧셈 연산의 overflow 는 두 양 수의 합이 127을 넘는 경우이고 양의 두 수의 합의 최대값은 127 + 127 = 254 ( <= 255 ) 입니다. 그러므로 unsinged char 로 두 수를 변환한 후에 더하고 그 값을 구해서 127 < sum 이라고 판단하면 될 것 같습니다.

음수의 최소값은 -128 이므로 2개의 음수의 합의 최소 절대값은 256 이 되기때문에 unsigned char 로는 표현할 수 없는 숫자가 됩니다. 그러므로 128 < abs(a) + abs(b) 같이 하면 두 수의 절대값의 합이 256이 아닌 underflow 를 판별할 수 있습니다.

이 경우는 예외처리를 해서 두수가 모두 -128 이면 underflow 로 동작하게 해야 할 것 같습니다.

이제 이것을 범위를 넓혀서 int 의 최대 최소값을 조사하셔서 적용하시면 되겠습니다. 일반적으로 2의 보수로 표현하는 정수의 경우 타입의 비트수가 n 이면 -2^(n-1) <= num <= 2^(n-1)-1 이므로 해당하는 환경의 int 타입의 비트수를 조사하시면 되겠습니다.

p.s. 숙제스러운 질문에 직접적인 코드는 기술하지 맙시다. -_-;

template<typename T>
T XXX() {
    return (0x01 << (sizeof(T)*8 - 1));
}
template<typename T>
bool overunderfulo_signed(T a,T b) 
{ 
    return !( 
        ((a&XXX()) != (b&XXX())) || 
        ((a&XXX()) == ((a+b)&XXX())) 
    ); 
}
template<typename T>
bool overunderfulo_unsigned(T a,T b) 
{ 
    return ((a+b < a) || (a+b < b)); 
}

XXX의 명칭이 머더라..
치매가오려나.. 기억이 안나네요...

음...
ASM에서 두 변수의 연산시에 발생한는 overflow bit를 이용하는 방법도 있기는 한데..
기억이 잘 안나네요.. 오래되넘은 거라서...
그렇다고 다시 학부때 ASM 책 뒤지기는 싫고..
귀차니즘의 압박이... orz

사라졌죠.. ^^;;
제가 올린 글이 좀 딴지성 같아서 올리자마자 지웠는데...
그새 새로운 글이 밑에 붙었네요..
음.. 글 지우는거 정말 조심해야 겠군요..
죄송합니다. ^^

코드 좀 정리 합니다...
속도좀 빠르게 하려구요.. ^^;
이런거 재미붙이면 안되는데...
근데 제대로 돌아갈까요.. ??
돌려보지를 않아서리. orz

template<typename T> 
bool overunderflow_signed(T a,T b) 
{
    class CXXX {
    public:
        T xxx;
        CXXX() {
            xxx = (0x01 << (sizeof(T)*8 - 1));
        }
    };
    static CXXX xxx;
    return !( 
        ((a&xxx.xxx) != (b&xxx.xxx)) || 
        ((a&xxx.xxx) == ((a+b)&xxx.xxx)) 
    ); 
} 
template<typename T> 
bool overunderflow_unsigned(T a,T b) 
{ 
    return ((a+b < a) || (a+b < b)); 
}

PS:
허거걱... 여기에
overunderflow_signed, overunderflow_unsigned
를
overunderfulo_signed, overunderfulo_unsigned
로 적었네요..
흐미.. 다른분들 보구 또 머라 하시겠다.. ㅡ.ㅜ
수정합니다.. ^^;;

bool func(int a, int b)
{
   bool Bigger = true;

   if((a < 0) || (b < 0)) Bigger = !Bigger;


   int c = a + b;

   if(Bigger && ((c < a) || (c < b))) return false;
   else if(!Bigger && ((c > a) || (c > b))) return false;
   
   return true;
}

Warning on Line 003 : Prototype of function 'func' specified to return 'bool' value. Garbage value will return

I am compiler... orz

예 아키텍쳐에 의존적이긴 하겠지요 :)

인라인 어셈블리를 쓰는 거 말고는 잘 모르겠군요....