[완료] gcc 버그일까요...

login321의 이미지

첫번째는 new int [10]() //초기화o
두번째는 new int [10] //초기화x

visual c++ 2008로 했을때는 정상적으로 되는데
gcc에서는 초기화가 제대로 안됩니다.

비슷한 사례가 분명있을거라 생각하고 검색해봤는데 도무지 나오지도 않고

뭐가 문제일까요...혹시 gcc쓰시는 분들도 같은 증상인지 좀 봐주세요..
(좀 특이한건 할당된 크기가 0, 1, 2까지는 정상적으로 초기화가 됩니다. 근데 3부터는 1,2번째에 저렇게 쓰레기값으로 채워지는데 하필 2일까요...)

아래 테스트에 사용된 소스코드입니다.

#include <iostream>
int main()
{
    int *pia = new int [10]();
    for (int *begin = pia; begin != pia + 10; ++begin)
        std::cout << *begin << ' ';
}
// MinGW 5.1.4 출력 결과 : 3998072 3998072 0 0 0 0 0 0 0 0
// visual c++ 2008 출력결과: 0 0 0 0 0 0 0 0 0 0

#include <iostream>
int main()
{
    int *pia = new int [10];
    for (int *begin = pia; begin != pia + 10; ++begin)
        std::cout << *begin << ' ';
}
// MinGW 5.1.4 출력 결과 : 3998072 3998072 0 0 0 0 0 0 0 0
// visual c++ 2008 출력결과: 3604856 3604856 0 0 0 0 0 0 0 0
phonon의 이미지

첫번째는 new int [10]() //초기화o
두번째는 new int [10] //초기화o

테스트 환경
ubuntu 9.04
gcc 4.3.3

netionics의 이미지

0으로 초기화 해주는 것을 기대하는것이 잘못된 것 같습니다.

:)

login321의 이미지

이 질문을 하게 된 것이 c++ primer 4th edition ( by Stanley Lippman) 을 보고

new int[size]() 이렇게 ()을 붙여주면

built-in type인 int는 0으로 초기화가 된다고 되어있어서 해본것이거든요.

이게 c++ 표준이 아닌 undefined behavior인가요?

grassman의 이미지

new-initializer가 () 형태일 경우 default-initialization을 수행한다고 되어 있습니다.
따라서 배열의 각 원소를 int의 default 값(0)으로 초기화 하는게 원칙입니다.
아마 gcc 버전이 오래되어 표준을 완전히 구현하지 못하는 듯 합니다. (2까지는 정상적으로
초기화가 된 것이 아니라 초기화 되지 않았으나 우연히 heap에서 0이 들어있는 영역에 할당
된 겁니다.)

new-initializer를 생략했을 경우에는 int형의 배열에 대해서는 초기화가 이루어지지 않습니다.
즉, 내부의 내용은 쓰레기 값입니다. 이때는 반드시 원하는 초기값으로 초기화 해 준 뒤에
사용해야 합니다.

정확히 테스트를 해 보려면 다음과 같은 코드를 쓰면 됩니다. (물론 구현에 따라 원하는 결과가
나오지 않을 수도 있습니다)

#include <iostream>
 
int main()
{
    int *pia = new int [10];
 
    for (int i = 0; i < 10; i++ )
        pia[i] = i; // 초기값을 0 ~ 9까지 입력해 둠
 
    delete[] pia;
 
    pia = new int [10]; // 대개의 경우 앞에서 할당한 메모리 영역이 다시 할당됨
 
    for (int *begin = pia; begin != pia + 10; ++begin)
        std::cout << *begin << ' '; // 0 ~ 9가 출력됨
}

mhlee03의 이미지


gcc version 4.4.0 20090506 (Red Hat 4.4.0-4)
에서는 제대로 초기화되어 나오는데요.

login321의 이미지

올려주신 예제 덕분에 의문이 완전히 풀렸습니다.

pia = new int [10]<span>()</span>; // 대개의 경우 앞에서 할당한 메모리 영역이 다시 할당됨

이렇게 ()를 삽입해서 올려주신 예제를 수정해도 결과는 마찬가지로 0~9가 출력이 되고 있는 걸로봐서

초기화를 아예안하고 있네요.

그 자리에 하필 이미 0이 있어서 일부분 초기화가 된것처럼 착각했었나보군요.

전 MinGW 5.1.4가 최신버전이라서

당연히 gcc 최신버전과 비슷하겠거니 했는데 확인해보니 gcc 3.4.1 버전을 쓰고 있네요.

찾아보니 대충 2005년도 버전입니다.

netionics의 이미지

제가 잘못알고 있었네요. :)

:)

Fe.head의 이미지

좋은거 하나 알았네요.
저렇게 초기화도 가능하군요^^

-----------------------
과거를 알고 싶거든 오늘의 네 모습을 보아라. 그것이 과거의 너니라.
그리고 내일을 알고 싶으냐? 그러면 오늘의 너를 보아라. 그것이 바로 미래의 너니라.
-----------------------
내가 쓰는 글은 틀릴 수 있습니다.

고작 블로킹 하나, 고작 25점 중에 1점, 고작 부활동
"만약 그 순간이 온다면 그때가 네가 배구에 빠지는 순간이야"

winner의 이미지

http://gcc.gnu.org/ml/gcc-bugs/2005-03/msg01419.html

하지만 좀 이상한 점이 느껴지는데... 나중에 C++ Primer를 한번 읽어봐야겠군요.
아마도 봐도 납득은 안 가겠지만...

댓글 달기

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