함수에서 리턴된 객체의 유효범위

achrom의 이미지

안녕하세요.
다음과 같은 func()에서 리턴된 CTest 객체의 유효범위는 얼마나 될까요?
그리고, 아래와 같이 사용하면 문제가 있을까요?


class CTest
{
public:
    int a, b;
};

CTest func(void)
{
    CTest tmp;
    tmp.a = 10;
    return tmp;
}

int main(void)
{
    CTest tmp;
    tmp = func(); // func()에서 리턴한 CTest를 이렇게 복사해주면 문제가 없을까요?
    printf("a = %d\n", tmp.a);
    return 0;
}

ssggkim의 이미지

위의 예제에서라면 문제는 없지만, member variable의 형에 따라서 문제가 생길 수 있겠지요.
또 객체의 size가 커지게 되면 비효율적일테구요.

ssehoony의 이미지

func 의 로컬변수은 tmp 는 func 함수가 return 됨과 동시에 유효하지 않게 됩니다. (모든 로컬변수가 그러하죠)
하지만 위의 코드 처럼 return 된 변수를 main 의 로컬 변수로 복사 했기 때문에 func 의 tmp 는 유효 범위가 지났지만 main 의 tmp 는 아직 main 이 return 되지 않았기 때문에 유효해서 위의 코드는 유효범위 측면 봤을 때, 전혀 문제가 없는 코드입니다.

변수의 유효성을 고민하신다면 이런식의 코드를 조심해야 합니다.

class CTest 
{ 
public: 
    int a, b; 
}; 

CTest* func(void) 
{ 
    CTest tmp; 
    tmp.a = 10; 
    return &tmp; 
} 

int main(void) 
{ 
    CTest* pTest; 
    pTest = func(); // pTest 는 유효하지 않는 포인터 값을 갖는다.
    printf("a = %d\n", pTest->a); 
    return 0; 
} 

위 처럼 func 가 return 됨과 동시에 tmp 의 포인터는 유효하지 않게 되는데 그 유효하지 않는 포인터 값을 main 의 pTest 에 할당하고 사용하는 것은 문제가 있는 코드입니다.
위의 코드의 경우에는 대부분의 컴파일러에 이상없이 작동하겠지만, 위 코드처럼 사용해서는 안됩니다.

서지훈의 이미지

이런 코드는 당장은 문제가 없겠지만 다른 머신, 다른 컴파일러에서 어떻게 동작을 할지 아무도 장담을 할 수가 없습니다.
그리고 이건 ERROR입니다.
올바르게 수정을 해서 사용을 하세요.

<어떠한 역경에도 굴하지 않는 '하양 지훈'>

#include <com.h> <C2H5OH.h> <woman.h>
do { if (com) hacking(); if (money) drinking(); if (women) loving(); } while (1);

cedar의 이미지

struct Test
{
    int A, B;
    Test(int a = 0, int b = 0): A(a), B(b) {}
};

const Test func(void)
{
    return Test(10);
}

int main(void)
{
    Test tmp = func(); 
    cout << tmp.A << " " << tmp.B << endl; 
        // 출력 결과: 10 0
    return 0;
}

컴파일러의 반환값 최적화(RVO, Return Value Optimization)에 의해 임시 객체가 생기지 않는 장점도 있습니다.

ez8의 이미지

서지훈 wrote:
이런 코드는 당장은 문제가 없겠지만 다른 머신, 다른 컴파일러에서 어떻게 동작을 할지 아무도 장담을 할 수가 없습니다.
그리고 이건 ERROR입니다.
올바르게 수정을 해서 사용을 하세요.

<어떠한 역경에도 굴하지 않는 '하양 지훈'>

문제가 있는 코드 인가요?

저도 복사로 인한 비효율성 말고는 별 문제가 없다고 생각되는데요.

복사 생성자, 대입 연산자가 적절히 구성되어서 복사가 올바르다는 가정이면 별 문제가 없을거라 생각됩니다.

Fe.head의 이미지

전혀이상이 없는 코드 같은데요.

typdef int CTest;

CTest func(void)
{
    CTest tmp;
    tmp = 10;
    return tmp;
}

int main(void)
{
    CTest tmp;
    tmp = func(); // func()에서 리턴한 CTest를 이렇게 복사해주면 문제가 없을까요?
    printf("a = %d\n", tmp);
    return 0;
} 

class CTest 를 int로 바꿔바서 이상이 없으면 전혀 이상이 없는데..
(물론 멤버는 없다고 보고요)

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

서지훈의 이미지

ez8 wrote:
서지훈 wrote:
이런 코드는 당장은 문제가 없겠지만 다른 머신, 다른 컴파일러에서 어떻게 동작을 할지 아무도 장담을 할 수가 없습니다.
그리고 이건 ERROR입니다.
올바르게 수정을 해서 사용을 하세요.

<어떠한 역경에도 굴하지 않는 '하양 지훈'>

문제가 있는 코드 인가요?

저도 복사로 인한 비효율성 말고는 별 문제가 없다고 생각되는데요.

복사 생성자, 대입 연산자가 적절히 구성되어서 복사가 올바르다는 가정이면 별 문제가 없을거라 생각됩니다.


아...

제가... 주소를 넘기는 거랑 착각을 한듯 하군요.
여기선 넘겨 줄 경우 class의 값들만 그대로 넘겨 주니깐 전혀 문제가 없겠군요... ㅡ ㅡ ㅋ

그럼... 다들 나른한 오후 잘들 보내시길...^^

<어떠한 역경에도 굴하지 않는 '하양 지훈'>

#include <com.h> <C2H5OH.h> <woman.h>
do { if (com) hacking(); if (money) drinking(); if (women) loving(); } while (1);

achrom의 이미지

답변 감사합니다.
저도 문제가 없을 것 같아 보였는데, 좀 찜찜해서, 확인차 질문드린 것입니다.
좋은 하루 되세요.

댓글 달기

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