Optimized C++ ―最適化、高速化のためのプログラミングテクニック

117

6.5　不必要なコピーをなくす

6.5

　不必要なコピーをなくす

古典的な

C

の

K&R

定義では、直接代入可能なすべてのエンティティは

char

、

int

、

float

およ

びポインタという基本型で

1

つのマシンレジスタに収まるものだった。したがって、

a = b;

のよ

うな代入文は、

b

の値を取り出し

a

に格納するという

1

命令か

2

命令になる、

char

、

int

、

float

のような基本型の代入はまさに効率的だった。

しかし、

C++

においては、効率的でないが単純に見える代入文がある。

a

と

b

が

BigClass

クラ

スのインスタンスなら、代入

a = b;

で、

BigClass

の代入演算子というメンバ関数を呼び出す。代

入演算子は、

b

のフィールドを

a

にコピーするだけの単純なこともありえる。しかし、問題は

C++

関数がなしうるどのようなこともできるということだ。

BigClass

には、コピーするフィールドが

何十個もあるかもしれない。

BigClass

が動的変数を所有するならコピーされて、メモリマネージャ

が呼び出されるかもしれない。

BigClass

が百万エントリの

std::map

を所有したり、百万文字の

char

配列を持つなら、代入文のコストは莫大になる。

C++

では、初期化宣言

Foo a = b;

で、

Foo

がクラスの名前ならコピーコンストラクタと呼ばれ

る別のメンバ関数を呼び出す。コピーコンストラクタと代入演算子とは、密接に関係したメンバ関

数で、

1

つのクラスインスタンスのフィールドを別のクラスインスタンスにコピーするという、ほ ...