송재근 님이 쓰신 글 :
: #include <iostream.h>
:
: int main()
: {
:     char* ab = "hello";
:     if (ab == "hello")
:     {
:         cout<<"Hi";
:     }
:     else
:     {
:         cout<<"Nope";
:     }
:     return 0;
: }
:
: 이 소스코드를 실행 하면 문자열 ab를 "hello"로 정해주었으니, "Hi"를 출력하여야 하는데 얘는 자꾸만 "Nope"를 출력하네요. 무슨 문제가 있는 걸까요? 이게 "Hi"를 출력하게 하려면 어떻게 해야 할까요? 도와주세요 ㅠㅠ



답변:


위의 코드는 문법상 전혀 하자가 없는 코드입니다.
컴파일러가 파싱을 완료하면 "hello"는 바이너리 상에서 어떤 위치에 놓여지는 주소인 상수 취급 될 거기 때문인데...

위의 코드에서 Hi가 출력되지 않는 이유는 컴파일러가...


char* ab = "hello";

구문에서의 "hello" 와


if (ab == "hello")

구문에서의 "hello"를 멍청하게 다른 번지에 중복해서 생성하기 때문 입니다.
코드판단 능력 없이, 소스구문에 나타나는 대로 다른 번지로 스트링을 중복 생성하는 거죠.


사람이 생각하면서 어셈블러로 코드를 작성한다면... 멍청하게

tmpSz1 db 'hello', 0
tmpSz2 db 'hello', 0

위와 같이 토씨하나 다르지 않은 스트링에 대해서 중복 생성하는 짓을 하지 않을 겁니다.

실제 질문에 언급된 코드는 static 스트링 테이블을 구성할 때, 요긴하게 쓰여지는 코드패턴이기도 합니다.
strcmp() 쓰지 않고, 포인터 비교만으로 처리 할 수 있으니까요.

컴파일러의 String Pooling 기능과 상관 없이 질문에 언급된 코드가 원하는 대로 동작하려면
clang 포팅 컴파일러나 vc++ 2017 같은 똑똑한 컴파일러를 사용해야 합니다.
토씨하나 다르지 않은 스트링을 다른 번지로 중복 생성하지는 않거든요.

vc++ 2017의 경우에는...
릴리즈 모드로 컴파일 할 경우...

if (ab == "hello")
컴파일러가 위 구문은 당연히 같은 값을 비교하는데 왜 쓸데 없이 이런 코드를 쓰냐고 판단해서
위 구문에 대한 어셈블리 비교코드 생성을 아예 스킵해 버리고 Hi를 출력하는 코드를 바로 생성하기도 합니다.

컴파일러를 바꿔서 쓰세요.
clang 포팅버전이나 vc++2017 로...