メッセージってなんでしょうか?

Question

若干ネタ入っていますが。

オブジェクト指向における「メッセージ」が理解できません。

サイトを読んでいる限り、

Person* taro = new Person( "太郎" );
Vegetable* veg = new veg();
taro->eat( veg ); // <- これ

みたいな説明しかないです。(私の探し方が悪いのか?)

でもこれって単に関数を呼び出しているだけでは?

C++の入門サイト(どこだったか忘れた...) では「オブジェクトがメソッドを持っているのではなく、関数ポインタ的なものを保持して呼び出しているだけである」のような説明でした。

そこから考えるとメッセージじゃないでしょ。って思ってしまいます。

それとも Test1クラスがあり、Test2クラスのオブジェクトを保持していて、Test1のオブジェクトを使う方はあたかもTest2にまで影響を与えているように見せることでしょうか?

class Test2{
      public:
              Test2(int num) : num_(num){}
              ~Test2() = default;
              
               int num( void ) const{ return num_; }
               bool update( int code ){
                    // 何らかの通達があり
               }
      private:
               int num_;
};


class Test1{
      public:
               Test1( Test2* t ) : test_(t){}
               ~Test1() = default;
               
               bool update( void ){
                     // ここで独自の処理をして
                     test_->update( 100 ); // 通達
               return true;
               }
      private:
               Test2* test_;
};

// main関数のような呼び出し元にて
Test2* t2 = new Test2(1);
Test1* t1 = new Test1( t2 );
t1->update(); // t1を操作すると
cout << t2->num() << endl; // t2のデータも変わっている
delete ...

のように内部に包括しておいて、呼び出し元( main関数等 ) からすれば複数のオブジェクト間でデータ通信があるように見せる...
ってことでしょうか?

ちょっとわかりにくいです。

言語は問いませんが、基本的に使っている言語はC++なのでC++で書いてます。

質問:どのように「メッセージ」を捉えればいいのでしょうか?

---

[ちょこっと補足]
前者のほうらしいですが、少なくともC++ではメッセージっていうかコマンド(command)とかオーダー(order)じゃないかなと思ったりして...

Answer 1

もともとSmalltalkを使ってアラン・ケイ博士がオブジェクト指向を提唱したとき、メソッド呼び出しはまさしくメッセージをオブジェクトに送ることでした。Smalltalkのオブジェクト指向の流れを組むRubyではオブジェクトにシンボルを渡しているだけという伝統が残っています。

a.f(x)
a.__send__(:f, x)

上の二つはほぼ同じことをしています(細かくはアクセス権を無視するなどの違いはありますが)。

対して、C++はSmalltalkとは全く別の観点でオブジェクト指向を定義したため、本来メッセージは関係ありません。もし、オブジェクトにメッセージを送っていると考えるのであれば、virtualではない関数をオーバーライドしたときの動作が奇妙に見えることでしょう。

#include <iostream>
using namespace std;
struct A {
    void f() { cout << "A#f()" << endl; }
};
struct B : public A {
    void f() { cout << "B#f()" << endl; }
};
int main() {
    auto x = new B();
    A *a = x;
    B *b = x;
    a->f(); // A#f()
    b->f(); // B#f()
}

aもbも同じオブジェクトを指すポインタであるにもかかわらず、呼び出される関数が異なります。メッセージという考えではこの動作を説明することはできません。もし、メッセージであれば下記のCrystalのコードを実行したときのようになるはずです。

class A
  def f
    puts "A#f()"
  end
end
class B < A
  def f
    puts "B#f()"
  end
end
x = B.new
a = x.as(A)
b = x.as(B)
a.f # B#f()
b.f # B#f()

かといって、C++が同じことができないわけでありません。virtualを付ければ、オブジェクト自体にメッセージを送った場合と同じことが可能です。

#include <iostream>
using namespace std;
struct A {
    virtual void f() { cout << "A#f()" << endl; }
};
struct B : public A {
    virtual void f() { cout << "B#f()" << endl; }
};
int main() {
    auto x = new B();
    A *a = x;
    B *b = x;
    a->f(); // B#f()
    b->f(); // B#f()
}

C++のオブジェクト指向の流れを組むJavaでは全てのメソッドについてC++でいうvirtualが付いているのと同じ動作になるようにしました。これによって、内部構造がC++風であっても、メソッド呼び出しはオブジェクトにメッセージを送ることほぼ同じとみなしてもよくなりました。C++を除き、その由来にもかかわらず、ほとんどのオブジェクト指向言語はメソッド呼び出しをメッセージの送信と考えてもさほど大きな問題はでないと考えられます。最近の言語は特にその傾向が高いです(違いが完全になくなったわけではありません)。

なお、Pythonはもっと別の仕組みで、

a.f(x)
a.__class__.f(a, x)
a.__class__.__dict__['f'](a, x)

がほぼ同じになります(継承があるとちょっと違いますが)。ですが、オブジェクトにメッセージを送ると考えても、こちらも問題はあまりありません。

Comments

[BeatStar]

ご回答ありがとうございます。
C++が若干特殊なだけで、ほとんどの言語では メソッド = メッセージと捉えることが可能。
なるほど。

Answer 2

今どきの大抵の言語では、メッセージ＝メソッド呼び出しという理解で良いと思います。

例外はあります（Smalltalkとか）。

オブジェクト指向における「メッセージ」とは何か - t-hom’s diary
意味が分かる「オブジェクト指向」入門2　――「メッセージの意味は何か？」

Comments

[pepperleaf]

> 例外はあります（Smalltalkとか）。
こっちが本家ですね。

[hayataka2049]

Simulaあたりが本家でC++もその正当な子であり、むしろメッセージを重視するSmalltalkが異端と理解しています

[pepperleaf]

Simulaって名前、久々。もっともメッセージって言っている時点で、Smalltalkから、て認めてる感じ。 (ちょっと Sumula、調べてみようか)

[BeatStar]

ご回答ありがとうございます。
>> 今どきの大抵の言語では、メッセージ＝メソッド呼び出しという理解...
やはりそうなんですね!

Answer 3

RPCによって見た目は単なるメソッド呼び出しなのに
実際にはプロセスやネットワークを跨いでいることもあったりするので、
メッセージと理解しておいたほうが頭が柔軟になって良さそうな気がしてます。

Smalltalkのメッセージ式に近いのがObjective-Cですね。実行時にシグネチャの検索をしたりするからかなりメッセージっぽい。

Comments

[BeatStar]

ご回答ありがとうございます。
>> 実際にはプロセスやネットワークを跨いでいることもあったりする
あー、そういう場面ありそうですね...
やはり メソッド = メッセージだったんですね

Answer 4

オブジェクト指向はプログラミングのパラダイムのひとつです。 やりたいことをプログラムに落とし込むにあたってどうモデル化するかという一種の考え方に過ぎず、言語が C であろうと HSP であろうとオブジェクト指向的にプログラムを構成すればそれはオブジェクト指向です。

いわゆるオブジェクト指向言語というのはオブジェクト指向の考え方を表現しやすい機能を豊富に揃えているということであり、メンバ関数もまたメッセージ (らしきもの) の実現方法のひとつです。 しかし、メンバ関数の呼び出しは関数の呼び出しでしかなく、それをメッセージとして使うかどうかはあなた次第です。 言語仕様上はメンバ関数の呼び出しがメッセージの送信であるなどとは述べていません。

逆に、クラスをただの名前空間の機能のみとして使うようなことも出来ますし、それはメンバ関数を呼び出していても明らかにメッセージとしての利用ではありません。 (もうずいぶん前のことになってしまいましたが、いわゆる「staticおじさん」がやっていたのがこれですね。)

要するに、「概念」と「それの実現方法」を区別して考えてください。 メッセージは (オブジェクト指向における) 概念で、それのひとつの実現方法としてメンバ関数という方法が提供されています。 C との折り合いや、その他の言語設計の都合もあって必ずしも本来のオブジェクト指向の理念通りではないかもしれませんが、メッセージを関数で表すのもひとつの現実的な解のひとつなのです。

Comments

[BeatStar]

ご回答ありがとうございます。
>> 要するに、「概念」と「それの実現方法」を区別して考えてください。
ですね。

Answer 5

皆様、ご協力ありがとうございます。
(ベストアンサーを誰にするか)かなり悩みました(しっくりくる回答ばかりなので...)が、
raccyさんの「C++で表現した場合、どのようになるか」を提示されたので、
もうちょっと考えてみたいという考えに至ったのでraccyさんをベストアンサーとさせて頂きます。
有難うございました!