C#に潜むstructの罠 - KAYAC engineers' blog

こんにちは。技術部平山です。 この記事ではC#のstructを使った際にはまった罠について書きます。 Unityでの体験を軸にお話しますが、Unityに限ったことではないかと思います。 お急ぎの方のために結論を申しあげますと、structを使うなとなります。 どうしてもstructを使いたい気分になった時に、罠にはまって時間を無駄にする覚悟をした上で使いましょう。 未来に活きる良い失敗ができると思いますし、最終的には製品の性能も上がるとは思いますが、 structを使わないといけない理由は、たぶんありません。なくても製品は作れます。 しかし、一回もstructと書かなかったとしても、C#で書く限りstructからは逃れられないのです。 (2019/04/10) 末尾に話を単純化しすぎた点について補足をいたしました。 structとは C#の型にはclassとstructがあります。 ...

[Trapezoid]

structは基本immutableにできる大きさのものに適用するべきだし全部immutableでいいので、全部reaadonly structにしよ(C# 7.3に行けない過去のUnityのことはもう忘れたようだ)どうしてもならref thisとかreadonly ref(in)使ってこ

[megumin1]

致命的な間違いや理解不足が目立つ有害な記事。「スタックは綺麗に積んであるので一番上にしかアクセスできません」<= 適当なことを書かないように。スタック（というかメモリ）を全く理解していないでしょ？

[polyamid]

「値型」「参照型」という用語を使って説明すべき

[FutureIsWhatWeAre]

もっともらしく書いてあるけど色々と間違ってないか？

[nicomonger]

「ゲームプログラマになる前に覚えておきたい技術」著者の記事/structはローカルで宣言するとスタックに、クラスのメンバだとヒープ上に作られる(はず)。newの有無は無関係。

[tyhe]

カヤックこのレベルの記事公開しちゃって大丈夫？ / struct のスタックうんたらについてはこちら。 https://blogs.msdn.microsoft.com/ericlippert/2010/09/30/the-truth-about-value-types/

[yaseino]

初めて見たんですけど逆にどこで広まってるんだろう…＞この、0をyield returnするのって、誰が広めたんでしょうね? 誰かが最初にやったんだと思うのですが...

[morita_non]

C#知らんけどstructのインスタンスがstackにしか作られないてマジ？著者は元セガのゲームプログラミン本も書いてた平山尚さんだけど…

[eru01]

途中で読むのやめたけど、値型なんだからそらそうやろとしか思えんが。だってC#のstructは値型やし

[matarillo]

あとでブログ記事書く(はてブやツイッターの反応があまりよろしくない感じ

[yorkfield]

同じ書き方をしても値型と参照型で挙動が違うのは罠と言えばそうかもしれない。

[tattyu]

1人で書く分には好きなの使えば良い。複数人ならなるべくclass使う。全員がC/C#完全に理解してるようなイキりブクマカだったらいいが普通そうではない。hirashoさんはC/C++理解した上で初心者に向けて書いてる。

[mitsuse]

おかしい。スタックの話も、return された値型にミューテーション起こしても return 前の値が変わらないとか (それはそもそもその API が悪いのではとか)、イミュータブル・ミュータブルの概念は...とか思って途中でやめた。

[iwadon]

“structを使うな”という言葉が強すぎて、その先を読めてない。そのうち読む。

[aceraceae]

この場合どっちかというと class の挙動のほうが罠っぽいんだけど。

[extendskick]

struct

[mohno]

これかー。“使うな”はともかく、どんな言語を使ってきたかで“罠”と思っちゃうかもしれないのは仕方がないのかもしれない。あと「System.Drawing.Color をクラスにすればよかった」という話を聞いた気がする。

[teruyastar]

C# 自作struct罠いっぱいだな。作るにしても不変で16バイト以下、DictionaryやListにぶっこむな、、、高速化、省メモリのために作ったところで知らないうちに罠ふんだり踏ませたり逆効果なりそうで管理できる気がしない

[fortrand]

C#を知らずCを知ってる人からは「値と参照は別々だよな」で終わるけど、C#だけでは「どっちもnewで同じ文法なのになんで挙動違うんだよ」と思うのかも。元々メモリ確保周りはC#固有では無くプログラミング全体の罠。

[miya2000]

「そもそもclassだったら速度はどうなのか?」TryGetValue に失敗するのでは。

[mrpotas]

一方、とあるC# MVPは「struct最高！」とTwitterでつぶやいていた

[qtamaki]

こういう所がDelphiっぽさだな

[shoechang]

C#、というか.NETで値型と参照型、ヒープとスタックの違いとガベージコレクションの働きを理解している技術者ばかりのチームで開発したことがないので構造体を禁止したいという意見もわかる。

[z67kjh]

5chのC#初心者スレで度々出る話。初心者には紛らわしいのであろう

[t-cyrill]

これ別にC#じゃなくてもあるしそういうものでは

[paulownia]

間違いは仕方ないけど、理解不足を棚に上げて"使うな"とは、分からない人が多いからJavaのlambda禁止と言ってるダメなプロジェクトと同じレベルのダサさ。恥を知った方がいい

[tohshindainokawaisa]

値型と参照型について勉強してから書いてね／既出だった

[GENS]

structの英単語の意味知ってる？

[cartman0]

structの場合、newしてもスタック領域なのか。なんちゅーデザインや。。 / structは値型だから直接コピーがネッになって参照型のクラス使えばそれが解消されるってことか，でもGCのタイミングとか考えだすと大変そうね

[oktnzm]

なんかおかしいなと思ったら構造体が値渡しってことを知らないだけなのか？Cやってたら中級レベルで当たる話だと思うが・・・え？C#しか触ったことないって！？

[rryu]

mutableな値型を作ってはいけないというだけな気も。Vector3.Set()が罠すぎるが…

[lm0x]

罠か？

[naqtn]

https://docs.microsoft.com/en-us/dotnet/csharp/language-reference/keywords/value-types new はコンストラクタ呼び出しによる初期化を示すだけ。/代入演算子の仕様調べたら The value （略） stored into としか書いていなかったでござる

[gabari]

C#の実装知らないけど、C++で言えばRVO的なの無いのか/Vector3を100万個とかむしろ少ないんじゃないのかとか、いろいろ言いたいことはあるな…いつGC起きるか問題の方がUnity的にはクリティカルだと思うし