C++のGC談義

d金魚 @studiokingyo

@SubaruG あれ？コールスタックをつじつまの合うように破壊すれば不正なコードを実行できるようなセキュリティーホール的なものを私は怖がっているのですが、現代のＯＳ郡はすべてコールスタックを守ってくれているのですかご存知ですか？知識不足で申し訳ない。

普通のC++使い、銀天すばる @SubaruG

@studiokingyo GC が入ると，わざわざ C++ を使う利点の大半は消えてしまうので． それだったら C# なり Haskell なり D なりを使う方が建設的じゃないですか，って思うのですが

普通のC++使い、銀天すばる @SubaruG

@studiokingyo ん，意図的なクラッキングではなくバグの話をしているのだと思ってました．

普通のC++使い、銀天すばる @SubaruG

@studiokingyo とりあえずバッファオーバーランを許すような人は C++ を使うべきではありません． 未定義動作に苦しむことになるので．

d金魚 @studiokingyo

@SubaruG Boehm GC をもっと効率的にするにはGCとして働くメモリ領域は限定しておいたほうが効率的って事でした。ただ、言語仕様でサポートしてほしいのではなくライブラリとして実装する事前提で簡単にサポートできるような仕様にしてほしいなということでした。STLのように。

普通のC++使い、銀天すばる @SubaruG

@studiokingyo メモリ破壊が怖いなら，そもそも なんで よりによって C++ を わざわざ選ぶんです？

普通のC++使い、銀天すばる @SubaruG

@studiokingyo そもそもの前提がおかしいですね． 初期ならともかく，最近の C++ のコーディングでは， Boehm GC のような仕組みは必要ないと思うし， Boehm GC を使うくらいなら，他の便利な言語を使ったほうが良いと考えるのですが，そこはどうでしょう？

Akso de la Malbono @Cryolite

別に C++ にオプショナルな GC あってもい～じゃ～ん．ただ，前に水島さんの話聞いてて， RAII な環境に完全にシームレスに GC を導入できるかについてはやや消極的な立場に変わったけれども．

d金魚 @studiokingyo

@SubaruG スキルがバラバラのチーム開発だとやっぱりどうしてもやっちゃう事がありますので…。個人的な無い物ねだりといいますか、ヒューマンエラーを最小限に抑える言語仕様って個人的に大きなメリットだと思っています。極力プログラムは書かないに限りますから。

普通のC++使い、銀天すばる @SubaruG

@studiokingyo はい． ですので，要するに「 C++ を使うな」という話になりますねー．

普通のC++使い、銀天すばる @SubaruG

C++ に GC を入れても誰も喜ばない，という点に尽きる．

Akso de la Malbono @Cryolite

メモリ破壊が怖い人が安心して使える C++ があっても良いし，箱庭の環境で動く C++ があっても良いし，誰ですか「C++ はこうじゃなきゃ」なんていって C++ の自由と可能性を毀損している人は．

普通のC++使い、銀天すばる @SubaruG

…あぁいや僕は喜ぶよ， trivially copyable 教と constexpr 教に入信してるし flywieight も大好きなので．

Egtra (ysk-noh) @egtra

そこはC++らしく(?)、コンパクションやら何やらでオブジェクト動かす際にムーブコンストラクタ使うGC実装を（まさに誰得。

普通のC++使い、銀天すばる @SubaruG

GC を使うことで動的メモリ確保を行なっても trivially copyable になるなら，それはそれで素敵だと思う．

エルザ=ライニ @ElzaReini

お手軽なGCライブラリとかあったら面白そう。あるかな #もう寝る

SHOO @mono_shoo

GCあるC++なんて何に使えばいいの…

普通のC++使い、銀天すばる @SubaruG

C++ である必要なくね？ って話です． RT @Cryolite: メモリ破壊が怖い人が安心して使える C++ があっても良いし，箱庭の環境で動く C++ があっても良いし，誰ですか「C++ はこうじゃなきゃ」なんていって C++ の自由と可能性を毀損している人は．

なつき @natsuki_i

コンパイルオプションでGCが有効になるC++?

普通のC++使い、銀天すばる @SubaruG

別の名前つけて大々的に開発するなら諸手を挙げて大賛成しますよん．

AoiMoe a.k.aしお兄P @AoiMoe

GCが必要かどうかという話は結構難しいんだよな。本当にC++にGCが必要ないっていうなら、C++0xの「minimal support for GC」みたいな一連の議論ってのは何なんだよ、ということになる。

d金魚 @studiokingyo

@SubaruG 「C++は全能な言語でないと許せないって」私だけかもしれませんけど、多くのC/C++で書かれたコードは世にあるすべての言語のギミックを実装してリンクできる環境が欲しいな。その為には一定のオブジェクトのメモリ割り当て領域を限定してくれてもいいじゃんって事でした。

SHOO @mono_shoo

D言語でいいですね。 RT @SubaruG: C++ である必要なくね？ って話です． RT @Cryolite: メモリ破壊が怖い人が安心して使える C++ があっても良いし，箱庭の環境で動く C++ があっても良いし，誰ですか「C++ はこうじゃなきゃ」なんていって…(ry

普通のC++使い、銀天すばる @SubaruG

「 C++ の基本理念を崩さずに最低限の GC を導入した別の言語を作ろうぜ！」っていう議論なら参加するっていうか参加させてください

いぐにすさん @ignis_fatuus

変なC++が欲しいならどっかのMSが作ったアレ使えばいいんじゃないでしょうか