Java→C++：オブジェクトの扱いに戸惑ってます

質問

C++を学び始めた者です。
これまでJavaを中心に開発していました。

オブジェクトの扱い方に関して若干戸惑っております。

下記のようなコードを実行したところ、問題なく動くことを確認しました。

しかし、Javaでは型の宣言はあくまで型を宣言しただけだったのに対し、

C++では宣言を行っただけでコンストラクタが動き、メンバ変数まで使えます。
下記のコードが動き実行結果も下記のようになることからその様に考えました。

これはJavaでいうところの型宣言の時点でC++はオブジェクトが作成されており、
実態が有ると考えて良いのでしょうか？

しかし、new演算子はc++にも存在しているはずです。
上記の事を踏まえた上で
Hoge hoge;　とするのと　
Hoge hoge = new Hoge();
とすることの違いを教えて下さい。

何か基本的なところで考えが誤っているのでしょうか？

-----------------------------------------
#include "stdafx.h"
#include <iostream>
using namespace std;

class Hoge {
public:
int hogeValue;
Hoge():hogeValue(1000) {
std::cout << "Hoge was constructed." << std::endl;
PrintMessage();
getchar();
}
public: void PrintMessage(){
std::cout << "PrintMessage was constructed. hogeValue = "<<hogeValue << std::endl;
getchar();
}
};

int main() {
std::cout << "main() was called." << std::endl;
getchar();
Hoge hoge;
hoge.hogeValue=2000;
hoge.PrintMessage();
}

----------------------------------------
実行結果

main() was called.
Hoge was constructed.
PrintMessage was constructed. hogeValue = 1000

PrintMessage was constructed. hogeValue = 2000

回答No.2

hitomura · ベストアンサー

Java の型にはプリミティブ型と参照型がある、それは理解してますよね？
C++ の場合、型名だけを書いた場合、たとえクラスであってもすべてプリミティブ型のようにふるまいます。
ですから、
　Hoge hoge;
となっている時点で
　int i;
と同様に変数の宣言と同時にその値の生成が行われ、その過程でコンストラクタが呼ばれます。

C++ で Java の参照型を表すものはポインタになります。
たとえば、
　Hoge* p_hoge = new Hoge();
という感じで Java の
　Hoge hoge = new Hoge();
と同じに……なったらいいんだけどねぇ。

このポインタというもの、Java の参照と比べて厄介です。というか、C/C++ のポインタの厄介な部分を全部オミットしたものが Java の参照です。
簡単に言えば、Java ではガーベージコレクタに任せていたメモリ管理を自分でやらなくてはならないという事です。これがどれだけ大変かというと、ポインタだけで本が一冊書けるくらい大変です。
Java の参照型の感覚でポインタを扱ったら「アイエェェェ　メモリーリーク? メモリーリークナンデ?」か「一般保護違反なんて Java のテストに出ないよお…」となること確実です。

どうしても Java と同じ感覚でオブジェクトを扱いたいのであればスマートポインタというものを調べてみてください。

でも、メモリ管理を自分でやらなくてはならないということは逆にメモリ解放のタイミングを自分で決められるという事でもあります。それを利用すれば Java よりも効率的なプログラムを書くこともできます。

また、C++ では
　Hoge hoge;
の方もいろいろと便利なのでポインタを使って new するのと同じくらい使います。
特に、RAII　と呼ばれるテクニックでは、上記のように記述することでブロックを抜けるときに確実にデストラクタが呼ばれるという性質を利用しています。
http://ja.wikipedia.org/wiki/RAII
……finally? 知らない子ですね。というか、インスタンス破棄のタイミングがガーベージコレクション任せでプログラマ自身では確実に制御できない Java では finally は必要でしょう。しかし上記のテクニックが使える C++ では　finally のような構文は特に必要がないという趣旨のことを C++ の設計者は『C++ の設計と進化』という本の中で書いています（16.5節）。厚いし難しい本なので万人向けではありませんが、C++ という言語がどのように生み出されたか、C++ の構文選択の際どのような選択がされたかを知る上で重要な本ですので、C++ を深く知りたいのであれば読んでおいた方がいい本です。

回答No.3

wormhole

何だか変数の宣言とインスタンスの生成がごっちゃになられているような。

>しかし、Javaでは型の宣言はあくまで型を宣言しただけだったのに対し、

ここでいわれている「型」というのは「クラス」の事だと思いますが、
Javaでいう「クラスの宣言」は

public class AAA {
...
}

とクラスを書く事ですけど。
ちなみにC++では「宣言」ではなく「定義」になります。

>Hoge hoge;　とするのと

Javaではhogeという名前の変数(インスタンスの入れ物)を用意しているだけですが
C++ではhogeという名前の変数であり、その変数はインスタンス自身です。
見た目は同じ書き方ですが意味が違うんです。

C++でJavaと同じような事をするなら

Hoge *hoge;

になります。

>Hoge hoge = new Hoge();

C++だとエラー。