[질문]연산자 재정의에서 질문이요...
글쓴이: nidle / 작성시간: 수, 2003/12/24 - 3:42오전
전역함수를 이용한 사칙연산자 중복에서요
class Complex{
double& re(){return m_r;} <--실수부 변수 m_r
double& im(){return m_i;} <--허수부 변수 m_i
};
. . . . . . .
Complex operator+(const Complex& z,const Complex& w)
{
Complex t;
t.re()= z.re() + w.re();
t.re()= z.im() + w.im();
return t;
}
이렇게 되는데요 책에선는 잘못된표현이라고 하는데
re(),im()은 레퍼런스로 리턴하기 때문에 상수 멤버 함수로 만들수없어서 그렇다고 설명을해주는데 도무지 이해가 안되서요,,
이것을 되게 하려면
double &re(){return m_r;}
double re()const{return m_r;}
duble &im(){return m_i;}
double im()const{return m_i;}
이렇게 정의해야한다고 하더라구요 쉽게 설명점 부탁드립니다
Forums:
자세한 설명은 Myers 의 [More] Effective C++ 시리즈
자세한 설명은 Myers 의 [More] Effective C++ 시리즈에 잘 나와 있습니다. 꼭 참고하시기 바라구요.
그리고 C++ 표준 라이브러리에 템플릿으로 complex 를 지원하니까 이것도 헤더 열어서 보시면 도움이 되리라 봅니다.
저도 초보입니다.지금까지 무엇이 문제일까 한참 처다보다 알았습니다.
저도 초보입니다.
지금까지 무엇이 문제일까 한참 처다보다 알았습니다.
도저히 오류가 없는것 같았는데 있었군요 ^^
사실 저도 초보라 이것이 맞는지 틀린지 모르겠습니다.
고수들이 검증해줬으면 하는데
여기서 문제가 되는건 바로
t.re() = 부분입니다. ^^
오른쪽을 한번 볼까요?
z. re() + w.re()에서 나오는 것은 각각 double (m_r, m_i의 변수형)이 되겠죠?
이것이 더해져서 새로운 임시!상수가 만들어집니다. 그런데 t.re()의 반환형은 레퍼런스여서
이 임시상수를 참조해버리는 무서운 일이 일어나려고 하고있습니다.
c++에서 다음과 같은 구문이 안되는거 알고계시죠?
int & a =3;
바로 이 오류와 같습니다.
그래서
오른쪽은 (z.re()나 w.re()) 는 레퍼런스를 돌려주는 함수가 필요하고
왼쪽은 레퍼런스가 아닌 멤버객체를 돌려주는 함수가 필요합니다.
즉 4개의 함수를 만들어주면
왼쪽은 double re(); 함수를 call하게 될 것입니다.
다른 고수님들의 지적 기다립니다.
C++, 그리고 C++....
죽어도 C++
제 생각에는 complex t에서 t에 아무 값도 안 들어 간다고 생각합
제 생각에는 complex t에서 t에 아무 값도 안 들어 간다고 생각합니다.
위에 있는 소스처럼 할 경우 return은 복사 객체를 return하기 때문데 실제적이으로 t 클래스에는 아무 값도 넣을 없는 거죠 아래 처럼 참조를 return 할경우에만 값이 들어갈거라고 생각 하는데요
음 제가 확실히 틀렸군요
쪽팔립니다 ㅠ.ㅜ
위에 글 지울까 하다가 기냥 제 실력이므로 과감하게
지우지 않았습니다.
ㅋ 방금 VC 7.0에서 돌려본 결과
double &im()버전이 아닐경우
l-value가 아니라고 //즉-_- 복사되어 상수가 돌려지므로
나오면서 컴파일 에러가 나더군요
그리고 &im()버전은 무리없이 돌아가는데
그럼 무엇이 문제인가요?
혹시 complex operator +(const complex& z, const complex&w)
중에서 const와 &(레퍼런스)를 동시에 적용할때 상수 멤버함수로
적용이 안된다는 건가요?
PS. 방금 디버거로 위의 double &re() 와 double re()const 버전을
모두 포함해서 돌려보았는데 호출되는건 &re()함수 뿐이던데요
^^ 제 생각에는 진짜로 틀린게 없을거 같은데...[/b]
==============================================
고쳤습니다 ^^
다시 제대로 operator +를 구현해서 돌려보았는데
위의 문제가 맞군요
만약 여기서 double &re()만 있다면
그리고 z는 const 객체, w도 const객체...
그런데,
t.re() = z.re() + w.re()
위의 z.re()에서 레퍼런스를 리턴했기때문에 컴파일 오류가 뜨는군요
t.re() = z.re()++; 이렇게 멤버변수가 변하는 것을 방지하기 위해
//레퍼런스라면 z.re()가 불려지면 z값이 변할수 있으므로
레퍼런스와 const는 같이 쓰지 못하게 하는 것 같습니다.
디버거로 확인결과
t.re()는 레퍼런스로 z.re()와 w.re()는 double re()const로 불려집니다.
C++, 그리고 C++....
죽어도 C++
댓글 달기