C# と VB.NET の質問掲示板

　レスありがとうございます。C#の構造体について私の認識が間違っているのかもしれません。C言語と同様に

-----------------------------------
struct	タグ名 {
	データ型　メンバ名;
};
---------------------------------- という構文で
----------------------------------　
strcut vector2DF{
	float x;
	float y;
};


struct vector2DF hensuu ;

----------------------------------


という形で構造体を利用するものだと思っていました。


DLLにてstruct asd.vector2DFが定義されています。

----------------------------------
変数=new asd.vector2DF(a,b)
----------------------------------

 となっており構造体変数が宣言されてません。なぜこの状態で構造体を使うことができるのかがわかりません。


https://github.com/altseed/STGLecture/blob/master/Document/cs/03.md　
このサイトのコードを見ながら質問させて頂いてます。
文章のおかしいところありましたらご指摘いただけると嬉しいです。

おんとぴ C++ がわかるのなら

class TextureObject2D {
    ...
    Vector2DF Position;
    ...
}
が namespace asd 中に入っているだけのこと、と解釈すればいいっす（フィールドな場合の例）
new Vector2DF(320, 240) した結果を player.Position に operator= しているわけっす。
C# は gc する言語なので new は必要だけど delete は不要 (new 結果が gc 対象になってるだけ)

おふとぴ：オイラは C++er なので

struct foo
{
    public int x;
    public int y;
    foo(int xx, int yy) 
    {
        this.x = xx;
        this.y = yy;
    }
}

foo a = new foo(3, 4);

と書いたら
1. a のための記憶域がスタック上に取られる
2. new foo(3, 4) が１つインスタンスを（ヒープなりスタックなりに）生成する
3. operator= が発生 (new したインスタンスからスタック上の a へ)
4. new したインスタンスが gc 対象になる
のかと思っていたが ildasm で見る限り a に対する直接初期化がなされるっぽい。

struct を関数に値渡ししても IL レベルでは関数呼ぶ側は ref 渡ししてるし
呼ばれた関数中で変更操作してないと ref 元を直接見てるし
呼ばれた関数中で変更操作したらそこで dup してるのか。
なかなかよくできてる様子。

IL 読むほうが言語仕様読むより楽ってのもアレな気がする。
まあそれで理解できるのは単に内部実装にすぎないわけだけど。

ildasm を開いたままではビルドできないんだ・・・不便。

> 変数=asd.vector(a,b)
> のように書いては駄目なのかということなのでしょうか？
のことだとオイラも解釈することにする。 C# では書式上これを認めていないだけっす。

C++ では
struct hoge {
    hoge(int x, int y);
    hoge& operator += (const hoge&);
}

hoge a, b;
a+=b; // と書けるのと同様に
名前無し構造体インスタンス (C++ 用語では一時オブジェクトと言う) を使うことができて
a+=hoge(123, 456); // と書ける。右辺は一時オブジェクトであり直ちに消滅
# C++ では一時オブジェクトの生成に new は必要ない (あっちゃだめ)

> �@newをつけることがC#におけるインスタンス生成のルールである
はい、そのとおり。
C# では「一時オブジェクトの明示生成」なる文法が無い（必要ない）ので
通常オブジェクトの生成の文法をそのまま利用することになるわけっす。
a+=new hoge(123, 456); // と書くことになる
a+=hoge(123, 456); // とは書かない・書いたらコンパイルエラー

.NET の世界の用語で言うと
「インスタンスは new で作る」
「参照が保持されていないインスタンスは gc 対象となる」
だけのこと。

> Console.WriteLine((new TimeSpan(0, 50, 0) + new TimeSpan(0, 40, 0)).ToString());
この例では、２つの new の結果を保持する式が無いので両者とも gc 対象になるわけです。
もっと言うなら operator + の結果のインスタンスも保持されてないわけで gc 対象になるわけです。

文言「 gc 対象になる」とはつまり
・直ちに記憶域が回収されて再利用されるかもしれないし
・適当なタイミングまで回収が遅延されるかもしれないが、いずれ再利用される
ってこと。

C# では struct は値型 class は参照型の決定的違いがあるけど gc に対する理解は同じでいいっす。

「名前をつけずに」ここでいう名前が (C/C++ 用語を使わせてもらうけど) 
「自動変数を使わなくても」ということなら、それはある意味当たり前なのではないかと・・・

C/C++/C# 的に struct の配列があるとき
「配列名」そのものは当該 struct 型ではない
「配列の要素」は当該 struct 型だけど、専用の名前は無い

using System.Drawing; // System.Drawing.Point System.Drawing.Size を使いたい

Point[] a = new Point[2]; // 配列自体は常に参照型であることに注意
// struct だから、各要素は暗黙のうちに自動で作られている
// ※ class 型なら各要素の new が別途必要

// ユーザー定義できないデフォルトコンストラクタによって a の各要素は初期化済み
Console.WriteLine(a[0]); // {0, 0}
// a[1] はデフォルト初期化済みなわけだが、再初期化する
// 厳密には「一時オブジェクトを構築して、その内容を a[1] に代入する」かな。
a[1] = new Point(123, 456);
Console.WriteLine(a[1]); // {123, 456}
// 移動させるのに operator += を使うことができる
a[1] += new Size(20, 30);
Console.WriteLine(a[1]); // {143, 486}


提示例の a が、関数内の局所変数であっても、クラスのメンバ変数（フィールド）であっても
クラスのプロパティ（は C++ には無い概念だけど）であっても、同じことっすよ。

局所変数なら単に a と記述することになるわけだし
フィールド/プロパティなら記述 a は this.a の省略形だし (C++ なら this->a っすね)

オイラたち何か難しいこと書いてるかな？　C# 的には、こういう書き方はごく当たり前っぽいけど。