[완료] if (((_SIZT)(-1) / _Count) < sizeof (_Ty)) 이것과 if (((_SIZT)(-1)) < sizeof (_Ty) * _Count) 의 차이점은..
글쓴이: ikpil / 작성시간: 월, 2008/05/05 - 12:55오전
안녕하세요? 할당자에 대해서 공부를 하다가.
xmemory 첫번째 부근에서 이런것을 보게 되었습니다.
_SIZT 는 unsigned int 입니다;
if (((_SIZT)(-1) / _Count) < sizeof (_Ty))
이런것을 보았는데, 처음에 나누기에 대해서 햇갈려서, 이게 무엇을 뜻하는거지 했습니다.
보통은..
if (((_SIZT)(-1)) < sizeof (_Ty) * _Count)
이런식으로 생각할텐데 말이죠..
분명 차이가 있을꺼 같다는 생각이 드는데요.
질문, 첫번째 식과 두번째 식의 차이점은 어떤게 있을까요?
(암시적으로 성능에 더 좋은 문법이구나.. 합니다만, 그 원리에 대해서 모르겠습니다)
- 함수 정의 입니다 -
template inline
_Ty _FARQ *_Allocate(_SIZT _Count, _Ty _FARQ *)
{ // check for integer overflow
if (_Count <= 0)
_Count = 0;
else if (((_SIZT)(-1) / _Count) < sizeof (_Ty))
_THROW_NCEE(std::bad_alloc, NULL);
// allocate storage for _Count elements of type _Ty
return ((_Ty _FARQ *)::operator new(_Count * sizeof (_Ty)));
}
Forums:
질문을 하고 나니...
요즘 점점 기초 수학(산수)에서 쩔쩔매는거 같습니다. 나누기와 곱하기의 작용을 햇갈려 하다니..
http://www.ikpil.com
어떤 구문인지는 잘
어떤 구문인지는 잘 모르겠지만, ((_SIZT)(-1) / _Count) < sizeof (_Ty) 와 ((_SIZT)(-1)) < sizeof (_Ty) * _Count 는 _Count가 실수가 아니라면 전혀 다른 결과가 됩니다.
1/2 != 1.0/2.0 이니까요...
앗. unsigned int 일 경우입니다.
전제조건은
unsigned int 일 경우입니다.
그런데 순간 잊어먹고 있었습니다.
"실수일때는 전혀 다른거였었군" 하고 말입니다.
http://www.ikpil.com
테스트 해보았습니다.
두 방법 모두, 10억번 루프돌려 테스트 해보았습니다만, 동일합니다.
나누기나 곱하기나 내부적으론 동일한 연산인거 같습니다.
그리고 외국 애들은 첫번째 방법의 사고 방식이 더 편한듯 합니다;
#include iostream
#include windows.h
int main(void)
{
DWORD check = GetTickCount();
for(int i = 0; i < 1000000000; i++)
{
if((UINT)(-1) / 3 < sizeof(int))
{
}
}
std::cout << GetTickCount() - check << std::endl;
}
http://www.ikpil.com
성능과는 관계없고
성능과는 관계없고 오버플로우(*)를 방지하기 위한 것입니다.
(unsigned)-1은 UINT_MAX와 같습니다.
만약 ((_SIZT)(-1)) < sizeof (_Ty) * _Count)로 코딩한다면 이 결과는 항상 거짓이 됩니다.
어떤 unsigned int의 곱도 UINT_MAX보다 클 수는 없기 때문입니다.
그렇다면 이 함수는 언제나 ::operator new()를 실행하게 됩니다.
이 구현체에서 UINT_MAX의 값을 간단하게 42억이라고 하죠.
그럼 ::operator new()가 할당할 수 있는 한계는 4GB가 됩니다.
만약 sizeof(_Ty) == 8이고 _Count == 10억이라고 합니다.
이 함수를 호출할 때는 8GB를 요청한 것이지만 연산 과정의 오버플로우로 인하여
그보다 훨씬 적은 메모리만 할당하게 될 것입니다. 당연히 이것은 잘못된 것이죠.
그럼 원래 코드대로 ((_SIZT)(-1) / _Count) < sizeof (_Ty)로 하면 어떨지 생각해 봅시다.
< 연산자의 왼쪽은 (4GB / 10억)이므로 4가 되고 오른쪽은 8입니다.
그럼 이것은 할당할 수 있는 최대값보다 큰 메모리를 요청한 것이므로
std::bad_alloc 예외를 던지게 되는 것입니다.
(*) 편의상 오버플로우라고 했지만 엄밀히 말하면 무부호 정수형에는 오버플로우가 없습니다.
연산 결과가 UINT_MAX보다 크면 잘 정의된 규칙에 의해 wrap-around 됩니다.
감사합니다.
몰랐던 사실을 알게 되었습니다.
http://www.ikpil.com
댓글 달기