C++とは

インストール

インストールはC言語のページを参照して欲しい

"クラス・テンプレート・例外処理"以外の違い

関数のプロトタイプ

C :引数を取らない場合、voidを明示しなければならない
C++:引数を取らない場合、何も記載しないでも良い(voidを明示しても良い)
C  :関数のプロトタイプ宣言はしなくてもよい
C++:別ファイル内や呼出し元よりも下で関数が定義されている場合、プロトタイプ宣言が必須

戻り値

C :戻り値がある場合、値を返さなくてもコンパイル可能
C++:戻り値がある場合、必ず何らかの値を返さないとコンパイルエラー

変数の宣言位置

C :関数などのブロックの先頭で宣言しなければならない(注)
C++:任意の位置で宣言可能
(注)C99規格対応により、任意位置での宣言がサポートされた

for文

C++:for文の初期化部分で変数が宣言可能、かつ、スコープはループ内(注),(注2)
(注)VC2003の場合、"言語拡張"オプションで変更可能、かつ、デフォルトでは、スコープはループ内に収まらないので注意。
(注2)VC6の場合、スコープはループ内に収まらず、かつオプションで変更も不可能である。

(例)

for ( int i = 0 ; i < 5 ; i++ ){
  printf("%d", i);
}
i++; // ここではiは見えない。エラー。(注に記した場合を除く)

コメント

// による1行コメントが追加(注)
(注)C99規格対応により、Cにも // がサポートされた

新しい型

新しい型として、真偽値を表す bool が追加されました。
代入できる値は true または false のいずれかです。true は真を、falseは偽を表します。

bool b1 = true;
bool b2 = false;

if(b1){ ... } // 実行される

if(!b2){ ... } // 偽の否定は真なのでこれも実行される

if(b2){ ... } // 実行されない

新しい演算子

新しい演算子として、型の情報を返す typeid が追加されました。(詳しくは後述)

キャスト

dynamic_cast、static_cast、reinterpret_cast、const_cast が追加

参照

参照型や、引数の参照渡しが追加(詳しくは後述)

特定キーワードの省略

C++では、struct, enum, classのキーワードは省略できることがある。

enum _sex{male, female, unknown};

struct human{
 int age;
 char* name;
 _sex sex; // Cなら enum _sex sex; と書かねばならないが、enum を省略できる
};

int main(){
 human Taro; // Cなら struct human Taro; と書かねばならないが、struct を省略できる
 return 0;
}

// 引数、返り値の型もキーワードを省略できる
human* set_default(human* hm){
 hm->age = 0; hm->name = NULL; hm->sex = unknown;
 return hm;
}

パラメーター名の省略

C++では、使わないパラメーターは名前を省略することができる。

#include <stdio.h>

int foo(int){ // 使わないパラメーターにわざわざ int dummy などと名前付けしなくてよい
 return 10;
}

int main(){
 printf("%d\n", foo(0));
 return 0;
}

注)これはC++の新機能なのですが、C/C++両用のコンパイラの場合、Cモードでコンパイルしても省略可能な場合が多いです。

簡単なプログラム

まずは簡単なプログラムの説明をします。 以下のコードは画面に文字の表示をするプログラムでしょう。

#include<iostream>

using namespace std;//stdという名前空間を使用する

int main()//メイン関数。すべての始まり
{
	cout << "Hello,Work" <<endl;//Hello,Workと画面に表示する
	return 0;//システムに0を返す。
}

説明はコメントに書いてあるとおりです Hello,Workと書いてあるところを他の文字列にして試してみてください。 他の文字列を表示することができます。

オブジェクト指向プログラミング

C++はクラス単位でプログラミングを行う言語です。

そもそもクラスって何?という方に簡単な説明をすると クラスは変数や関数を一まとめにしたものです。

何のためにクラスを使うかの?というのを説明すると プログラムの変更をしたいときその変更を最小限に抑えるためです。 クラスにまとめることによりプログラムそのものを書き換えることなくクラスを書き換えるだけでプログラムを変更できます では上の文字表示プログラムをクラスを使って書いて見ましょう。 (*注意:実際に文字を表示するだけの小さなものをクラスにまとめるのは馬鹿のすることです。)

#include<iostream>

using namespace std;

class PrintCharactor {//PrintCharactorというクラスを宣言
public:
	void PutChar(char *);//PrintCharactorというクラスにPutCharという関数がありますよということを示す
};

void PrintCharactor::PutChar(char *str) {
	cout << str <<endl;//strを表示
}

int main() {
	PrintCharactor a;//aという名前でクラスを宣言して使えるようにする
	a.PutChar("Hello,Work");//PutChar関数を使って画面に表示
	return 0;
}

これで画面に表示できます。 かなり意味不明ですね。 次にこれの説明をします。

プログラムの詳細

先ほどの上のプログラムをコンパイルするとHello,Workが表示されると思います。 ではそのプログラムの詳細を示して行きたいと思います。

#include<iostream>

この部分はiostreamというファイルを取り込みます。こうすることでいろいろな関数を使えるようになります。

class PrintCharactor {//PrintCharactorというクラスを宣言
public:
	void PutChar(char *);//PrintCharactorというクラスにPutCharという関数がありますよということを示す
};

この部分はPrintCharactorというクラスを宣言します。 public:というのはこれをつけることで外からもアクセスできますということを示します。 これがないと外からアクセスできません。

int main() {
	PrintCharactor a;//aという名前でクラスを宣言して使えるようにする
	a.PutChar("Hello,Work");//PutChar関数を使って画面に表示
	return 0;
}

この部分はメイン関数です。 PrintCharactor a;はPrintCharactorクラスをaという名前で作ります。 a.PutChar("Hello,Work");この部分はaという名前で宣言されたクラスのPutcharという関数を呼びます。

これによって文字が表示できます。

関数オーバーロード

同じ名前で中身の違う関数を複数定義できます。
関数をオーバーロードするには、関数の呼び出し時に関数が区別できないと、つまり関数の引数の型が違わないとだめです。

//int 11 を返す関数 f()
int f(){
    return 11;
}

//a+b を返す関数 f(int,int)
int f(int a,int b){
    return a+b;
}

//こういうことも可能です
int f(int a,int b,int c){
    return f()+a+b+c;
}

ただし、無闇に多くの関数をオーバーロードすると乱雑になりやすいので注意しましょう。

演算子のオーバーロード

演算子の機能を、関数としてプログラマが定義できます。
これは、自前で定義したクラスの演算を分かりやすくしたい時などに便利です。 演算子のオーバーロードをするには、キーワードoperatorを使います。

//メートル
class Metre{
public:
    float v;
    Metre(float n){ v = n; }
};

//キロメートル
class KMetre{
public:
    float v;
    KMetre(float n){ v = n; }
};

//メートルとキロメートルの加算
Metre operator + (const Metre &m,const KMetre &km){
    return Metre( m.v + (km.v/1000.0f) );
}

KMetre operator + (const KMetre &km,const Metre &m){
    return KMetre( (m.v*1000.0f) + km.v );
}

//..........

Metre  X(100);
KMetre Y(4);

//クラスは違うが、演算は可能
Metre  Z=X+Y;
KMetre W=Y+X;

参照

参照とは、エイリアスとも呼び、「変数につけられた別名」です。

typeid演算子

C++では型の情報を表す新しい演算子、typeid が追加されました。
sizeof と同様にして、typeid(int) や typeid(変数名) のように使えます。

typeid 演算子が返すのは const type_info& であり、type_info クラスには次のメンバがあります(コンストラクタ等は省略)

class type_info {
public:
 bool operator==(const type_info& rhs) const; // 二つの type_info が等しいか
 bool operator!=(const type_info& rhs) const; // 二つの type_info が等しくないか
 int before(const type_info& rhs) const;      // 引数で与えられた type_info が、自分の表す型からの派生型であるか
 const char* name() const;                    // 型の名前
 const char* raw_name() const;                // 型の修飾子付きの名前、ただし符号化されていて人間には読めない
};

typeid は次のように使います。

#include <iostream>
//#include <typeinfo> // type_info クラスが宣言されているが、通常 iostream から読み込み済みであるので不要

using namespace std;

class A{};

int main(){
 A a, aa;
 int b;
	
 cout << typeid(a).name() << endl;
 cout << typeid(a).raw_name() << endl;

 // a の型と aa の型が等しいか?
 if( typeid(a) == typeid(aa) ){
  cout << "typeid(a)==typeid(aa)" <<endl;
 }

 // a の型と b の型が等しいか? 	
 if( typeid(a) == typeid(b) ){
  cout << "typeid(a)==typeid(b)" <<endl;
 }

 return 0;
}

実行結果

class A
.?AVA@@
typeid(a)==typeid(aa)


インライン関数

C++にはインライン関数というものがあります。
簡単に言うと、「(コンパイラが)関数のコードを、その関数を呼び出した場所にそのまま貼り付ける」といった感じです。(通常の関数呼び出しは別の場所にかかれたコードへジャンプする)

~定義方法~
インライン関数を定義するには、関数定義の頭に inline キーワードを付けます。

inline void inc(int* x){ // 定義の頭に inline を指定
 (*x)++;
}

int main(){
 int a = 0;
 inc(&a);
 return 0;
}

これをコンパイルすると、次のコードをコンパイルしたのと(ほぼ)同じアセンブリコードが生成されます。

int main(){
 int a = 0;
 int* x = &a; // この部分が inc(&a) に相当
 (*x)++;      // この部分が inc(&a) に相当
 return 0;
}

ちょうど inc の中身が inc を呼び出した位置に展開された形になり、これを「インライン展開」と呼びます。

~インライン関数のメリット~

~インライン関数のデメリット~

~インライン関数を使う上での注意~

テンプレート関数

テンプレート関数とは、使う側の立場から見れば「引数、返り値の型が決まっていない関数」です。
例えば、xの絶対値を返す関数を作りたいと考えます。
すると、「引数、返り値ともにdouble(数値型で一番ビット幅が大きい)で定義して、キャストして使う」、「関数のオーバーロードを使う」などの方法がうかびます。
前者はどう考えてもスマートではないし、long long(C99で追加)などdouble以上のビット幅をもつ整数型に対応できません。また後者は使いたい型すべてについて同じコードを何回も書かねばなりません。

そこで登場するのがテンプレート関数です。
テンプレート関数を使えば、一度コードを書けばそれをintにもfloatにもdoubleにもlong longにも適用できます。

~テンプレート関数の定義方法~
まず具体例を見て、それから解説します。
xの絶対値を返すテンプレート関数は次のように定義します。

template <typename T> T abs(T x){
 T abs_val;
 if(x >= 0) abs_val = x;
 else abs_val = -1*x;
 return abs_val;
}

まず一行目について

template     // これはテンプレート関数ですよ、という指示
<typename T> // この宣言で以後 T という識別子(名前)は、型の名前(typename)のことですよ、という意味
T            // 返り値の型。
abs(T x)     // 関数の名前、引数の型、引数の名前
{            // 関数定義開始

二行目

T            // 変数の型
abs_val;     // T 型の変数 abs_val を宣言した

あとは見たままで、結局のところ x の絶対値を返します。

この関数を呼び出す時には、

 abs(-1.0);
 abs(-500);

のようにして呼び出します。
するとコンパイラがコンパイルするときに自動で

float abs(float x){ float abs_val; ... }

int abs(int x){ int abs_val; ... }

を生成してくれます。
つまり、コンパイラから見るとテンプレート関数は「コード生成のテンプレートとなる関数」なので、テンプレート関数と呼ばれるわけです。

~補足~
引数の型が決まっていない といっても、T と書いた型はすべて T で共通です(つまり、abs(-500)を呼び出したならその関数内のT型変数はすべてint型になる)
そこで、二種類以上の違った型を引数に取りたいときは次のようにします。

// 型T1のほうが型T2よりもビット幅が大きいなら true 、そうでなければ false を返す
template <typename T1, typename T2> bool bit_large(T1 a, T2 b){
 if( sizeof(a) > sizeof(b) ) return true;
 else return false;
}

int main(){
 char a; int b; double c;
 bit_large(a, b); // T1 は char, T2 は int になり、false が返る
 bit_large(c, b); // T1 は double, T2 は int になり、true が返る
 return 0;
}

また、以下のような特徴があります。

ちなみに、最初に定義した abs を独自に定義した型に対して適用するとどうなるでしょうか。
例えば

struct Point{
 int x; int y;
};

int main(){
 Point p = {1, 2};
 abs(p);
 return 0;
}

のように。
可能性は「 x >= 0 でおかしなことが起こり暴走する」か、「そもそもコンパイルが通らない」かのどちらかです。
正解は後者で、暴走したりすることはありません。コンパイラが Point abs(Point x){ ... } を生成し、コンパイルしようと試みて失敗します。
逆に言えば、 Point に int operator >= (int) が定義されているならば、このテンプレート関数は独自に定義した型に対しても適用できるということで、非常に汎用性の高い関数を定義することができます。

C++からCの関数を呼び出す方法

C++はCの(ほぼ)上位互換であり、同じコンパイラでコンパイルできます。
しかし、C++からCの関数を呼び出すには注意が必要です。

例えば、 A.c というソースコードと、A.c にある関数が宣言された A.h というヘッダがあったとして、次のような B.cpp を作ったとします。

 #include <iostream>
 #include "A.h"
 
 int main(){
  std::cout << a("foo_bar"); // A.hで char* a(char* s); と宣言されているとする
  return 0;
 }

この状態で A.c と B.cpp をプロジェクトに追加して、VisualC++6.0でビルドすると、

 B.obj : error LNK2001: 外部シンボル ""char * __cdecl a(char *)" (?a@@YAPADPAD@Z)" は未解決です

と表示され、ビルドできません。

では、これを解決する方法を説明します。

とりあえず解決法

以上をふまえて、修正された A.h は次のようになります。

 #ifdef __cplusplus
  extern "C" {
 #endif
 
 char* a(char* s); // 元々あった宣言文たち
 ......
 
 #ifdef __cplusplus
  }
 #endif

これでめでたくビルドに成功します。

解説

なんでこんなことが必要なのか知りたい人のために解説です。

まず、C、C++のコードはコンパイラによってアセンブリ言語に変換されます。
その際、各関数にあたる部分のコードのはじめには、ラベルという目印が付きます。
(例えば、たいていのCコンパイラなら a という関数のはじめには _a というラベルがつき、a を呼び出す時には call _a などという命令を呼びます。)

このラベルのつけ方が、CとC++で異なるために、extern "C" を使う必要が発生します。
C++では、同じ名前の関数でもオーバーロードが可能なため、 _a という簡単なラベルではなく、関数名、引数の型 の情報を持ったラベル名が使われます。
つまり、 B.cpp の a の呼び出し部分は

 call _acharp

のようになるわけです。(これは例で、実際のラベル名は符号化されてぱっと見ても引数の型がわかるようにはなっていませんが。)
しかし A.c はCモードでコンパイルされているので、関数aのラベルは _a となっており、 _acharp というラベルは見つからずエラーとなります。

では extern "C" はどのような意味があるかというと、「この関数はCのラベル名で探してね」 とコンパイラに指定する働きがあります。
このおかげで B.cpp の a の呼び出し部分が call _acharp ではなく

 call _a

となり、めでたく関数aを見つけることができて呼び出せる、というわけです。

注)以上を考えると、 extern "C" を使わなくても A.c をC++モードでコンパイルすればいいということに気づきます。実際、拡張子を .cpp に変えるかコンパイルオプションでC++としてコンパイルすれば、 A.h を修正しなくてもすみます。しかしあらかじめコンパイル済みのライブラリなどを使う(または配布する)ときにはそうはいかないので、extern "C" を使います。

ほんのり多態性の紹介

例えばこんなクラスを定義(Character.h)したとして

class Character
{
public:
//	virtual void Say() = 0;		// 一身上の都合により純粋仮想関数にはしない
	virtual void Say() {	std::cout << "セリフが無いんじゃよ" << std::endl;};
};
class Hero : public Character
{
public:
	void	Say()	{	std::cout << "悪が栄えた試しなし!" << std::endl;		}
};
class Zako : public Character
{
public:
	void	Say()	{	std::cout << "イー!" << std::endl;	}
};
class Boss : public Character
{
public:
	void	Say()	{	std::cout << "やっておしまい!" << std::endl;	}
};

こんな感じだね。よく初心者サイトに載ってる例は。 でも、これだと、どんなメリットがあるのか良くわかんないんだよね。

#include<iostream>
#include "Character.h"
using namespace std;
int main()
{
	Hero	a;
	Zako	b;
	Boss	c;
	a.Say();
	b.Say();
	c.Say();
	return 0;
}

実行例

c:\>Sample
悪が栄えた試しなし!
イー!
やっておしまい!

ちなみに、こんなことはしちゃだめね。

#include<iostream>
#include<list>
#include "Character.h"
using namespace std;
int main()
{
	Hero	a;
	Zako	b;
	Boss	c;
	list<Character>	aryCharacter;
	aryCharacter.push_back(a);
	aryCharacter.push_back(b);
	aryCharacter.push_back(c);
	for(list<Character>::iterator iter = aryCharacter.begin(); iter != aryCharacter.end(); ++iter){
		iter->Say();
	}
	return 0;
}

動的生成すると、ちゃんと動作するんだけど、メモリリーク対策が面倒くさい。 この例ではたった3行だけどね。

#include<iostream>
#include<list>
#include "Character.h"
using namespace std;
int main()
{
	Hero	a;
	Zako	b;
	Boss	c;
	list<Character*>	aryCharacter;
	aryCharacter.push_back(new Hero);
	aryCharacter.push_back(new Zako);
	aryCharacter.push_back(new Boss);
	for(list<Character*>::iterator iter = aryCharacter.begin(); iter != aryCharacter.end(); ++iter){
		(*iter)->Say();
	}
	for(list<Character*>::iterator jter = aryCharacter.begin(); iter != aryCharacter.end(); ++iter){
		delete *jter;
	}
	return 0;
}

実行例

c:\>Sample
悪が栄えた試しなし!
イー!
やっておしまい!

そしてメモリリーク対策としてスマートポインタ(boostライブラリのshared_ptr)を導入してみる。 (STLにはスマートポインタとしてauto_ptrがあるけど、コンテナに入れることは出来ない)
できたー! って思ってテストしたらなんか動作がおかしい…もしかしてメモリリーク? って思ったのでは、せっかくの多態性の恩恵も台無しだから、慣れない内・使えない事情が無いならば、使っとけ!

#include<iostream>
#include<list>
#include<boost/shared_ptr.hpp>
#include "Character.h"
using namespace std;
int main()
{
	typedef boost::shared_ptr<Character>	pChar;
	list<pChar>	aryCharacter;
	aryCharacter.push_back(pChar(new Hero));
	aryCharacter.push_back(pChar(new Zako));
	aryCharacter.push_back(pChar(new Boss));
	for(list<pChar>::iterator iter = aryCharacter.begin(); iter != aryCharacter.end(); ++iter){
		iter->get()->Say();
	}
	return 0;
}

実行例

c:\>Sample
悪が栄えた試しなし!
イー!
やっておしまい!

で、こーなってくると、動的生成部分がもーちょっとなんとかならんかなーて思うんだよね。 戻り値がCharacter*な関数があれば、いろいろ便利になる。 しかし面倒くさくなったので、興味がある人は"factory デザインパターン"(abstractを加えても良い)で ググってくれたまえ!

参考サイト


トップ   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS