C++では構造体がメンバ関数をもてることについて

Question

仕事ではC言語を使っています。7年ぶりくらいにC++を勉強しなおす気になりました。勉強し始めて疑問に思ったことがあります。

C++では構造体もメンバ関数やコンストラクタ、デストラクタをもてるようですが、なぜそのような仕様になったのでしょうか？クラスでできることをわざわざ構造体（や共用体）でも出来る必要性を感じません。（きらいなら使わなければいいだけのことですが。）

学生時代にC++を勉強したとき使っていた本（※）にそのような記述が無かったような気がします。
※柴田望洋著：プログラミング講義C++、ソフトバンクブックス、1997

なぜそのような仕様になっているのか、経緯や必要性について教えてください。

sakusaker7 · Accepted Answer

質問者さんがお望みのこと全てではありませんが、D&E (C++の設計と進化)という本の
94～95ページに、なぜclass と structという二つのキーワードが
ほぼ同じ機能を持っているのかということについての説明があります。

詳しくは買うなり図書館に行くなりして実際に読んでもらうとして、
簡単にまとめると、structをCでの機能をのままにすることによって
C++文脈でのclass、C文脈でのstructというように概念的に二つに分かれて
しまうのを嫌がったということのようです。

この本には、「なぜC++は××に関してこのような仕様になっているのか?」
についての回答が得られる貴重な本です。
余裕があれば読んでみると良いでしょう(分厚いけどね)。

C++の設計と進化 (単行本)
ビョーン ストラウストラップ (著), Bjarne Stroustrup (原著), 岩谷 宏 (翻訳), エピステーメ (著) 
http://amazon.jp/dp/4797328541

AsanoNagi · Answer

クラスと構造体の（実装ではなく）理念上の違いはご理解されているということで良いかと思います。

その上で、「構造体」とは、あくまでもまとまったデータセットです。
このデータセットを「安全に」初期化するためには、コンストラクタというのは、十分に実用的です。
特に、構造体の初期化データを外部から持ってきたり、外部に（暗黙のうちに）保存したりという操作を行うためには、コンストラクタやデストラクタは必須の機能になります。

また、データ特有の操作についても、メンバ関数は有用です。

「クラスでできることをわざわざ構造体でもできるようにした」のは、本来の意味からすれば、クラスと構造体は、別の用途であるので、それぞれの用途に於いて、「統一的に」初期化や後始末や、そのほかの処理が行えるようにしたというところです。

参考URL：http://www.cmagazine.jp/src/kinjite/cpp/idea.html#index32

solidnoise · Answer

No.1 の方の回答のとおり、互換性のためだと思います。

既存のCのソースコードに「一切手を入れずに」、修正したり拡張したりする、ということがC++言語仕様策定の重要な要件（作者の）だったと思います。
C++作者の「プログラミング言語C++」（今は第3版？）等を読むと、作者の思いなども書かれていて、とても面白いですよ。


私の独断ではありますが、今では単なる syntax sugar に過ぎなくなっているので、struct の構文は要らないです。
私自身は、すべて class で記述しているので。
ただ、既存の（昔作られた）ライブラリなどをコンパイルするためにはいきなり無くなってしまうと困る、皆様そんなかんじではないでしょうか。

MFCなどを考えて見ると、CPoint等、簡単なものについてはわざわざstructにしてますが、最初うっかりやってしまった後の互換性のため、やむを得ず、ということだと思います。
本質的には全くどうでも良いと思ってます。



> それなら、structに手を加えずそのままにして置けばよかったのに、
> と思うのは私がCばかり使ってきたからでしょうか。

確かに、struct にはメンバ関数は定義できないようにしたうえで、C++としての拡張をしても良かったのかも知れませんね。
ただ。
初期C++言語はCのプリプロセッサとして実装されていたそうで、たぶんコンパイラの実装のことまで考えて妥協した部分もあるのでは？
コンパイラの作成は難しいですし。



> 学生時代にC++を勉強したとき使っていた本（※）にそのような記述が無かったような気がします。
> ※柴田望洋著：プログラミング講義C++、ソフトバンクブックス、1997

私も実はそれを読みました(^^;
今は捨ててしまったので確認できませんが、struct と class の関係については、最初から変わっていないと思います。
ので、その本でもウソは書かれていなかったと思うのですが、とにかく、帯に書かれていた宣伝文句とは裏腹に、分りにくい本だったという記憶があります。

jacta · Answer

C++では、構造体や共用体もクラスの一種です。クラスなのだから、メンバ関数を持てるのは当然です。

C++のクラスの宣言は、

クラスキー タグ名

という形式で行いますが、このクラスキーに指定できるのは、class, struct, unionの３種類があります。classとstructの違いは、アクセス指定がデフォルトでprivateになるかpublicになるかだけです。unionはメンバ変数のメモリ配置が違ったり、他のクラスから派生したり、派生されたりしない点が大きく異なります。

> クラスでできることをわざわざ構造体（や共用体）でも出来る必要性を感じません。

そういう観点からすれば、structでできるのにわざわざclassを導入する必要はなかったともいえます。

noname#38837 · Answer

ｃ互換のためっていうのが一番大きいと思います
structを捨てることはできなかったんでしょう

私はclassと構造体は使い分けてますけどね
（私は、というより今のプロジェクトがそうなっているからともいえる）


http://oshiete1.goo.ne.jp/kotaeru.php3?q=2007539

C++では構造体がメンバ関数をもてることについて

質問者さんがお望みのこと全てではありませんが、D&E (C++の設計と進化)という本の

クラスと構造体の（実装ではなく）理念上の違いはご理解されているということで良いかと思います。

No.1 の方の回答のとおり、互換性のためだと思います。

C++では、構造体や共用体もクラスの一種です。

ｃ互換のためっていうのが一番大きいと思います

似たような質問が見つかりました

関連するカテゴリからQ&Aを探す

デイリーランキングこのカテゴリの人気デイリーQ&Aランキング

マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング