code cat

아래 내용은 Android Framework 분석을 위한 C++ 강의를 정리한 내용으로 사용된 모든 소스는 강의에서 나옴을 밝힙니다.

 

개발환경:

Visual Studio 2010 Express

 

참고하기에 좋은 문서/책:

문법: Effectiv c++

template c++ template programming

디자인 패턴 : GoF's 디자인 패턴

 

visual c++ 개발환경에서 기본적인 빌드/실행: 

build                  : F7

build + execute   : ctrl + F5

 

1. 헬로 월드

#include <iostream.h> // 1988년 표준화 이전 헤더 #include <iostream> // 1988 표준화 이후 헤더 using namespace std; int main() { int a = 10; printf("hello\n"); //c의 표준 출력. stdio.h cout << "hello" << endl; // c++ 표준 출력 = cout 사용. iostream cout << a << endl; //endl => '\n'의 의미입니다. cout.operator<<(a); // cout << a 와 동일한 의미.. // 즉 cout은 객체입니다. cout << endl; endl( cout ); // 위 줄과 동일합니다. endl은 함수입니다. return 0; }

 

Visual Studio 2010 Express에서 리소스 부분의 .cpp 파일을 클릭해서 빌드에서 제외 하면 컴파일을 안 시키고 다른 소스를 계속 추가해서 실험해 볼 수 있음.

 

 

2. 함수 오버로딩

console에서 컴파일을 할 때, 리눅스의 경우 gcc를 사용하지만, 윈도우는 cl.exe를 사용하며 다음과 같이 컴파일 한다.

cl filename.cpp

cl filename.cpp /FAs  //assembly 소스를 만들어 달라고 요청

 

이제 오버로딩을 보자.(asm파일을 쉽게 보기 위해, iostream은 제외했다)

//#include <iostream> //using namespace std; // 주제 1. c와는 다른 c++ 함수 - 함수 오버로딩. 19 ~ 20 page // 1. 개념 : 인자의 개수나 인자의 타입이 다르다면 동일 이름의 함수를 2개 이상 // 만들 수 있다. // 2. 장점 : 일관 된 인터페이스를 구축 할 수 있다. // (만드는 사람은 2개의 함수를 만들지만 사용자는 한개처럼 보인다.) // 3. 원리 : name mangling - 컴파일러가 컴파일 시간에 함수이름을 변경하는 현상 int square( int a ) //컴파일시 이름이 바뀐다. int square_int( int a ) 처럼 이름을 변경한다. { return a * a; } double square( double d ) // double square_double( double d ) { return d * d; } int main() { int n = square(3); // square_int(3) double d = square(3.3); //cout << n << endl; //cout << d << endl; }

 

asm파일을 열어보면, 오버로딩 된 함수에 대한 이름이 각기 다른 것을 알 수 있다. (함수오버로딩의 결과물)

; Listing generated by Microsoft (R) Optimizing Compiler Version 16.00.30319.01 TITLE D:\Andy\20120423\0423\함수오버로딩.cpp .686P .XMM include listing.inc .model flat INCLUDELIB LIBCMT INCLUDELIB OLDNAMES PUBLIC ?square@@YAHH@Z ; square ; Function compile flags: /Odtp ; File d:\andy\20120423\0423\함수오버로딩.cpp _TEXT SEGMENT _a$ = 8 ; size = 4 ?square@@YAHH@Z PROC ; square ; 12 : { push ebp mov ebp, esp ; 13 : return a * a; mov eax, DWORD PTR _a$[ebp] imul eax, DWORD PTR _a$[ebp] ; 14 : } pop ebp ret 0 ?square@@YAHH@Z ENDP ; square _TEXT ENDS PUBLIC ?square@@YANN@Z ; square EXTRN __fltused:DWORD ; Function compile flags: /Odtp _TEXT SEGMENT _d$ = 8 ; size = 8 ?square@@YANN@Z PROC ; square ; 17 : { push ebp mov ebp, esp ; 18 : return d * d; fld QWORD PTR _d$[ebp] fmul QWORD PTR _d$[ebp] ; 19 : } pop ebp ret 0 ?square@@YANN@Z ENDP ; square _TEXT ENDS PUBLIC __real@400a666666666666 PUBLIC _main ; COMDAT __real@400a666666666666 CONST SEGMENT __real@400a666666666666 DQ 0400a666666666666r ; 3.3 ; Function compile flags: /Odtp CONST ENDS _TEXT SEGMENT _d$ = -16 ; size = 8 _n$ = -4 ; size = 4 _main PROC ; 22 : { push ebp mov ebp, esp sub esp, 16 ; 00000010H ; 23 : int n = square(3); // square_int(3) push 3 call ?square@@YAHH@Z ; square add esp, 4 mov DWORD PTR _n$[ebp], eax ; 24 : double d = square(3.3); sub esp, 8 fld QWORD PTR __real@400a666666666666 fstp QWORD PTR [esp] call ?square@@YANN@Z ; square add esp, 8 fstp QWORD PTR _d$[ebp] ; 25 : ; 26 : //cout << n << endl; ; 27 : //cout << d << endl; ; 28 : } xor eax, eax mov esp, ebp pop ebp ret 0 _main ENDP _TEXT ENDS END

보다시피 int 인자를 가진 함수는 ?square@@YYHH@Z 이고, double 인자를 가진 함수는 ?square@@YANN@Z라고 보인다.

 

그럼 다음과 같이 하면 어떨까?

// a.h 의 내용 int square(int ); // a.c 의 내용 int square( int a ) { return a * a; } //함수 오버로딩2.cpp 의 내용 #include "a.h" int main() { square(3); }

 

컴파일 시에는 각기 컴파일을 한 뒤 링크 과정을 거침으로, c와 c++의 혼합 컴파일 시, c에 정의된 함수는 오버로딩을 지원하지 않는 관계로 name mangling(컴파일 시 같은 오버로딩함수들의 이름을 다른 심볼 이름으로 교체)현상이 없고, 이로 인해 cpp파일의 컴파일 후, 링킹 과정에서 위에서 본 바와 같이 ?sqaure형식의 심볼이름을 찾으려다 못 찾아서 에러가 난다.

 

 

이를 해결하기 위해선, 함수 앞에 extern "c"를 붙여 주면 된다.

그러나, 만약 오버로딩함수2.cpp를 c로 변형한다면 역시나 에러가 난다. 이는 extern "C"는 cpp에서만 지원하기 때문이다.

 

 

// 변형된 a.h의 내용 // extern "C" : C++ 컴파일러에게 특정 심볼 (변수 이름, 함수이름)을 c처럼 컴파일 해달라는 지시어.. // 모든 C++ 컴파일러는 __cplusplus라는 매크로를 정의하고 있습니다. #ifdef __cplusplus extern "C" { #endif int square(int ); #ifdef __cplusplus } #endif // 결론 c/c++ 에서 모두 사용가능한 라이브러리를 구축할 때는 // 1. 라이브러리 자체는 .c로 해서 name mangling을 막아야 한다. // 2. 헤더는 위처럼 조건부 컴파일을 통해서 라이브러리 사용자가 // c/c++ 모두에서 사용할 수 있게 한다.

cpp에서는 ifdef __cplusplus내의 모든 함수에 extern "C"가 붙고 c의 경우 제거된다.

 

결론은, header파일에 __cplusplus 라는 매크로를 쓰고, c나 cpp에서 부르면 된다. 

 

우리가 자주 쓰는 stdio.h에서도 이와 같은 매크로가 있어서 우리가 c 이던  c++ 이던, 상관하지 않고 쓸 수 있다.

 

추가적으로 overloading 된 함수를 찾는 순서는 다음과 같다.

1. Exactly matching.                        인자와 정확히 들어 맞는 type이 있는 함수를 먼저 찾는다.

2. Promotion.                                  인자가 변환될 때 data의 손실이 없는 타입을 가진 함수가 있는지 찾는다.

3. Standard Conversion                   암시적인 변환이 가능한 타입을 가진 함수를 찾는다.

4. user defined conversion operator  사용자가 만든 변환 연산자가 있으면 변환 후, 함수를 호출한다.

5. '...'                                           가변인자를 갖는 함수는 type에 무관하므로 이를 호출한다.

 

3. 인라인함수

 

//#include <iostream> //using namespace std; //주제 2. C와 다른 C++ 함수 특징 - 인라인 함수 21 ~ 22 page // 1. 함수 호출의 원리 : 마지막 인자부터 스택에 넣고 함수로 jmp // 2. 인라인 함수 : 진짜 호출이 아니라 기계어 코드를 통째로 치환하는 것. // 3. 장점 : 빠르다. // 단점 : 목적 코드의 크기가 커진다 ==>> 함수 크기가 작다면 오히려 // 목적 코드의 크기는 줄어든다. // 4. 인라인 치환을 위한 컴파일러 옵션이 필요. VC는 ==> cl a.cpp /Ob1 // 5. 인라인과 함수 포인터 이야기 int Add( int a, int b ) { return a + b; } inline int Add2( int a, int b ) { return a + b; } int main() { int n = Add( 1, 2 ); // push 2 // push 1 // call Add => 물론 C++이라면 mangling됩니다. int n2 = Add2( 1, 2 ); // 이 순간 이 위치에 Add2의 기계어 코드로 치환. }

위의 코드를 console에서 컴파일 할 경우, 그냥 하면 inline이 컴파일러에 의해 무시된다.  제대로 할려면 다음과 같이 해보자.

 

cl.exe fileName.cpp /Ob1 /FAs  // 인라인을 쓰겠다고 컴파일러에게 알려준다. 그럼 이렇게 생성된 asm파일을 보면,

 

; Listing generated by Microsoft (R) Optimizing Compiler Version 16.00.30319.01 TITLE D:\Andy\20120423\0423\인라인함수.cpp .686P .XMM include listing.inc .model flat INCLUDELIB LIBCMT INCLUDELIB OLDNAMES PUBLIC ?Add@@YAHHH@Z ; Add ; Function compile flags: /Odtp ; File d:\andy\20120423\0423\인라인함수.cpp _TEXT SEGMENT _a$ = 8 ; size = 4 _b$ = 12 ; size = 4 ?Add@@YAHHH@Z PROC ; Add ; 11 : { push ebp mov ebp, esp ; 12 : return a + b; mov eax, DWORD PTR _a$[ebp] add eax, DWORD PTR _b$[ebp] ; 13 : } pop ebp ret 0 ?Add@@YAHHH@Z ENDP ; Add _TEXT ENDS PUBLIC _main ; Function compile flags: /Odtp _TEXT SEGMENT _n2$ = -8 ; size = 4 _n$ = -4 ; size = 4 _main PROC ; 21 : { push ebp mov ebp, esp sub esp, 8 ; 22 : int n = Add( 1, 2 ); // push 2 push 2 push 1 call ?Add@@YAHHH@Z ; Add add esp, 8 mov DWORD PTR _n$[ebp], eax ; 23 : // push 1 ; 24 : // call Add => 물론 C++이라면 mangling됩니다. ; 25 : int n2 = Add2( 1, 2 ); // 이 순간 이 위치에 Add2의 기계어 코드로 치환. mov eax, 1 add eax, 2 mov DWORD PTR _n2$[ebp], eax ; 26 : } xor eax, eax mov esp, ebp pop ebp ret 0 _main ENDP _TEXT ENDS END

 

우리가 일반적으로 inline을 쓸 경우, 속도가 빨라지나 obj 파일이 커질거라고 생각하나, 간단한 inline함수의 경우 오히려 크기가 작아진다.(asm파일을 참조하라)

 

console이 아닌 Visual C++ IDE에서 컴파일 시, debug옵션이면 inline을 거부하나, release일 경우 inline옵션으로 컴파일 되어 진다.

 

 

inline함수를 쓸 때 주의해야 할 점이 있다. 다음을 보자.

//b.h의 내용 void foo(); // 일반적으로 헤더에는 함수의 선언을 하게 되지만, // 인라인 함수의 경우에는 헤더에 구현부를 작성하게 된다. //void goo(); inline void goo() {} //b.cpp 의 내용 void foo() {} //inline void goo() {} //인라인함수2.cpp의 내용 #include "b.h" //주제 2-2. 인라인 함수와 linkage... int main() { foo(); goo(); }

보통 헤더파일에 선언을 하고, 소스파일에서 구현을 하기 때문에, 인라인함수도 그런 식으로 한다면? 빌드 에러난다.  왜냐면, 인라인 함수에 대한 치환은 컴파일러가 담당하므로, 컴파일시, 인라인 함수에 대한 정의가 완전하게 나와야 한다.  즉 인라인 함수에 대한 정의가 치환 시점 전에 있거나, include되는 헤더파일 안에 있어야 한다.  다시 말하면, inline함수는 internel linkage를 갖는다.

 

참고로,

 

internal linkage : 임의의 심볼이 선언된 컴파일 단위(파일)에서만 사용가능.  internal linkage는 주로 헤더에 만든다.

예) static 전역변수, 인라인 함수, 매크로 상수/함수, 함수/클래스 템플릿, 구조체

 

external linkage : 임의의 심볼의 프로젝트내의 모든 컴파일 단위에서 사용가능

예) 전역변수, 일반함수

 

예제)

template<typename T> T square(T a){return a * a;}    internal linkage

int a;                                                                     다른 파일에서 extern int a;라고 선언 후 접근 가능

static int b;                                                             다른 파일에서 접근 불가.

const int c = 0;                                                       .c에서는 external

                                                                            .cpp에서는 internal

#define    MAX 10                                                   internal linkage

struct People {};

 

 

4. 함수 템플릿

 

c의 경우 필요시 코드 생성 기술을 다음과 같이 활용한다.

// 동일한 코드가 반복된다면 코드 생성 기술을 활용하자. // c: 매크로 기술, 단점 : 전처리기가 처리 - 안정성이 떨어진다. // 컴파일러는 컴파일시 Max(1,2)에서 int가 필요한 사실을 알지만 // 전처리기는 모른다. #define MAKE_MAX( T ) T Max(T a, T b) {return a < b ? b : a; } MAKE_MAX(int) MAKE_MAX(double)

 

 

C++에서는 함수 tempalte을 써서 컴파일러가 처리할 수 있다.

// C++ 언어 : 함수 template - 컴파일러가 처리 template<typename T> T Max( T a, T b ) { return a < b ? b : a; } //필요한 만큼 생성함 Max(1 , 2); Max(1.2, 3.2);

 

반면에 template은 잘못 사용하면, 다음과 같은 결과가 생긴다.

// template 은 잘못 사용하면 목적코드가 아주 커지게 됩니다. // "Code Bloat"라고 합니다. short s1 = 1, s2 = 2; Max( s1, s2 ); // 1. Max(short, short)생성 <- 답 // 2. Max(int, int)로도 충분하니까 Max(int)사용

 

 

한편 다음과 같은 경우는 어떨까?

cout << Max( 'A', 65) << endl; // 1. T가 int // 2. T가 char // 3. 에러 cout << Max<int>('A', 65) << endl; // ok T가 int가 된다. 

T가 결정되어서 함수 템플릿이 진짜 함수가 되는 과정: "인스턴스화"라고 하고 "명시적 인스턴스화" 와 "암시적 인스턴스화"가 있다.

이렇게 위와 같이 <int>로 프로그래머가 정한 것을 명시적 인스턴스화 라고 한다.

암시적 인스턴스는 컴파일시 컴파일러에 의해 결정되는 것을 말한다.

 

 

5. 캐스팅

한마디로 C에서의 캐스팅은 위험하다.  물불 안 가리고 캐스팅을 하기 때문이다.  자세한 내용은 밑의 소스 코드를 참조하자.

#include <iostream> using namespace std; // 주제 4. C++ explicit casting - 안드로이드 소스에 아주 많이 나옵니다. // 1. C의 캐스팅은 비 이성적(unresonable)이다. 아주 위험하다. // 2. 그래서 C++에서는 4개의 캐스팅 연산자를 만들었다. // (A) static_cast : // (B) reinterpret_cast : // (C) const_cast : // (D) dynamic_cast : RTTI, 상속 때 설명 int main() { const int c = 0; int n2 = 10; const int* p2 = &n2; //int* p3 = p2; //error ... int* = const int*이므로. int* p3 = const_cast<int*>(p2); //이럴 때 const_cast를 사용한다. int* p = &c; //될까? 암시적으로 에러! // 하지만 명시적 캐스팅은 된다. 혼란스러워 진다. int* p = (int*)&c; int* p = static_cast<int*>*&c); //error int* p = reinterpret_cast<int*>(&c) // erorr. 거의 되지만 상수를 제거할 수 없다.. int* p = const_cast<int*>(&c); //ok 객체의 상수서을 제거할 때 사용 // 단 int*에 담을 수 있었지만 값을 변경하는 코드는 사용하지 말아야 한다. // 사용시 undefined 현상 발생 *p = 20; cout << c << endl; // 0 } /* int main() { double d = 3.4; int n = d; //암시적 변화 허용, 단 warning은 나올 수 있다. int n = static_cast<int>(d); //ok //double* p = &n; //암시적 변화이 허용되지 않는다. 포인터끼리의 암시적 변환은 불가능 //double* p = (double*)&n; //명시적 변환을 사용하면 된다. // 코드에서는 우선 static_cast로 쓰고, 문제가 생길 시, 확인 후 // 정말 필요한 코드일때만 reinterpret_cat 사용 double* p = static_cast<double*>(&n); // error. 위험하다. double* p = reinterpret_cast<double*>(&n); // ok. 대부분 성공 *p = 2.1; //잘못된 메모리를 침범하게 된다. } */

 

//---------------------------------------------

출처: http://ikpil.com/262

static_cast 는 C 스타일 캐스트와 똑같은 의미와 형변환 능력을 가지고 있는, 기본적인 캐스트 연산자입니다. C 스타일의 그것과 구실이 똑같다 보니 받는 제약도 똑같습니다. 예를 들어,struct 를 int 타입으로 바꾼다든지 double을 포인터 타입으로 바꾸는 일은 이것으로 할 수 없습니다. 게다가, static_cast 는 표현식이 원래 가지고 있는 상수성(constness)을 떼어버리지도 못합니다. 이런 일을 하는 캐스트 연산자인 const_cast 가 따로 있는 것을 보면 짐작할 수있지요.
나머지 세 가지의 C++ 캐스트 연산자는 좀 더 구체적인 목적을 위해 만들어졌습니다. const_cast는 표현식의 상수성이나 휘발성(volatileness)을 없애는 데에 사용합니다. 이 연산자가 쓰여진 소스를 만나면, 아, 이 개발자는 const 나 volatile로 선언한 변수라든지 이런 타입의 값을 내는 표현식에서 이런 특성만 바꾸고 싶어하는구나 라고 생각하면 되겠습니다. 이러한 프로그래머의 의도는 컴파일러에 의해서 더욱 확실해집니다. 즉, 상수성이나 휘발성을 제거하는 것 이외의용도로 const_cast 를 쓰면 통하지 않습니다.

구체적인 용도를 가진 C++ 캐스트 연산자 두 번째는 dynamic_cast 입니다. 이 연산자는 상속
계층 관계를 가로지르거나 하향시킨 클래스 타입으로 안전하게 캐스팅할 때 사용합니다. 말하자
면, dynamic_cast 는 기본 클래스의 객체에 대한 포인터나 참조자의 타입을 파생(derived) 클래
스, 혹은 형제(sibling) 클래스의 타입으로 변환해 준다는 것입니다3). 캐스팅의 실패는 널 포인터
(포인터를 캐스팅할 때)나 예외(참조자를 캐스팅할 때)를 보고 판별할 수 있습니다

네 가지 C++ 캐스트 연산자의 마지막은 reinterpret_cast 입니다. 이 연산자가 적용된 후의변환 결과는 거의 항상 컴파일러에 따라 다르게 정의되어 있습니다. 따라서, 이 연산자가 쓰인소스는 직접 이식이 불가능합니다.
reinterpret_cast 의 가장 흔한 용도는 함수 포인터 타입을 서로 바꾸는 것입니다. 예를 들어, 어떤 특정한 타입의 함수 포인터를 배열로 만들어 놓았다고 가정합시다.
typedef void (*FuncPt r) ( ) ; // FuncPtr 은 인자를 받지 않고
/ / void를 반환하는 함수에 대한
/ / 포인터입니다.

FuncPtr funcPtrArray[10]; // funcPtrArray는 10개의 FuncPtr로 만들어진 배열입니다.
이때 다음의 함수에 대한 포인터를 funcPtrArray에 넣어야 할 피치 못할 사정이 생겼습니다.
int doSomething();
간단할 것 같지만 캐스팅을 하지 않으면 절대로 안 됩니다. 왜냐하면 doSomething은 funcPtrArray에 넣기에는 타입이 맞지 않기 때문입니다. 이 배열에 들어가는 함수는 void를 반환하지만, doSomething은 i nt 를 반환하지 않습니까?
funcPtrArray[ 0 ] = &doSomething ; / / 에러입니다! 타입불일치이군요.
reinterpret_cast 를 쓰면 컴파일러에게 이 일을 강제로 시킬 수 있습니다.
funcPtrArray[ 0 ] = / / 이것은 컴파일됩니다.
reinterpret_cast <FuncPtr> (&doSomething) ;

 

//----------------------------------------------

 

6. 레퍼런스

 

변수 선언을 했다고 치자.

그럼 메모리가 할당되고, 이를 만약 포인터 변수를 써서 assign했다 치자. 그럼 역시 변수를 가리키는 주소를 가지는 포인터가 메모리에 생긴다.  이와는 달리 레퍼런스의 경우, 별다른 메모리를 차지않고 기존 메모리에 대한 별명이라고 보면 된다.

 

#include <iostream> using namespace std; // 주제 5. 레퍼런스 변수 이야기, 교재 11 ~ 13 page // 1. 개념 : 기존 메모리에 별명(또 다른 이름) 을 부여 하는 것. // 2. int main() { int n = 10; //변수 선언=> 메모리 할당의 의미. //(크기, 저장 타입이 필요 => data type) int* p = &n; int& r = n; //기존 메모리에 대한 별명 r = 20; cout << n << endl; //20 //------------------------- //int& r2; // error 초기값이 있어야 한다. int*& rp = p; // 포인터 변수의 별명 int&* pr = &r; // 별명의 주소... error.(별명은 메모리에 주소를 차지하지 않기 때문) int(*f)(void) = main; int(&r)(void) = main; // 함수도 별명을 만들 수 있다. }

 

 

다음을 보자.

#include <iostream> using namespace std; // 주제 5-1. 참조와 함수 리턴값 - 아주 중요합니다. struct Point { int x; int y; }; Point p = {1,2}; Point foo() { return p; } int main() { foo().x = 10 // 될까요? cout << p.x << endl; // 얼마 나올까요? }

 

답은 다음과 같다.

#include <iostream> using namespace std; // 주제 5-1. 참조와 함수 리턴값 - 아주 중요합니다. struct Point { int x; int y; }; Point p = {1,2}; Point foo() { return p; } int main() { foo().x = 10; // OK cout << p.x << endl; // 1 }

foo()를 호출 했을 때, p를 리턴하는데, 이는 임시객체를 리턴한다.  그러므로, 위에 정의된 구조체에 영향을 미치지 않는다.

당연히 p.x를 출력하면, 1이 출력된다. 

 

한편 임시객체를 리턴할 경우, 생성자/소멸자 등이 불리우고 메모리가 잡히기 때문에 성능에 큰 영향을 미친다. 

그럼 어떻게 해야 할까?  다음과 같이 레퍼런스를 사용하면 된다.

 

#include <iostream> using namespace std; // 주제 5-1. 참조와 함수 리턴값 - 아주 중요합니다. struct Point { int x; int y; }; Point p = {1,2}; //Point foo() //임의의 함수가 객체를 값으로 리턴하면 임시객체가 생성된다. Point& foo() //임시 객체를 만들지 않게 한다. { return p; } int main() { foo().x = 10; // OK cout << p.x << endl; // 10 }

 

정리하자면,

임의의 함수가 값을 리턴하면,
     1. built in type인 경우, (ex: int foo() )       : 상수로 리턴된다.
     2. user defined type인 경우, (ex: Point foo() ) : 임시객체가 리턴된다.

 

어떤 함수의 리턴값이 참조라면
     1. built in type  (int& foo) : 함수 호출을 lvalue에 놓게다는 의미
         foo() = 10;
     2. user type ( Point& foo() ) : 임시객체를 제거하겠다는 의미!

 

 

참조 변수와 함수 인자

여기서 정리하고 가는 단계로 다음의 코드를 보자.

#include <iostream> using namespace std; // 주제 5-3. 참조 변수와 함수 인자 - 12 page void inc1( int a ) { ++a; } void inc2( int* p ) { ++(*p); } void inc3( int& r ) { ++r; } int main() { int x = 1, y = 1, z = 1; inc1(x); // call by value inc2(&y); // ok call by pointer inc3(z); // call by reference cout << x << endl; cout << y << endl; cout << z << endl; } 

주의할 점은 inc3(z)로 z를 패스하는데, &z를 패스하지 않도록 주의한다.

이렇게 보면 레퍼런스로 받는게 코드 복잡성에서도 나아보이고, 메모리 구조면에서도 좋아보이나, 코드 가독성 측면에서 포인터가 더 좋다.( inc3(z)를 본다면, z가 변할지 안 변할지 알아보기 힘들다. 그러나 inc2(&y)를 보면 딱 봐도 y가 변할 거라는게 보이지 않는가?)

 

그러나 레퍼런스 인자를 쓸 일이 있는데 다음을 보자.

struct Data { int buf[10000]; }; //void foo( Data a ) // call by value : 절대 인자값을 변경하지 않을 것이라는 약속 void foo( const Data& a ) // 하지만 메모리 사용량이 2배로 증가 // const T& 를 사용하자. - 12 page 아래쪽 { } int main() { Data x = 10; //int x = 10; foo( x ); // foo는 절대로 x값을 변경하면 안된다. cout << x << endl; // 반드시 10이 나와야 한다. }

 

 

한가지 재밌는 것은, 다음의 경우다.

// 다음 중 좋은 코드는 ? void foo( int a ) {} // 1 void foo(const int& a) {} //2

위에서 막 레퍼런스를 얘기했으니 2번 같겠지만, 1번이다.  int같은 경우 overhead가 크게 일어날 경우도 없고, const T&를 쓸 경우, 컴파일러가 최적화를 할 수 가 없다.

 

혼돈스러우니, 정리하자면,

함수가 값을 변경하지 않는다면 const T&를 사용하자.
  (A) built in type의 경우 : call by value 가 좋다.

         foo( int a )
  (B) user type 의 경우    : const T& 를 사용하자.
         foo( const Data& a )

 

 

 

7. Namespace

 

다음과 같이 코드를 짜다보면 같은 이름을 쓰고 싶은데 중복될까봐 이런 식으로 쓰게 되는 경우가 있는데,

#include <iostream> using namespace std; // 주제 6. namespace 이야기 .. -9 page void GraphicInit() { } void AudioInit() { } int main() { }

이걸 매번 확일 할 수도 없고, 그래서 사용할 수 있는게 namespace이다.

 

#include <iostream> using namespace std; // 주제 6. namespace 이야기 .. -9 page namespace Graphic { void Init() { } } namespace Audio { void Init() { } } int main() { Graphic::Init(); // 1. 완전한 이름을 사용한 호출 using Graphic::Init; // 2. using 선언 (declaration) Init(); // Graphic::Init()호출 using namespace Graphic; // 3. using 지시어 (directive) // Graphic안의 모든 요소를 namespace 이름없이 사용가능. }

이렇게 같은 함수 이름을 중복해서 써도, namespace만 정의 잘하면 문제 없이 쓸 수 있다.

 

참고로, #include <iostream.h> 에는 cout, endl이 전역공간에 있다. 그러나 <iostream>의 경우,

namespace std

{

   // cout, endl이 여기 있음.

}

와 같이 되어 있다.

 

한가지 더 알면 좋은 거 추가...

namespace Graphic { struct Point { }; void Init( const Point& p ) { } } int main() { Graphic::Point p; // 1 Init(p); // 2 //퀴니그 룩업(인자기반탐색) : 함수를 찾을 때 인자가 포함된 // namespace를 자동으로 검색 }

 

 

8. OOP 개념

 

다음의 코드를 보자.

#include <iostream> using namespace std; // 주제 7. OOP개념 - 29 ~ 30 page // 복소수 2개의 합을 구하고 싶다. void Add( int ar, int ai, int br, int bi, //IN parameter int* sr, int* si ) //OUT parameter { *sr = ar + br; *si = ai + bi; } int main() { int xr = 1, xi = 1, yr = 2, yi = 2; int sr, si; Add( xr, xi, yr, yi, &sr, &si ); }

 

 

복소수를 리턴하기 위해 복잡하게 리턴을 하는 것보다, 구조체를 만들어 보자.

#include <iostream> using namespace std; // 주제 7. OOP개념 - 29 ~ 30 page // 복소수 2개의 합을 구하고 싶다. // 필요한 타입을 먼저 설계하자 struct complex { int real; int image; }; complex Add( complex c1, complex c2 ) { complex c3 = { c1.real + c2.real, c1.image + c2.image }; return c3; } int main() { complex c1 = { 1, 1 }; complex c2 = { 1, 1 }; complex c3 = Add( c1, c2 ); }

 

 

다음은 OOP개념을 익히기 위해 기본적인 C의 방법부터 코드를 수정하는 과정이다.

#include <iostream> #include <stack> // 우리가 아래 만든 스택과 비슷한 것이 이미 C++표준에 제공됨 using namespace std; int main() { stack<int> s1; s1.push(10); s1.push(20); // 20 , 10 모두 꺼내서 출력 cout << s1.top() << endl; s1.pop(); } // STL : C++ 표준라이브러리 로서, list, vector, stack등이 있습니다. // 안드로이드 : STL를 사용해도 되고, 자체적으로 vecotr와 list를 제공합니다. // 원리는 2개 모두 비슷하게 설계되어 있습니다. /* #include <iostream> using namespace std; // 스택을 만들어 보자. // 버전 8. 최적화... template<typename T> struct Stack { private: T* buff; int index; public: Stack( int sz = 10 ) { index = -1; buff = new T[sz]; } ~Stack() {delete[] buff;} void push( const T& n ) { buff[++index] = n; } // ! // pop이 제거와 리턴을 동시에 하면 최적화 할 수 없다. //T pop() { return buff[--index]; } //제거하는 함수와 리턴하는 함수를 분리하자 //리턴 전용 T& top() { return buff[index]; } //제거 전용 void pop() { --index; } }; int main() { Stack<int> s1(100), s2; // 클래스 템플릿의 객체를 생성하는 방법. s1.push(10); s1.push(20); cout << s1.top() << endl; s1.pop(); } */ /* // 버전 7. 다양한 타입을 저장할 수 있도록 하자. = template 도입 template<typename T> struct Stack { private: T* buff; int index; public: Stack( int sz = 10 ) { index = 0; buff = new T[sz]; } ~Stack() {delete[] buff;} void push( T n ) { buff[index++] = n; } T pop() { return buff[--index]; } }; int main() { Stack<int> s1(100), s2; // 클래스 템플릿의 객체를 생성하는 방법. s1.push(10); cout << s1.pop() << endl; } */ /* // 버전 6. 내부 자료구조의 변경 - 스택의 크기를 사용자가 변경할 수 있게 하자. struct Stack { private: int* buff; int index; public: Stack( int sz = 10 ) { index = 0; buff = new int[sz]; } ~Stack() {delete[] buff;} void push( int n ) { buff[index++] = n; } int pop() { return buff[--index]; } }; int main() { Stack s1(100), s2; s1.push(10); cout << s1.pop() << endl; } */ /* // 버전 5. 객체 초기화를 자동으로 - 생성자 도입 struct Stack { private: int buff[10]; int index; public: // 생성자 : 객체를 생성하면 자동으로 호출되는 함수 ! 구조체(클래스)이름과 동일한 함수. Stack() { index = 0; } void push( int n ) { buff[index++] = n; } int pop() { return buff[--index]; } }; int main() { Stack s1, s2; s1.push(10); cout << s1.pop() << endl; } */ /* // 버전 4. 외부에서는 내부 data를 알 필요 없다. // 외부의 잘못된 사용으로 객체가 불안해 지는 것을 막자. struct Stack { private: int buff[10]; int index; public: void init() { index = 0; } // 멤버 함수. 멤버 data를 바로 접근 가능 void push( int n ) { buff[index++] = n; } int pop() { return buff[--index]; } }; int main() { Stack s1, s2; s1.init(); s1.push(10); s1.index = 100; //실수했다! cout << s1.pop() << endl; } */ /* // 버전 3. 상태를 나타내는 data와 상태를 조작하는 함수를 묶어서 타입을 만들자. struct Stack { int buff[10]; int index; void init() { index = 0; } // 멤버 함수. 멤버 data를 바로 접근 가능 void push( int n ) { buff[index++] = n; } int pop() { return buff[--index]; } }; int main() { Stack s1, s2; s1.init(); s1.push(10); cout << s1.pop() << endl; } */ /* // 버전 2. stack이라는 타입을 먼저 설계하자. - 구조체 토입 struct Stack { int buff[10]; int index; }; void init( Stack* s ) { s->index = 0; } void push( Stack* s, int n ) { s->buff[s->index++] = n; } int pop( Stack* s ) { return s->buff[--s->index]; } int main() { Stack s1, s2; init(&s1); push(&s1, 10); cout << pop(&s1) << endl; } */ /* // 버전 1. C 언어의 경우 - 문제점 stack이 2개 필요하다면? int buff[10]; int index = 0; void push( int a ) { buff[index++] = a;} int pop() { return buff[index]; } // --가 앞? 뒤? int main() { push(5); push(4); cout << pop() << endl; } */

 

 

 

9. 생성자 정리

#include <iostream> using namespace std; // 주제 9. 생성자 정리 - 49 ~ 50 // 1. struct : 접근 지정자 생략시 public // class : 접근 지정자 생략시 private // 2. 사용자가 1개도 만들지 않으면, 컴파일러가 자동으로 한개 만들어준다. // 인자가 없는 생성자 => 디폴트 생성자라고 한다. // 3. 하나의 생성자에서 다른 생성자를 호출 할 수 없다. class Point { int x; int y; public: Point() { x = 0, y = 0, cout << "생성자1" << endl; } Point( int a, int b ) { x = a, y = b, cout << "생성자2" << endl; } }; class Rect { Point p1; Point p2; public: Rect() { cout << "Rect()" << endl;} }; int main() { Rect r; // 이순간 호출되는 함수를 모두 생각해보세요. Point(), Rect(), endl // Point()가 먼저 불리고, 그 후 Rect()가 불림 } /* int main() { Point p1; p1.Point(); // 생성자의 명시적 호출. error p1.~Point(); // 소멸자의 명시적 호출. //하지만, 생성자를 명시적으로 호출 할 수 있다. new(&p1) Point; // placement new 라는 기술! Point p2(1, 2); } */ //---------------------------------------------------------------------- /* void foo( Point p ){} Point p(1, 1); //객체를 만든 후 foo(p); //함수로 보내도 되고... foo( Point(1, 1) ); //함수를 호출하면서 객체를 만들어서 인자로 전달하는 모양 // 클래스 이름(); 이름 없는 객체생성 */