April 30, 2004
鶏が先だと思われ
C++には演算子のオーバーロードという便利な機能があって、+(プラス)や-(マイナス)なども関数として定義することが可能な言語仕様になっています。この前の行列ライブラリ作成の際もこの機能にはお世話になりました。
で、ふと思ったことなのですが、自己改変をするメソッド(例えば+=とか)と、自己改変をしないメソッド(例えば+とか)、どちらの定義が本質的なのでしょうか。
考えてみた結果、前者の定義、すなわち自己改変をするメソッドの定義の方が先にあったほうが都合がよい、つまり本質的ではないかと思います。
以下の例を見てください。この例はメンバ変数がポインタであり、代入演算子やコピーコンストラクタではデフォルトの動作でシャローコピー(アドレスのコピー)しか行われません。
class Hoge{
private:
T *member;
public:
Hoge(T ada){member = new T(ada);}
~Hoge(){delete member;}
Hoge copy(){
Hoge deep_copy(*member);
return deep_copy;
}
Hoge &operator+=(const Hoge &hoge){ //自己改変するメソッド
(*member) += *(hoge.member);
return *this;
}
Hoge operator+(const Hoge &hoge) const{ //自己改変しないメソッド
return (copy() += hoge);
}
};
自己改変するメソッドを先に定義することによって自己改変しないメソッドの定義が簡単にできます。
オブジェクト指向というのは、デフォルトの操作がオブジェクトを増やさない方向にあることもあわせて考えれば、自己改変をすることこそ、メソッドの定義として本質的なのでは。
はい、まさしくそのとおり。
(半端な)OOを効率よく実装するための言語がC++。なので、自己破壊的メソッドをまず先に定義してから、それを利用して非破壊的メソッドを実装するというのが定石です。非破壊的メソッドなら新たにオブジェクト生成せにゃならん分コストがかかるからね。
Stroustrupの著書とかよく読んでみましょう;-)