c++ delete[] 동적할당 해제에 대해서

minyoung347의 이미지

#include <iostream>
using namespace std;
 
int main(void)
{
int* a = new int;
*a = 1;
cout<<a<<endl;
delete[] a;
cout<<*a<<endl;
//cout<<b<<endl;
return 0;
}

위의 코드를 실행시키면 1과 0이 출력됩니다
제 생각에는 delete[] a;가 있어서 동적할당이 해제되어서
a라는 변수가 존재하지 않을 것 같은데(b를 출력하는 주석처리한 부분이 에러가 나듯이)
에러가 나지 않고 0이 출력됩니다
그 이유가 무엇인지요?
(ubuntu, g++ 사용하고 있습니다)

익명 사용자의 이미지

일단 위에

a = 1;

이 코드 자체가 오류입니다;
a 는 포인터변수인데 a에 1이라는 정수를 대입하고있네요.

(*a) = 1;
을 하고싶으셨던건지요 ?

포인터를 삭제할경우에 디버거에서 null(0)값을 넣어주기 때문에 두번째 출력에는 0이 출력되나
디버그 모드가 아닐경우에는 값을 알 수 없습니다.

minyoung347의 이미지

빠른 답변 감사합니다

실수했군요..
실제로 할 때는 (*a) = 1;이라고 했었습니다

그렇다면 a의 출력값이 0으로 나온다고 하여도
힙영역의 메모리에 손실은 없는 건가요?
동적할당 되었던 a가 차지하는 힙영역의 메모리에서
a가 delete로 제대로 없어진 것인지 궁금합니다

익명 사용자의 이미지

출력할때도

cout << (*a) << endl;

이렇게 해보세요..
메모리가 삭제된 후에는 분명 오류가 납니다 @_@

minyoung347의 이미지

거기도 잘못됐었군요.. 죄송합니다
실제는 *a를 출력했는데 오류가 나지 않고 0이 출력됩니다

제가 생각하기에는 해당 메모리 영역의 값을 출력하는 것이기 때문에
delete를 해주면 해당 메모리에서 a값이 삭제되고
(모든 메모리에 기본적으로 0 저장)
다시 0으로 돌아가는게 아닌지 생각됩니다
제 생각이 틀린건지 알려주시면 감사하겠습니다

twinwings의 이미지

커널은 기본적으로 프로세스에게 페이지 단위(보통 4KB)로 메모리 할당/해제를 해 줍니다. 변수 단위가 아니라요.

커널에게 페이지 단위로 메모리를 요청 한 후, 페이지를 잘게 쪼개서 관리해주는게

표준라이브러리의 malloc() 함수와 new 함수입니다.

int* a = new int(); /* new 가 관리하는 페이지 메모리의 일부분을 할당 받음. 커널로부터 직접 메모리를 할당받는것이 아님 */
 
delete a;           /* new에게 해당 메모리를 반환함. 커널에게 반환하는 것이 아님. */
                    /* 절대로 여기서 delete [] 를 호출하면 안됨!                  */
 
std::cout < < *a < < std::end;
/* 미정의 동작.
   1) 페이지를 반환한 경우                              : segment fault가 발생
   2) new/malloc이 아직 해당 공간을 할당 안해줬을 경우  : 값이 그대로
   3) new/malloc이 해당 공간을 할당 해 줬을 경우        : 값이 바뀌어 있을 가능성이 매우 높음
*/

또, new 하셨으면 delete 하셔야 합니다.

(delete [] 호출하시면 안됩니다. new []에 대응되는 함수입니다.)

해당 코드는 미정의 동작을 일으킵니다.

minyoung347의 이미지

twinwings님 자세한 설명 감사합니다.
질문했던 것 이상으로 많이 배우고 갑니다.

댓글 달기

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