현재 위치

홈 ›› Forums ›› 공부 ›› 프로그래밍 QnA

valid pointer 체크하는 코드 질문입니다.

serphine의 이미지
글쓴이: serphine / 작성시간: 월, 2008/04/21 - 10:12오전

보통 pointer가 유효한지 검사하는 매크로를 다음과 같이 쓰는데요..

#define IS_VALID_POINTER(p) (((p) != NULL) && ((void *)(p) != (void *)-1))

앞의 p != NULL 부분은 알겠는데, 뒤의 ((void *)(p) != (void *)-1) 부분은 어떤 뜻인가요?
두가지가 궁금합니다.

1. -1과 비교하는 이유
즉, 음수 전체가 아니라 -1 하나만 체크하는 이유가 궁금합니다.

2. void 포인터로 캐스팅하는 이유
즉, 0일 경우는 안 맞쳐도 되고 -1일 경우에만 맞추는 이유가 궁금합니다.

고수님의 명쾌한 답변 기다릴께요^^;

Forums: 
프로그래밍 QnA
chadr의 이미지

글쓴이: chadr / 작성시간: 월, 2008/04/21 - 7:01오후

컴파일러마다 조금씩 다르지만 초기화하지 않은 포인터를 컴파일러가 -1로 초기화하는 경우가 있습니다.
그럴때 체크할려고 하는 용도같군요.

표준은 아니기 때문에 항상 저런 체크가 유효하다고는 장담하기 힘들듯 합니다.
-------------------------------------------------------------------------------
It's better to appear stupid and ask question than to be silent and remain stupid.

-------------------------------------------------------------------------------
It's better to appear stupid and ask question than to be silent and remain stupid.

serphine의 이미지

글쓴이: serphine / 작성시간: 수, 2008/04/23 - 10:07오전

아.. 초기화되지 않았을 때 자동으로 -1로 초기화되는 경우를 고려한 거군요..
감사합니다^^;

cppig1995의 이미지

글쓴이: cppig1995 / 작성시간: 월, 2008/04/21 - 9:46오후

0은 표준에 의해 널 포인터로 변환가능하므로 void *로의 캐스팅이 필요치 않습니다.
--
돼지군 작업실: 4word 64bit OS, IMPerator, SMPlayer 한국어 번역, ...
대전월평중 2 / Ubuntu Hardy / 070) 7594-3258 / 서명 변경일 2008/4/9

Real programmers /* don't */ comment their code.
If it was hard to write, it should be /* hard to */ read.

serphine의 이미지

글쓴이: serphine / 작성시간: 수, 2008/04/23 - 10:11오전

포인터가 가리키는 값이 아니라, 포인터의 주소를 비교하는데에도 캐스팅이 필요한가요?
포인터 값 자체는 모두 unsigned int 아닌가요?
즉, 예를 들어

*(char *)p != *(char *)q

이런 식으로 포인터가 가리키는 값을 비교하고자 할때는 캐스팅을 하는 것이 이해가 가는데
포인터 값 자체를 비교할 때도 캐스팅이 필요한 것이 이해가 안됩니다.

auditory의 이미지

글쓴이: auditory / 작성시간: 수, 2008/04/23 - 10:54오전

모든 비교 연산은 타입이 같아야합니다.
타입이 다른데도 비교가 가능한것은 비교직전에 conversion이 일어나기때문입니다.
표준에 의해서 자동으로 변환 가능한 경우는
implicit type convesion이라고 부릅니다.

implicit type conversion을 이용해서 같은 타입으로 맞출 수 없다면
컴파일 타임에서 에러가 납니다.

처음 답변대로 0은 implicit type conversion에 의해서
p와 같은 포인터 타입으로 변환된 후에 비교가 됩니다.

하지만 (-1)은 그럴수 없기때문에 explicit type conversion 해주어야합니다.

-1은 16진수로 ffffffff 입니다.
visual c 같은 경우 debug 모드에서 이렇게 초기화를 해줬던것 같습니다.

--
포인터의 값 자체는 unsigned int가 아니냐는 질문에 대해서

포인터의 타입은 포인터고, unsigned int의 타입은 unsigned int죠..

모든 변수의 값 자체는 메모리 내에 들어있는 이진수이고요..
값 자체를 비교하는게 아니라 "타입을 가진 변수"들을 비교하는것이고,
C나 특히 C++은 strict type checking을 하는 언어입니다.

modestcode의 이미지

글쓴이: modestcode / 작성시간: 화, 2008/04/22 - 9:09오전

모든 비트가 0이 아닌 null pointer가 있을 수 있기 때문에 그런 머신을 고려한 것 같습니다. 제가 확인하기론 이것은 표준이 아니라기 보다는 implementation defined입니다.

댓글 달기

텍스트 포맷에 대한 자세한 정보

Filtered HTML

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

BBCode

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param>
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

Textile

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • You can use Textile markup to format text.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Markdown

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • Quick Tips:
    • Two or more spaces at a line's end = Line break
    • Double returns = Paragraph
    • *Single asterisks* or _single underscores_ = Emphasis
    • **Double** or __double__ = Strong
    • This is [a link](http://the.link.example.com "The optional title text")
    For complete details on the Markdown syntax, see the Markdown documentation and Markdown Extra documentation for tables, footnotes, and more.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Plain text

  • HTML 태그를 사용할 수 없습니다.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 줄과 단락은 자동으로 분리됩니다.
댓글 첨부 파일
이 댓글에 이미지나 파일을 업로드 합니다.
파일 크기는 8 MB보다 작아야 합니다.
허용할 파일 형식: txt pdf doc xls gif jpg jpeg mp3 png rar zip.
CAPTCHA
이것은 자동으로 스팸을 올리는 것을 막기 위해서 제공됩니다.