int* q= &(x++); 는 왜 에러가 발생하나요?

Raewoo의 이미지

[1]의 아래 예제의 int* q= &(x++);에서 왜 에러가 발생하는지 알고 싶습니다. x++는 왜 좌변값이 아닌가요?

#include
using namespace std;

void f(int x, int y)
{
int j=x=y; // x=y의 값은 대입 연산 후에 x에 대입된 값이다.
int* p= &++x; // p는 x를 가리킨다.
int* q= &(x++); // 에러: x++는 좌변값이 아니다. (x에 저장된 값이 아니다)
int* pp= &(x>y?x:y); // 둘 중에 큰 int 변수의 주소
}

int main(void)
{
f(1,2);
return 0;
}

참고 문헌:
[1] 비야네 스트롭스트룹 저, 곽용재 역, C++ 프로그래밍 언어 (특별판), ch.6.2.1, p. 195, ISBN 9788945072047. (http://kangcom.com/sub/view.asp?sku=200505090002)
[2] 좌변값 (http://www.ktword.co.kr/abbr_view.php?id=501&m_temp1=2677&nav=1)

gilgil의 이미지

흥미로운 얘기네요. 직접 컴파일하니 에러가 뜨는군요.

pseudo code를 써 보자면 다음과 같습니다.

class int
{
  int& operator ++()    {                  (*this)++; return *this; } // ++a   : Prefix Increment
  int  operator ++(int) { int res = *this; (*this)++; return res;   } // a++   : Suffix Increment
}

++x : x를 증가시키고 x 그 자체가 반환된다.
x++ : x의 복사 객체가 반환된다.

int* q= &(x++);

에서는 x의 복사 객체는 순식간(?)에 소멸되기 때문에 복사 객체의 포인터는 존재하지 않다고 보는 겁니다.
Raewoo의 이미지

.

Raewoo의 이미지

달아주신 댓글을 보고 이해하였습니다. 감사합니다.

같은 설명이지만 [1]의 6.2.5 절에서 다음과 같은 구절도 찾아 볼 수 있었습니다.

"/*...*/ 반면, x++의 결과는 조금 주의해야 한다. 이 값은 증가되기 전의 x 그대로이다. 예를 들어 y=x++는 x와 같은 타입의 변수 t를 도입해서 다시 쓰면 y=(t=x,x+=1,t)와 같다."

bluekyu의 이미지

[1] 책에 설명 외에도, 표준안에 따르면 prefix increment의 결과는 lvalue이고, postfix increment의 결과는 prvalue라고 합니다.
(http://stackoverflow.com/questions/3572753/difference-between-cs-expression-and-cs-expression)

그리고 C에서는 둘 다 lvalue가 아니라서, &(++x) 하고 &(x++) 모두 에러가 발생하네요.

/*** Signature ******************
* blog: http://blog.bluekyu.me/ *
********************************/

댓글 달기

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