※ 함수포인터를 처음으로 다루는 사람은 조금 어려울 지도 모르겠습니다. 좀 어렵더라도 C, C++에서 많이 이용되는 테크닉이니 익히는 건 필수이겠지요?

6.2.2 절에서 다른 함수의 인자로 함수를 전달하는 것을 보았다.
함수에 대해서 우리가 할 수 잇는 것은 그 함수의 주소를 취하거나, 실행하는 것 밖에는 없다.
함수에 대한 포인터를 인자로 전달하고 역참조 연산자를 통해서 그 포인터에 접근하면 우리는 원래의 함수에 접근하는 것이 가능하다.

~cpp 
int (*fp)(int);
		
int next(int n)
{
	return n+1;
}
fp = &next;
fp = next;		// 상기의 2가지 표현 모두 next함수의 포인터를 fp에 대입하는 것이 가능하다.
		
int i = 0;
int n =1;
		
i = (*fp)(i);
i = fp(i); 		// 마찬가지로 이 2개의 표현모두 유효한 표현이된다. 
 

6.2.2절에 존재하는 write_ayalysis의 선언구문을 살펴보도록 하자.

~cpp 
void write_analysis(std::ostream& out, const std::string& name,
                    double analysis(const std::vector<Student_info>&),
                    const std::vector<Student_info>& did,
                    const std::vector<Student_info>& didnt);		
 

상기에서 3번째 매개변수를 살펴보도록 하자.

~cpp double analysis(const std::vector<Student_info>&)
 

C++은 상기와 같은 표현으로 매개변수를 지정하더라도 이를 자동으로 다음과 같은 형으로 자동 형 변환시킨다.

~cpp double (*analysis)(const std::vector<Student_info>&)
 

따라서 우리가 일반적으로 사용하는 함수의 표현만으로도 매개변수로 함수를 전달시키는 것이 가능한 것이다.
하지만 이러한 자동 형 변환은 함수의 리턴형에는 적용되지 않는다. 따라서 함수를 리턴하는 경우에는 명식적으로 포인터임을 나타내야할 필요가 있다.

~cpp 
//올바른 표현
typedef double (*analysis_fp)(const vector<Student_info>&);
analysis_fp get_analysis_ptr();		// 이와 같이 이용하는 것이 가능합니다.
 
//올바르지 않은 표현
double (*get_analysis_ptr()) (const vector<Student_info>&);
 

상기의 코드에서 프로그래머가 원한 기능은 get_analysis_ptr()을 호출하면 그 결과를 역참조하여서 const vector<Student_info>&를 인자로 갖고 double 형을 리턴하는 함수를 얻는 것입니다.
그렇지만 언뜻보기에도 코드가 2번째의 경우 코드가 상당히 복잡하다는 것을 알 수 잇습니다.
이런식의 문법은 많이 사용되지는 않습니다. (Addition 1에서 설명합니다.)
함수 포인터는 흔히 다른 함수의 인자로 이용된다.

~cpp 
template<class In, class Pred>
In find_if(In begin, In end, Pred f) {
	while (begin != end && if f(*begin))		//여기서 Pred는 Pred(*begin)이 의미를 갖는 모든 타입이 가용합니다.
		++begin;
	return begin;
}

bool is_negative(int n) {
	return n<0;
}

vector<int>::iterator i = find_if(v.begin(), v.end(), is_negative);		// &is_negative 를 사용하지 않는 이유는 자동형변환으로 포인터형으로 변환되기 때문임. 
 

배열(Array)
표준 라이브러리가 아닌 기본언어의 일부로서 하나 이상의 같은 타입의 객체들로 이루어진 시퀀스입니다. 단 배열 요소의 갯수는 컴파일 시에 알 수 있어야합니다.
배열은 클래스 타입이 아니기 때문에 배열의 크기를 나타내는 size_type과 같은 요소는 없습니다. 대신에 C Standard Definition 이하 <cstddef> 에 size_t로 지정된 unsigned 타입으로 배열의 크기를 사용해야합니다.

~cpp 
const size_t NDim = 3;
const size_t PTriangle = 3;
double coords[NDim];
double coords1[PTriangle];
 

상기와 같은 표현은 const로 지정된 변수로 변수를 초기화하기 때문에 컴파일시에 그 크기를 알 수 있다. 또한 상기와 같은 방식으로 코딩을 하면 coord에 의미를 부여할 수 잇기 때문에 장점이 존재한다.
또한 배열의 이름은 그 배열의 요소의 첫번째 요소를 가리키는 포인터형으로 초기화 되기 때문에 배열과 포인터는 밀접한 상관 관계를 갖고 잇다.

~cpp 
*coord = 1.5;			//coord 배열의 첫번째 요소를 1.5로 할당한다. 즉, coord[1] = 1.5; 와 동일한 표현이 된다. 
 

포인터도 일종의 반복자이다. 이사실에서 배열의 포인터를 이용한 접근을 생각해볼 수 잇다.
coord가 coord의 0번째 요소를 가르키므로

coord+1	1번째 요소
coord+2	2번째 요소
coord+3	3번째 요소. 배열에서는 유효하지 않지만 포인터 그 자체로는 유효한 포인터이다.
coord+4	유효하지 않은 포인터
coord-1	-1번째 요소. 배열에서는 유효하지 않지만 포인터 그 자체로는 유효한 포인터이다.

~cpp 
vector<double> v;
copy(coords, coords + NDim, back_inserter(v)); 
 

coord+NDim 은 coord의 마지막 요소에서 1개가 더 지난 값을 가리키므로 상기의 표현은 유효한 표현식이다.
p, q가 같은 배열의 요소들의 포인터라면, p-q는 p와 q사이에 있는 요소들의 거리를 나타내는 정수가 된다.
그러나 이 차이를 나타내는 값은 구현 시스템 마다 다를 수 잇고, 음수가 나타내는 경우가 있기 때문에 <cstddef>에는 ptrdiff_t라는 약칭을 통해서 그 데이터 형을 제공한다.
a가 n개 요소의 배열이라면, a+i가 유효하기 위해서는 0<=i<=n, a+i가 a의 요소를 가리키기 위한 필요 충분 조건은, 0<=i

포인터는 임의 접근 반복자이다. 따라서 vector와 같이 임의 접근이 된다.
만약 p가 요소의 m번째 요소를 가리킨다면 pn은 m+n번째 요소를 가리킨다. (요소의 주소가 아니라 요소를 가리킨다.)

STL의 컨테이너들과는 달리 배열은 초기화에 있어서 다른 문법을 제공한다.
이 문법을 사용함으로써 배열의 초기화시에 사용자가 명시적으로 배열의 크기를 나타내지 않아도 된다.

~cpp 
const int month_length[] = {
	31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31
};		// 윤년은 무시 
 

상기의 예제에서 month_length의 배열의 크기를 명시적으로 나타내지 않았다는 사실에 유의. 대신에 컴파일러가 초기화된 갯수에 맞추어서 배열을 할당한다.

파일의 입출력을 위해서 iostream을 파일 입출력에 맞도록 상속시킨 ofstream, ifstream객체들을 이용한다. 이들 클래스는 <fstream>에 정의 되어있다.
<fstream>에서 사용하는 파일 이름은 char* 형이며, string 타입이 아니다. 이는 fstream library 가 만들어진 시기가 STL이 만들어진 시기 보다 앞서기 때문이다.

~cpp 
//copy_file.cpp
#include <fstream>
#include <string>

using std::endl;
using std::getline;
using std::ifstream;
using std::ofstream;
using std::string;

int main()
{
	ifstream infile("in");
	ofstream outfile("out");

	string s;

	while (getline(infile, s))
		outfile << s << endl;
	return 0;
}
 

만약 파일의 이름으로 string 형을 이용하고 싶다면 string형의 멤버함수인 c_str() 을 이용해서 사용하는 것이 가능하다.

~cpp 
string file("out");
ifstream infile(file.c_str());
 

~cpp 
//concat_files.cpp
#include <iostream>
#include <fstream>
#include <string>

using std::cerr;
using std::cout;
using std::endl;
using std::getline;
using std::ifstream;
using std::string;

int main(int argc, char **argv)
{
	int fail_count = 0;
	// for each file in the input list
	for (int i = 1; i < argc; ++i) {
		ifstream in(argv[i]);

		// if it exists, write its contents, otherwise generate an error message
		if (in) {
			string s;
			while (getline(in, s))
				cout << s << endl;
		} else {
			cerr << "cannot open file " << argv[i] << endl;
			++fail_count;
		}
	}
	return fail_count;
}
 

단순한 프로그램이므로 설명은 생략함. 한번 쳐보자.

객체의 타입을 T, 갯수를 음이아닌 정수 n이라 가장하고, 메모리 상에 동적으로 할당하기 위해서는

~cpp 
new T[n]
 

와 같은 표현을 이용하면 된다.
이렇게 배열로 할당되었을때 리턴되는 값은 T* 형으로 그 배열의 첫번째 요소의 포인터가 된다.
배열의 요소는 디폴트 생성자로 초기화된다.
이렇게 생성된 배열의 요소는 delete[] 키워드로 해제가 가능하다.

~cpp 
char* duplicate_chars(const char* p) {
	size_t length = strlen(p) + 1;
	char* result = new char[length];
	
	copy(p, p+length, result);
	return result; 
 

간단한 소스이므로 설명생략