関数オブジェクト呼び出し方 (ID:72698)

名前

ホームページ(ブログ、Twitterなど)のURL (省略可)

本文 提示例題は http://www.geocities.jp/ky_webid/cpp/library/018.html まあ答えは既に出ているとおり「同じ」なのだが、なぜ同じかを解説してみるテスト 関数オブジェクトという名称があまりにも適切すぎるため、 わかっている人間は言い換えようとも思わないわけだ。だが、 わからない人間には何のことだかさっぱりわからん・・・ということで。 関数オブジェクト＝関数のように振舞うオブジェクト ≒関数のように振舞う変数 と書き換えると、ある程度わかりやすくなるかな？ （オブジェクトのうちの１つに変数がある） 関数のように振舞う「変数」だから、ごく普通に変数を作ることができる int i; // のように int 型の変数を作るのと同じく Random r; // のように「関数のように振舞う変数」を作っていい。 random_shuffle(..., r); のようにその変数を渡しても何の問題もない。 元発言者氏は（Random r; を除去して）random_shuffle(..., Random()); と書くべきではないか？ という疑問を持っているのだろう。この場合 r を再利用していないので、どっちでもいい。 --- 以下もうちょっと高度な解説 オブジェクトという単語/文言は抽象的過ぎてわかりにくい。 この単語を、ある観点から大きく２つに分類してみる。 「名前のあるオブジェクト」 「名前のないオブジェクト」（一時オブジェクト） int i, j, k; と書くと変数 i j k が作られ、どれも [名前のあるオブジェクト] だ。 先ほどの例での Random r; も r という [名前のあるオブジェクト] を作っている。 k=i+j+1; という式を考えてみよう。 この式の中には [名前のないオブジェクト] が現れている。 i+j というの演算途中の一時的結果も int 型のオブジェクトなわけだ。 この [名前のないオブジェクト] が一時的に [コンストラクト] されている。 次に、この [名前のないオブジェクト] +1 という演算が行われる。 この演算結果もまた [別の、名前のないオブジェクト] なわけだ。 最後に [別の、名前のないオブジェクト] の値を k に代入し、 ２つの [名前のないオブジェクト] ２つが [デストラクト] される。 というのが C++ 的考え方。 [名前のないオブジェクト] とは演算中に一時的に作られ、不必要になったとき即処分される [もの] 。 一時オブジェクトともいう。 [名前のあるオブジェクト] とは { 中で作ると対応する } まで存在する [もの] 。 ([もの]＝オブジェクトである。＝変数 と考えてさほど間違いではない) random_shuffle(..., Random()); と書くと、この Random() は一時オブジェクトの生成になる。 名前のない変数 Random() は 式文の終了の ; 到達時点でデストラクトされる。 つまり再利用することができない。 Random r; と書くと、これを括る } 到達まで r は存在し続けるので、 （その必要があれば） r を再利用できる。 という違いは、ある。 関数オブジェクトという文言を使うときはたいてい [一時オブジェクト] として使うので 多くのサンプルでは Random() のように使っているわけだ。