C언어에서 void 포인터를 더하고 빼는게 잘못된 방법인가요?

superkkt의 이미지

REGNO *regno_ptr = (REGNO *) ((void *) type_ptr + sizeof(uint32_t));

이런 코드가 있습니다. 이것을 gcc로 컴파일 할때는 전혀 경고가 안나왔는데, Sun Studio를 사용해서 컴파일하니 아래와 같은 경고가 나오는군요.

warning: pointer to void or function used in arithmetic

그래서 type_ptr 변수를 void 포인터로 캐스팅하지 않고 char 포인터로 캐스팅하니 경고가 없어졌습니다. 저는 void *와 char *가 동일하다고 생각하고 저렇게 코드를 작성했는데, 제가 잘못 알고 있는건지 궁금합니다.

그럼~

man777의 이미지

원래 포인터형에서 증감 연산을 하게되면 포인터형의 타입의 사이즈 만큼 증감이 일어납니다.

예를 들어
int *pi=0;
pi++; <-pi는 int사이즈만큼 증가 하게되어 4.
char *pc=0;
pc++; <-pc는 char사이즈만큼 증가 하게되어 1.

이런식으로 포인터 변수의 연산이 되는데, void형이면 형이 없으므로 사이즈도 모르죠...
그러므로 연산하기가 까다롭겠죠.. 그래서, 경고가 뜨는건 아닐까요?

-----------------------
lol

------------------------------
lol

man777의 이미지

원래 포인터형에서 증감 연산을 하게되면 포인터형의 타입사이즈 만큼 증감이 일어납니다.

예를 들어
int *pi=0;
pi++; //pi는 int사이즈만큼 증가 하게되어 4.
char *pc=0;
pc++; //pc는 char사이즈만큼 증가 하게되어 1.

이런식으로 포인터 변수의 연산이 되는데, void형이면 형이 없으므로 사이즈도 모르죠...
그러므로 연산하기가 까다롭겠죠.. 그래서, 경고가 뜨는건 아닐까요?

답글을 실수로 두개 올렸는데 지우는건... 어떻게 하는 거죠? ㅋ
-----------------------
lol

------------------------------
lol

heonjushin의 이미지

포인터와 정수사이의 +,- arithmetic은 포인터형의 타입사이즈만큼 증감이 일어납니다.
crazoon님도 언급했듯이
int* p = 0;
p + 4;
위의 코드는 p가 가리키는 주소를 원래보다 16byte더한 주소로 바꿉니다.
만약 p가 char* 였다면 4byte더한 주소로 바뀝니다.
void포인터와 정수사이의 +,- arithmetic은 포인터형의 타입사이즈를 알수 없으므로
compile warning이 나는게 맞는 것 같은데 gcc가 warning을 주지 않으 것이 이상하네요

위의 코드의 경우 gcc가 type_ptr을 암묵적으로 unsigned char*나 RENGO* 로 캐스팅
했을 가능성이 있을 것 같은데 2가지 경우가 결과가 다를 것 같습니다.
위험하지 않을까요......

마지막으로 void*는 엄밀히 char*와는 다릅니다. 그리고 굳이 캐스팅해야 한다면
char*보다는 unsigned char*로 캐스팅이 그나마 안전하지 않을까요... 그러나
써놓고 보니 void*의 원래 type의 포인터가 아닌 다른걸로 캐스팅하는건
대부분의 경우는 위험해보이네요^^;

익명사용자의 이미지

gcc -Wpointer-arith

해주면 void pointer에 +/-를 했을 때 경고를 내줍니다.

hayarobi의 이미지

워닝 옵션을 잘못줬는지 무시했는지는 기억 못 하겠고, 실제 동작시에는 4바이트씩 늘어났던 것으로 기억합니다. 에러가 아닌 워닝이라서 일단 컴파일은 해야겠기에 int크기로 간주하나 봅니다.

---------- 시그 *****
저도 세벌식을 씁니다.
M$윈도우즈, 리눅스, 맥오에스텐, 맥오에스클래식을 모두 엔드유저 수준으로 쓴답니다.
http://psg9.egloos.com

=================
잠못자는 한솔아빠

전웅의 이미지

http://gcc.gnu.org/onlinedocs/gcc-4.1.2/gcc/Pointer-Arith.html

오래된 gcc 확장입니다. 표준에서 진단을 요구하는 부분이기 때문에
-ansi -pedantic 옵션으로 진단 메시지를 확인할 수 있습니다.

이식성을 고려한다면 사용을 피하시기 바랍니다 - 연산을 원하는 type 의 포인터로
분명히 변환한 후에 적용하셔야 합니다.

--
Jun, Woong (woong at icu.ac.kr)
Web: http://www.woong.org (서버 공사중)

--
Jun, Woong (woong at gmail.com)
http://www.woong.org

댓글 달기

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
이것은 자동으로 스팸을 올리는 것을 막기 위해서 제공됩니다.