[言語]private不要論

出水洸太郎 — Sat, 06 Sep 2008 00:59:00 GMT

以前、privateは不要、という事を言ったことがあります。
privateというのはアクセス修飾子のことです。

privateはなくして、protected扱いにする。
そして関数はすべてvirtualがついたものとする。
これがprivate不要論の趣旨です。
要するに、派生クラスは基底クラスを自由に扱えるべきだ、という考えです。

Aというクラスに機能を追加したBというクラスを作ることができる、という説明を見て、
機能追加したくても、アクセス修飾子でガードされれていたら手が出ない、と思ったからです。

しかし、これは大きな間違いでした。
正しいアプローチとしては、基底クラスそのものを書き換えてprivateを外したりsetterを作ればいいのです。
もし、ソース編集の権利がなければ、再作成するしかないのです。

派生ってのは関数の引数と同じようなものと考えられます。
引数にない項目に対しては変更できないと同じように、
書き換えられるもの、書き換えられないものというのが派生した場合にも存在するわけです。

ただ、private不要論の発端だけは間違ってないような気がしていました。
そのきっかけがC#のsealedで、派生禁止というアプローチがあったんだ！と気付きました。
（Javaの方が先だと思うけど、私が知った順序なので。）

基底クラスはどのように派生して使われるべきか設計段階で盛り込む必要があります。
だったら、派生のことを考えていないクラスに対して派生するのがそもそもおかしいわけです。

ということで、デフォルトでは派生禁止論を推します。

#仮に派生可能というキーワードがあったらなんだろう…deriveable ？？

[言語]ぼくのかんがえた超構文

出水洸太郎 — Fri, 08 Aug 2008 03:12:00 GMT

C言語のstructを初期化するにはこんな書き方をしていました。

struct Point{
  float x, y, z;
  int color;
};
struct Point pt[] = {
  {0.0f, 0.0f, 0.0f, 0x00ffffff},
  {1.0f, 0.0f, 0.0f, 0x00ff00ff},
  {0.0f, 1.0f, 0.0f, 0x00ffff00},
  {0.0f, 0.0f, 1.0f, 0x0000ffff},
};

C99ではこういう風にも書けます。

struct Point pt[] = {
  {.color = 0x00ffffff, .x = 0.0f, .y = 0.0f, .z = 0.0f},
  {.color = 0x00ff00ff, .x = 1.0f, .y = 0.0f, .z = 0.0f},
  {.color = 0x00ffff00, .x = 0.0f, .y = 1.0f, .z = 0.0f},
  {.color = 0x0000ffff, .x = 0.0f, .y = 0.0f, .z = 1.0f},
};

C++0xにもこの構文は取り入れられないようです。
C++ではコンストラクタを使って初期化しろ、ってことなのでしょう。
個人的に、structがメンバ関数を持てるってのが非常に抵抗があって、
出来たらPOD型を保障するものであって欲しいのですが…。

さて、CにしろC++にしろ、最初の構文に対する糖衣構文が用意されたわけです。
セミコロンで並べたものの順序に依存するってのは気持ち悪いんでしょうか。

そのくせ、コンストラクタを使った場合、これも並び順で決定されるわけですが、
セミコロンはダメでもカンマはOKというダブルスタンダードがありそうです。

ってな事を考えていたら脳内でミックスされますた。

// 関数を宣言すると…
int foo(float x, float y, float z, int color);
// 引数を構造体にしたものが自動的に宣言される
struct foo.param{
  float x;
  float y;
  float z;
  int color;
};
void sample(){
  //引数構造体(仮)を使えば…
  foo.param prm
  prm.x = prm.y = prm.z = 0.0f;
  prm.color = 0x00ffffff;
  
  // こういう呼び出しも可能
  foo(prm);
}
//委譲も簡単に！
int hoo(foo.param p){ foo(p);}

C++は無理でもC#あたりはやってくれないかしら。

参照？可変長引数？多重定義？？
アー聞こえない聞こえない。(∩ﾟдﾟ)