C++相談室 part137

[表示 : 全て最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2ch.scのread.cgiへ]
Update time : 02/24 15:41 / Filesize : 321 KB / Number-of Response : 1024
[このスレッドの書き込みを削除する]
[＋板最近立ったスレ＆熱いスレ一覧 : ＋板最近立ったスレ／記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

C++相談室 part137

1 名前：デフォルトの名無しさん [2018/08/27(月) 16:02:00.94 ID:vY3QDx2y0.net]: 次スレを立てる時は本文の1行目に以下を追加して下さい。
!extend:on:vvvvv:1000:512

C++に関する質問やら話題やらはこちらへどうぞ。
ただし質問の前にはFAQに一通り目を通してください。
IDE (VC++など)などの使い方の質問はその開発環境のスレにお願いします。

前スレ
C++相談室 part137
https://mevius.5ch.net/test/read.cgi/tech/1531558382/

このスレもよろしくね。
【初心者歓迎】C/C++室 Ver.103【環境依存OK】
https://mevius.5ch.net/test/read.cgi/tech/1530384293/

■長いソースを貼るときはここへ。■
　codepad.org/
　https://ideone.com/

[C++ FAQ]
https://isocpp.org/wiki/faq/
www.bohyoh.com/CandCPP/FAQ/ (日本語)

----- テンプレここまで -----
VIPQ2_EXTDAT: default:vvvvv:1000:512:----: EXT was configured
296 名前：デフォルトの名無しさん mailto:sage [2018/09/06(木) 23:18:28.17 ID:8cSq8zHP0.net]: >>288
横からでスマン�
297 名前：ｪ、他の初心者に偉そうに大嘘教えてるやつを初心者とは普通呼ばない 都合のいいときだけ初心者ヅラはだめよ []: [ここ壊れてます]
298 名前：デフォルトの名無しさん mailto:sage [2018/09/06(木) 23:34:23.61 ID:3bNAvGWPM.net]: >>262
ありがとうございます
forの中で何回も関数呼び出すので前者が良さそうですね
299 名前：デフォルトの名無しさん mailto:sage [2018/09/06(木) 23:34:43.07 ID:itCyrIVk0.net]: >>291
嘘の範囲を限定しないと俺大罪人じゃないですか。
まぁ、いいや。

メモリーエラーで落ちろ。
300 名前： mailto:sage [2018/09/06(木) 23:34:53.93 ID:N2ZzCqNY0.net]: >>289
スマートポインターのうち std::shared_ptr は参照カウンタを内蔵しているのだから
①参照カウンタが GC、故に、std::shared_ptr も GC
②参照カウンタが GC でない、故に、std::shared_ptr は GC でない
①②のどちらかしかない
参照カウンタが GC なのにスマートポインタが GC でない、というのは矛盾しているのでは？

私は「参照カウンタは GC じゃない」と思う
301 名前：デフォルトの名無しさん mailto:sage [2018/09/06(木) 23:48:27.91 ID:8cSq8zHP0.net]: >>293
>>251
もちろんインライン展開される場合は除く（展開されたら多分同じコードになると思うが

あと
>>255の質問に対して>>268は不適切、>>268から話が変な方向に行ってる
OpenCV使ってるって言ってるし、間違った使い方してリーク（>>255がnewしたのではない部分）
の可能性の方が高いと思うけどね
302 名前：デフォルトの名無しさん mailto:sage [2018/09/06(木) 23:52:47.61 ID:HW23dE280.net]: >>294
なにも矛盾してないよ。

GCの一実装として参照カウント方式を使ったものがある。
スマホの中に参照カウントを使ったものがある。
だからといってGC=スマポじゃない。

エンジンで走る車があって、エンジンで飛ぶ飛行機があっても、車は飛行機じゃないのと一緒
303 名前： mailto:sage [2018/09/07(金) 00:04:30.19 ID:WaHB6+zk0.net]: >>296
＞エンジンで走る車があって、エンジンで飛ぶ飛行機があっても、車は飛行機じゃないのと一緒
is-a の話の例えに has-a の話を使うのは論理的ではありませんね
「車 has エンジン、飛行機 has エンジン」の話と「参照カウンタ is GC、スマポ is ＧＣ」の話は別ですよ
304 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 00:12:24.59 ID:YR0a2VfT0.net]: >>297
いやgc=参照カウンタなんて言ってないんだけど。
gcに参照カウント方式を使っているものがあるといってるの。はじめからhas_a関係しか言及してない。
305 名前： mailto:sage [2018/09/07(金) 00:15:18.97 ID:WaHB6+zk0.net]: >>298
＞いやgc=参照カウンタなんて言ってないんだけど。
そこに「＝」記号を使うのがおかしいのでは？
真偽は別として、記号を使うのなら ⊂ とか ∈ じゃないですか？
306 名前：はちみつ餃子 mailto:sage [2018/09/07(金) 00:17:33.32 ID:EL+7DMJm0.net]: 参照カウンタは GC だろ。
307 名前：はちみつ餃子 mailto:sage [2018/09/07(金) 00:22:54.57 ID:EL+7DMJm0.net]: >>266
元々の質問はどちらが速いかではない。
308 名前： mailto:sage [2018/09/07(金) 00:53:47.67 ID:WaHB6+zk0.net]: >>300
では std::shared_ptr も GC でしょうか？
309 名前：はちみつ餃子 mailto:sage [2018/09/07(金) 01:28:57.33 ID:EL+7DMJm0.net]: >>302
私は std::shared_ptr を GC だと思ってるよ。
解放のタイミングがコンパイル時に確定しないようなのは GC だろってくらいのカジュアルな認識だけど。
基準の妥当性はともかくとして、とにかく私はそういう基準で考えてる。

QZ 氏の中で std::shared_ptr と GC を隔てるのは何だと思ってるの？
310 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 02:17:04.39 ID:obwFdGuS0.net]: Qt5触ってみてるけど生ポインタばっか使ってて気持ち悪い、これでいいのか？
311 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 07:52:15.03 ID:KDtg+GuV0.net]: GC ⊇ shared_ptr
312 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 08:31:14.42 ID:M/DU9wQ1M.net]: >>304
生は触って気持ちいいものしかないよ
313 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 11:18:53.99 ID:f8oqes6vH.net]: parentクラスがあってそれを継承したchildクラスがあります。
vector<parent*> getParentlist(){//省略}でこんな感じでparentクラスのポインタのリストを返す関数があります。
それでここからが質問なのですが、
vector<child*> childList = (vector<child*>)getparentlist();
こういうコードがあってびっくりしています。
機能はしているみたいですがこれ作法的にオッケーなんでしょうか。
ダウンキャストは良くないと聞いていたりそもそもこれダウンキャストなのかとかちょっと分からないんです。
よろしくおねがいします。
314 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 11:20:41.99 ID:/+XJI6DP0.net]: >>281
話が通じてないなあ。。。
デストラクタでuse_count見てるのは当たり前だろ
シェアードポインタの話だぜ？

解放のタイミングがアプリのロジックに従属してるかどうかって話なのに
何を言い出すかと思えば
315 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 12:35:44.17 ID:KEvh9jix0.net]: >>307
試せる限りのコンパイラではそもそもコンパイルエラーだったけどなぁ
vector<parent *> &getParentlist();
じゃなくて？？
その上で
(vector<child *> &)getParentlist();
なら通るよ、通るし普通に使えるはず
316 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 13:23:59.20 ID:f8oqes6vH.net]: >>309
失礼しました。ポインタ抜けてました
vector<parent*>* getParentlist(){//省略}
で
vector<child*>* childList = (vector<child*>*)getparentlist();
こんな感じです
317 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 13:38:44.48 ID:KEvh9jix0.net]: おいおい・・・ｗ

ポインタでも同じことだ、そのキャストをreinterpret_castだと考えたらわかるはず
それでわからないならC++の継承の仕組みを勉強すべき
318 名前：はちみつ餃子 mailto:sage [2018/09/07(金) 16:38:51.51 ID:EL+7DMJm0.net]: 基底方向へのキャストの実態は
サブオブジェクトまでのオフセット分だけアドレスをずらす操作なので、
>>310 のような場合にはそれは実現できない。
単に無理やり型を合わせているだけになってしまっている。
C++ 的にはあかんやつ。

ただ、実際に動いている理由をあえて考察するなら、
child が parent を単一継承した場合などには parent が child の先頭に配置されるようなメモリレイアウトにコンパイルされる可能性が高く、
アドレスをずらす量が 0 で済んでしまうので
型を読み替えるだけでも不整合が顕在化せずに動作してしまうということは有りうる。
あくまでも、処理系がやってることが偶然に組み合わさって動いているというだけなので、やめといた方がよい。
319 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 17:46:14.93 ID:KEvh9jix0.net]: そこまでご丁寧に説明してやるのなら、「Cスタイルのキャストは使うな」、を教えるべきじゃねーの？
320 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 18:34:49.58 ID:mMEjLB3K0.net]: parent * が child * なのかも分からないのに強引にキャストするのか
そこまで型無視するなら void * でいいんじゃない知らんけど
321 名前：はちみつ餃子 mailto:sage [2018/09/07(金) 20:57:02.69 ID:EL+7DMJm0.net]: >>313
せやな。
322 名前：はちみつ餃子 mailto:sage [2018/09/07(金) 20:57:32.70 ID:EL+7DMJm0.net]: C++ スタイルのキャストを、特に入門者の内は static_cast だけ使っておけばまあまあ大丈夫。
static_cast でエラーになるような変換は C++ 的にはだいたいイケてないやつ。
323 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 20:59:50.93 ID:/+XJI6DP0.net]: アホか
dynamic_castが使えないくせに初心者皆伝なんぞやれん
324 名前： mailto:sage [2018/09/07(金) 22:12:33.50 ID:WaHB6+zk0.net]: >>303
＞私は std::shared_ptr を GC だと思ってるよ。
…GC発祥の地 lisp の使い手のはちみつさんがそうおっしゃるのなら、私の中の定義も書き換えないといけませんね
mark and sweep GC って、プログラム本体とは関係のないところで、それこそメモリの死にビットをも使ったりして、ごそごそやる、というイメージがあります

＞解放のタイミングがコンパイル時に確定しないようなのは GC だろってくらいのカジュアルな認識
＞std::shared_ptr と GC を隔てるのは何

「解放のタイミングを図る機構が表のプログラムとは独立している」
くらいでしょうか？表のプログラムからの参照が途切れることと free() されることに直接の関係性がない mark and sweep とその発展型のみを GC とみなしています
といって、GC の本は一冊しか持っていません
325 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 22:36:10.40 ID:OXR/kEGJ0.net]: は○ち○餃子はLisperか

言語選びは慎重にな！
ttps://postd.cc/lisping-at-jpl/
326 名前：はちみつ餃子 mailto:sage [2018/09/07(金) 22:37:40.84 ID:EL+7DMJm0.net]: >>318
定義がひとつでなきゃならないとは思ってないよ。
だから自分なりに一貫した考え方があるのなら、それはそれでいいんじゃないかな。

ただ、「表の機構と分離されているか」という考え方だと、それは抽象化の仕方であって、メカニズム (アルゴリズム) の基準ではないね。
その基準だと std::shared_ptr が GC ではないとは言えても参照カウンタが GC ではないとは言えない。
327 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 22:45:54.86 ID:Gz5E8uWmd.net]: お返事遅れました>>213です
Overlappedの設定をCreateNamedPipe時点に引数として渡す構造体ことで同期制御を実現できました
ありがとうございました

メモリリーク探しきつい....
328 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 22:58:55.32 ID:nLV7kBrTa.net]: すみません質問があります

メインスレッドと通信スレッドがいて、
通信スレッドはメインスレッドのオブジェクトポインタ持ってます
メインスレッドはクラス化されており、スレッド用のstatic関数以外にもメンバ関数を持っています

通信スレッドがデータ受信して、メインスレッドの別のメンバ関数を呼び出した時、
メインスレッドで実行していた処理はどうなるのでしょうか？

メインスレッドで実行していた処理はあくまでもstaticな関数の処理で、staticでない他のメンバ関数は別に処理されるのでしょうか？
329 名前：はちみつ餃子 mailto:sage [2018/09/07(金) 23:04:25.63 ID:EL+7DMJm0.net]: >>322
説明が分かり難いなぁ。

通信スレッドとやらから呼び出した関数は通信スレッド上で走っているし、
メインスレッドはメインスレッドで走っている。
330 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 23:21:53.12 ID:nLV7kBrTa.net]: >>323
分かりずらくて申し訳ありません..
もし通信スレッドで呼び出した別のメンバ関数内でメンバ変数を変更した場合、
メインスレッドでもメンバ変数の変更値を参照できるのでしょうか
331 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 23:22:52.89 ID:RvuhpJx80.net]: スレッドとメモリの関係がよく分かってないようだ
332 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 23:23:07.46 ID:OXR/kEGJ0.net]: 微妙な質問ｷﾀ
333 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 23:23:45.59 ID:KDtg+GuV0.net]: 解放のタイミングがコンパイル時に確定しないのは shared_ptr でも同じでしょ。
任意のshared_ptrインスタンスを別のインスタンスにコピーした場合、解放のタイミングはコンパイル時に確定できない。
334 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 23:25:23.60 ID:RvuhpJx80.net]: vectorがconstexpr対応できるならshared_ptrもできそう
335 名前：デフォルトの名無しさん [2018/09/07(金) 23:26:09.70 ID:B/yxkRYZ0.net]: staticなﾒﾝﾊﾞ関数ではstaticなﾒﾝﾊﾞ変数しか参照できない
staticでないﾒﾝﾊﾞ関数はstaticな変数もstaticでない変数も参照できる

staticなﾒﾝﾊﾞ関数とstaticでないﾒﾝﾊﾞ関数が作用しあうのであれば、
当然staticな変数になる

はっきりいってな
staticな変数はｸﾞﾛｰﾊﾞﾙ変数と同じだからな
とうぜん同じ実体の変数を参照することになる
336 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 23:26:58.48 ID:OXR/kEGJ0.net]: >>329は視野が広い人じゃなかったのか！？
337 名前：デフォルトの名無しさん [2018/09/07(金) 23:29:06.23 ]: [ここ壊れてます]
338 名前： ID:B/yxkRYZ0.net mailto: > スレッド用のstatic関数以外にもメンバ関数を持っています

> 通信スレッドがデータ受信して、メインスレッドの別のメンバ関数を呼び出した
> 通信スレッドで呼び出した別のメンバ関数内でメンバ変数を変更した

まず低学歴知恵遅れは質問を読解する能力がない []: [ここ壊れてます]
339 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 23:35:54.69 ID:OXR/kEGJ0.net]: こりゃーもう>>324には>>331に回答してもらうしか
340 名前：はちみつ餃子 mailto:sage [2018/09/07(金) 23:38:50.05 ID:EL+7DMJm0.net]: >>324
出来るが、データ競合が起こらないように気を付けよう。
341 名前：はちみつ餃子 mailto:sage [2018/09/07(金) 23:41:24.38 ID:EL+7DMJm0.net]: 質問者が状況を理解してない説明をしてるから本当に回答になってるのかイマイチわからぬ。
無理に言葉にしようとせずにコードを示してくれた方がいいんだがなぁ。
342 名前：デフォルトの名無しさん [2018/09/07(金) 23:41:30.87 ID:B/yxkRYZ0.net]: ﾊﾞｶじゃなければ
普通にｱﾄﾞﾚｽが固定されてるstaticなﾒﾝﾊﾞ関数のｱﾄﾞﾚｽを
ｽﾚｯﾄﾞを開始させるｱﾄﾞﾚｽにしてると推定できるからな
343 名前：デフォルトの名無しさん [2018/09/07(金) 23:46:20.44 ID:B/yxkRYZ0.net]: このｽﾚのﾊﾞｶどもはｽﾚｯﾄﾞなんか
なんも分かってないからな

質問するﾔﾂもﾊﾞｶになにを聞いてもﾑﾀﾞだからな
そこの理解は必要
344 名前：デフォルトの名無しさん mailto:sage [2018/09/07(金) 23:56:01.03 ID:OXR/kEGJ0.net]: >>335
>ｽﾚｯﾄﾞを開始させるｱﾄﾞﾚｽ
さすあに
スレッドを起こす質問に解釈しやがった；；

>>322の
>メインスレッドはクラス化されており
>通信スレッドはメインスレッドのオブジェクトポインタ持ってます
と、>>324の
>メインスレッドでもメンバ変数の変更値を参照できるのでしょうか
からすると通信スレッドで変更したメモリをメインスレッドでも参照できるのかという質問かとｵﾓﾀわ；；；
345 名前：デフォルトの名無しさん [2018/09/07(金) 23:58:34.82 ID:B/yxkRYZ0.net]: > 通信スレッドはメインスレッドのオブジェクトポインタ持ってます

まず一番最初に書いてることが読めてない
致命的な頭のﾜﾙｻといっていい
346 名前：デフォルトの名無しさん [2018/09/08(土) 00:00:18.18 ID:j/6nk0eH0.net]: 普通にﾒｲﾝｽﾚｯﾄﾞのﾒﾝﾊﾞ関数呼び出して
ﾒｲﾝｽﾚｯﾄﾞのﾒﾝﾊﾞ変数を変更すると読めるからな

こんだけｺﾐｭﾆｹｰｼｮﾝﾚﾍﾞﾙが低いと
実生活でも支障があるﾚﾍﾞﾙといっていい
347 名前：デフォルトの名無しさん mailto:sage [2018/09/08(土) 00:03:28.41 ID:VqyCCBP80.net]: >>330
半角クンは自分の見たいものしか見えない、すなわち常に半角クンの中ではすべてのものを見通している視野100%ということなのだろう
348 名前：デフォルトの名無しさん mailto:sage [2018/09/08(土) 00:04:14.21 ID:49ssh0n4a.net]: >>333
mutexしときます
いろいろアドバイスありがとうございます
>>329ですね
349 名前：デフォルトの名無しさん [2018/09/08(土) 00:06:40.10 ID:j/6nk0eH0.net]: まずなこのｽﾚの低学歴知恵遅れたちは
自分たちがどんだけ低学歴知恵遅れかという自覚がない

致命的といっていい
350 名前：デフォルトの名無しさん mailto:sage [2018/09/08(土) 00:18:54.01 ID:6MRSNGru0.net]: 低学歴知恵遅れなので質問の解釈に関する>>337と>>339の違いがわからんが、

それはそうとして、当初の疑問に戻るが視野の広い>>342は
>とうぜん同じ実体の変数を参照することになる
には一切注釈をつけなくて良かったの？
351 名前：デフォルトの名無しさん [2018/09/08(土) 00:20:24.81 ID:j/6nk0eH0.net]: また低学歴知恵遅れが負け惜しみ意味不明なこといってるしな
低学歴知恵遅れの負けず嫌いは異常だからな
352 名前：デフォルトの名無しさん [2018/09/08(土) 00:22:38.67 ID:j/6nk0eH0.net]: 低学歴知恵遅れほど自尊心だけは高い
ｺﾚは底辺に多い

そして自分がｺﾞﾐｸｽﾞの低学歴知恵遅れである自覚もない

つまり救いようがない
353 名前：デフォルトの名無しさん [2018/09/08(土) 00:30:51.48 ID:j/6nk0eH0.net]: 低学歴知恵遅れの底辺ｺﾞﾐｸｽﾞほど自己評価だけは高い

その根拠のない自己評価の高さは
どこからくるものなかははっきりとは分からない

低学歴知恵遅れの底辺ｺﾞﾐｸｽﾞほどそういう傾向がある
それは経験からかなり相関が高いと確信している
354 名前： mailto:sage [2018/09/08(土) 00:31:21.19 ID:t7GfMYxV0.net]: みなさん厳しいですね…
私は質問側ですが、そして今 schme スレで質問を丸投げしちゃっていますが、わからないときは、なにがわからないかわからない、という感じだったりしています

>>324
なにか断片的でいいからコード例をあげていただくと嬉しいです、例えば https://ideone.com/VvdMRl
355 名前：デフォルトの名無しさん [2018/09/08(土) 00:45:27.68 ID:j/6nk0eH0.net]: むしろこのｽﾚの低学歴知恵遅れの底辺ｺﾞﾐｸｽﾞたちは
質問してるﾔﾂのﾚﾍﾞﾙにすら到達してない
356 名前： []: [ここ壊れてます]
357 名前：デフォルトの名無しさん mailto:sage [2018/09/08(土) 00:46:44.54 ID:49ssh0n4a.net]: >>347
pthread使ってる以外はほぼ同等な考え方です
実例作っていただきありがとうございます。
358 名前：デフォルトの名無しさん mailto:sage [2018/09/08(土) 01:03:30.65 ID:6MRSNGru0.net]: >>326で書いたとおりスレッドAで変更したメモリをスレッドBで正しく参照できるのか否かというのは
微妙な問題なんじゃ

>>347のコードでf::nの書き換えと参照が正しく動くのは
20行目のC::f()呼び出しで呼び出されたstd::coutがメモリバリア的な効果を果たしたに過ぎないかもしれん
（中でmutexとかcritical sectionとかなシステムコールを呼んでいるなら普通のOSならメモリバリアが効く

と自尊心だけは高い低学歴知恵遅れなので難癖をつけておく
実証はしない
359 名前：デフォルトの名無しさん mailto:sage [2018/09/08(土) 01:10:28.57 ID:6MRSNGru0.net]: >>347のコードがそもそもC::nがvolatile宣言されていないのに安全に動いている理由は…
と始めると荒れる…！

それはともかくスレッド間のメモリの読み書きを>>341のmutexでガードするというのは大変良い心がけです
多少遅いかもしれないが遵守する限り泥沼に踏み込まずに済む
360 名前：デフォルトの名無しさん mailto:sage [2018/09/08(土) 01:32:58.78 ID:LCjnyCTn0.net]: >>322
メインスレッドとサブスレッドで並列に起動して同じ変数を書き換えた場合、書き換えレースになる。
ロックっていう機構があるのでそれを参照。
361 名前： mailto:sage [2018/09/08(土) 01:41:37.02 ID:t7GfMYxV0.net]: >>351
よろしければ教えていただけますか？

＞20行目のC::f()呼び出しで呼び出されたstd::coutがメモリバリア的な効果を果たした
メモリバリアって要するに x86 の lfence, sfence, mfence のことですか？
これはCPUキャッシュがメインメモリに吐き出されることを保証するものですか？
これらの命令は Pentiumu2 あたりにはなかったと思います、でも Pen2 とか特に Celeron-BP6(abit) で普通にデュアルプロセッサできていたのはどうしてでしょうか？
362 名前：デフォルトの名無しさん mailto:sage [2018/09/08(土) 02:36:49.43 ID:6MRSNGru0.net]: >>353
>これはCPUキャッシュがメインメモリに吐き出されることを保証するものですか？
ちげう
実行したコアのライトコマンドキューかリードコマンドキュー上の命令をその場で全部実行してしまうというもの
キャッシュのinvalidateやfillが起きるかどうかとは別の話（結果的に起きることもあるが常にではない
キャッシュと関係あるみたいな説明のページがあることは承知しているが苦情は漏れに言わないでﾎｽｲ

>これらの命令は Pentiumu2 あたりにはなかったと思います、でも Pen2 とか特に Celeron-BP6(abit) で普通にデュアルプロセッサできていたのはどうしてでしょうか？
古代の話は知らん
OoO（アウトオブオーダー実行）はすでにあったはずなので、ライトコマンドキューやリードコマンドキューもすでにあった
全くの推測だが、キャッシュのinvalidate操作が（invalidateを常に伴うため効率の悪い）メモリバリアと同じ効果があったとかではないかいや知らんけど
363 名前：デフォルトの名無しさん mailto:sage [2018/09/08(土) 02:52:26.13 ID:6MRSNGru0.net]: ちなIA（Intel Architecture）のうちでも常識的なコア数のやつは
コア間のキャッシュコヒーレンシをハードウェアで勝手に取ってくれるので、
コア間のメモリ参照の不整合はメモリバリアだけ注意したら逝ける（キャッシュの存在は透過的
364 名前：はちみつ餃子 mailto:sage [2018/09/08(土) 02:58:07.14 ID:VmsJpbI+0.net]: >>353
こないだ atomic を使ってたけど、
atomic について調べたならそこらへんの話もどこかに書いてなかったか？
C++ 用語ではバリアでなくてフェンスって言ってるけど。
365 名前：デフォルトの名無しさん mailto:sage [2018/09/08(土) 03:04:22.19 ID:RizVmglH0.net]: メメリバリアやフェンスの意味を知るにはcpuのメモリモデルの理解が必要

https://yohhoy.hatenablog.jp/entry/2014/12/21/171035
366 名前： mailto:sage [2018/09/08(土) 03:04:32.58 ID:t7GfMYxV0.net]: >>354
＞実行したコアのライトコマンドキューかリードコマンドキュー上の命令をその場で全部実行してしまうというもの
＞キャッシュのinvalidateやfillが起きるかどうかとは別の話（結果的に起きることもあるが常にではない

なるほど…ちょっとだけ理解が進んだかもしれません
「はるか遠くにあるメインメモリに変更が反映されるか
367 名前：どうか」はプログラムの書き手にはあまり関係がなく、 「各コアから見る限りにおいて、各コアが発したライトあるいはリードの結果すべてが反映され、各コアからはみえている」と考えればいいのですね これらのメモリの可視性について http://www.cs.tsukuba.ac.jp/~yas/cs/csys-2013/2013-10-15/ 等を熟考しています mutex や cond にその方面での効用があるとは…、pthread のメモリ可視性に関する効果はあまり意識していませんでした 重要なヒントをくださりありがとうございます []: [ここ壊れてます]
368 名前： mailto:sage [2018/09/08(土) 03:17:34.12 ID:t7GfMYxV0.net]: >>356
ええ、atomic に関係する話をいろいろと読んではいたのですが、正直なところ、あまりよくわからなかったことを告白します
acquire とか release とか、いまひとつイメージできなかった…
atomic の各メンバ関数の memory_order は C++デフォルト引数として sequence-consist(ency) を与えていることはわかりましたので「最強にしているから、まあいいか」くらいですましていました

>>354
＞実行したコアのライトコマンドキューかリードコマンドキュー上の命令をその場で全部実行してしまうというもの
この記述が一番しっくりきました
369 名前： mailto:sage [2018/09/08(土) 04:20:01.69 ID:t7GfMYxV0.net]: >>352
＞書き換えレース
ええと、これを読んで reset-set flip-flop の禁止入力「R=S=1」のことを思い出してしまったんですが、それはさておき

複数のコアが同一メモリに対して「同時に書き込み」する、というのは、このフリップフロップ禁止入力と同じ意味あいですか？
つまり「どっちの書き込みが後になるか、予想がつかないから禁止」…①

それとも、「複数のコアが本当に同時に書き込んでしまった場合、結果が不定になる」…②
（昔のフロッピーディスク供給のソフトウェアプロテクトの方法としての「コロコロビット」＝読み出すたびに 0/1 が変わる）という意味なのか

いや、①も②も同じような意味なのかもしれませんが、
>>215 の「CAS 連続スピンロックや CAS 連続スピンロック中に別コアから書き込んだり読み込んだりすること」
が②の意味で危険で、ソフトウェア側で mutex や dirty-bit (>>238) を設けて本当に意図的にコントロールしなければならないのか、と、ちょっと心配になりました
最初から安全側にふっておくとは思いますが
370 名前：デフォルトの名無しさん mailto:sage [2018/09/08(土) 08:05:39.39 ID:RizVmglH0.net]: 考える前に学んだ方がいい

cas が使い物にならないならなぜそんな物があると思う？
というか mutex の実装にも cas は使用される。

使い方がわからないからcasは使わず mutex を使うという判断は正しいが、
例えば前の例のエラトステネスの篩で実装1ビットセットする毎に
mutex で排他していたらコアがかなり沢山あってもシングルスレッドの方が速い
(mutex api を処理する時間が大半を占めてしまう)
371 名前：デフォルトの名無しさん mailto:sage [2018/09/08(土) 08:13:01.68 ID:RizVmglH0.net]: 質問する前にスレッドセーフとか排他制御とかレースコンディションとか
弱いメモリモデルとかでググって時間くらいしっかり読んで
372 名前：デフォルトの名無しさん mailto:sage [2018/09/08(土) 08:13:34.47 ID:RizVmglH0.net]: >時間くらい
「1時間くらい」のタイプミスでした。
373 名前：デフォルトの名無しさん mailto:sage [2018/09/08(土) 11:49:10.23 ID:+e2Zk2SC0.net]: >>360
cpuのメモリモデルの説明読んだら最初の方に書いてあると思うけど
普通ワード単位のアクセスは何もしなくてもハード的にアトミックであることが保証されてる
そこで壊れたらやってられないからな
374 名前：デフォルトの名無しさん mailto:sage [2018/09/08(土) 13:52:50.37 ID:UCzuGyPmM.net]: >>360
> つまり「どっちの書き込みが後になるか、予想がつかないから禁止」…①
順序は予測できないと言うのは正しい

> それとも、「複数のコアが本当に同時に書き込んでしまった場合、結果が不定になる」…②
通常
375 名前：のプロセッサならこれはない 排他制御がなされていてどちらかの結果が最終的に反映される ただ CAS (Compare And Swap) 命令はそう言う話じゃなくて読出動作 (Compare) と書込動作 (Swap) がアトミック（つまりその間には他のアクセスは無いように制御されてる）ってこと ソフトでどうのこうのできる話じゃないからシステムから提供されてるAPIを素直に使いなさい >>364 中途半端な知識で語るなよ []: [ここ壊れてます]
376 名前：デフォルトの名無しさん mailto:sage [2018/09/08(土) 16:38:24.58 ID:+lRq1NsW0.net]: >>364
だよな
同一のCS, WE/OEをファンアウトさせるわけで
配線遅延があってもクロック同期で関係なくなるし
377 名前：デフォルトの名無しさん mailto:sage [2018/09/08(土) 20:07:53.81 ID:6MRSNGru0.net]: このスレは荒れる…！

マルチスレッド、マルチコア、アウトオブオーダー実行（OoO）にまつわる3つの問題は分けて考えられねばならない；
　(A) 書き換えレースの問題（>>352）
　(B) アドレスxに対する読み書きのatomic性（>>364）
　(C) メモリバリア（>>354）

(A)はマルチスレッドすればシングルCPUでも起きる問題
(B)はこれは何ビット幅までの読み書きを他コアが割り込み不可能なバスサイクルで行えるかという話。マルチコア固有
(C)はマルチコア状況化でのアウトオブオーダー（OoO）実行の影響をソフトで制御して無問題にするテクの話で、マルチコア×OoO固有の話

>>364は(B)のことを言っており、だいたい合っているんじゃ
（IAの場合、4バイト境界に整列した32ビットまでは(B)の意味でatomicに読み書きできる
　整列していないデータの読み書きは16 bitであっても(B)の意味でatomicではない
　インテルのマニュアルに書いてある
　自尊心だけは高い低学歴知恵遅れなのでいちいちソースは示さないが
378 名前：デフォルトの名無しさん mailto:sage [2018/09/08(土) 20:29:14.34 ID:6MRSNGru0.net]: とはいえ、読み書きをミューテックスなりロックなりでガードする、…(D)
これだけを遵守すれば>>367の問題は全部忘れて良い（>>351の後段にも書いた）
メモリモデルとかまともに勉強する必要は無い
さらに言うと、まともなコンパイラなら（中でどんな副作用やメモリバリアを行うかわからない）システムコールを跨いだ
変数のレジスタ割り当てとかしないから、(D)を守れば実際のところ（ほとんどのケースで）volatileも要らん

メモリモデルを勉強する必要があるのは、(D)の速度に不満が生じて改善する必要に迫られたとき、
例えばdouble-checked lockingテクがちゃんと動くのかとか不安になったりロックレスハッシュを作らねばならなくなったときだけ！
379 名前：デフォルトの名無しさん mailto:sage釣 [2018/09/08(土) 22:09:03.01 ID:Mc6Ny40VM.net]: >>367
マルチプロセッサとかNUMAの事は考慮しなくても良いのけ？
380 名前：デフォルトの名無しさん mailto:sage [2018/09/08(土) 23:30:32.50 ID:ZUEeKRTR0.net]: バスサイクルと言ったりミューテックスって言ったり話のレベルがぐちゃぐちゃすぎる…
381 名前：デフォルトの名無しさん mailto:sage [2018/09/09(日) 01:33:18.67 ID:XJaXrhZ00.net]: なんせC++は生ポが使える低水準言語ですし・・・
382 名前：デフォルトの名無しさん mailto:sage [2018/09/09(日) 03:24:55.55 ID:Q3MV1FJL0.net]: 要するにあらゆる左辺値をatomicにして更にミューテックスでガードしとけば（これはキチガイ）
ハード系の知識を学ぶ必要はない（ハードソフトという名の蛸壺）という無茶苦茶な主張だな
勉強嫌いにもほどがあるだろ、何が低学歴だ
383 名前：デフォルトの名無しさん mailto:sage釣 [2018/09/09(日) 08:36:42.55 ID:BqWnELncM.net]: 周辺チップからのメモリ書換をミューテックスでガード出来るのか
384 名前：デフォルトの名無しさん mailto:sage [2018/09/09(日) 08:59:15.50 ID:9h0HyZsY0.net]: 実際プログラミングする上でハードの知識はいらんだろ
385 名前：デフォルトの名無しさん mailto:sage釣 [2018/09/09(日) 09:25:43.25 ID:BqWnELncM.net]: ハードの知識無しでデバドラ書けるのけ？
386 名前：デフォルトの名無しさん mailto:sage [2018/09/09(日) 10:19:49.00 ID:Q3MV1FJL0.net]: >>374
メモリのゴーストとか普通に出てくるだろ
PCという狭い牧場から出たことのない家畜は知らんだろうけど
387 名前：デフォルトの名無しさん mailto:sage [2018/09/09(日) 10:31:54.13 ID:9h0HyZsY0.net]: >>375
は？プログラミングが書けると言っただけでデバドラのプログラミングするなんて言ってねえよ
じゃあお前は信号処理を知らずに音声合成のプログラミング書けるのか？
>>376
だからそんなの考慮知らなくもソフトウェアは作れるんですが
388 名前：デフォルトの名無しさん mailto:sage [2018/09/09(日) 10:37:46.17 ID:kQslwDxe0.net]: 作文したら推敲しろ、って小学校で習うはずなんだけどな
389 名前：デフォルトの名無しさん mailto:sage [2018/09/09(日) 10:39:04.08 ID:9h0HyZsY0.net]: >>378
え？
お金も払われないのに推敲？
時間の無駄じゃん
390 名前：デフォルトの名無しさん mailto:sage [2018/09/09(日) 11:01:35.79 ID:Q3MV1FJL0.net]: >>377
ああ家畜か
人間よばわりして悪かったな
391 名前：デフォルトの名無しさん mailto:sage [2018/09/09(日) 11:25:28.91 ID:lGJ+2GvF0.net]: ハードウェア部分を隠すためのOSによるアクセスの抽象化とか、
標準ライブラリがあるわけだし、ハードウェアの知識が絶対に必要でもないでしょ。

デバイスドライバを書くプログラマが優れているとか、その反対に
高レベルな(抽象度の高い)ソフトを作る人ほど偉いってものでもない。
392 名前：デフォルトの名無しさん mailto:sage [2018/09/09(日) 11:26:29.90 ID:l6rR/pccM.net]: >>380
逆に家畜はお前じゃね？
ハードウェアを意識しないとプログラミング出来ないなんて可哀相
393 名前：デフォルトの名無しさん mailto:sage [2018/09/09(日) 14:43:15.61 ID:TxROatu90.net]: 何これ？
394 名前：デフォルトの名無しさん mailto:sage [2018/09/09(日) 15:02:39.54 ID://bKOaXP0.net]: いつものマウントごっこだろ
395 名前：デフォルトの名無しさん mailto:sage [2018/09/09(日) 16:27:56.67 ID:TAQT5wBea.net]: for i in {0..15}; do
mount /dev/dm-$i /mnt
done
396 名前：デフォルトの名無しさん [2018/09/09(日) 17:06:11.77 ID:V1LakR3i0.net]: 捕食される側の人類最底辺同士で争ってる
397 名前：デフォルトの名無しさん mailto:sage [2018/09/09(日) 17:19:50.37 ID:xES8AK750.net]: 低レベルプログラミングって言う面白そうな本が出てたなあ
398 名前：デフォルトの名無しさん mailto:sage [2018/09/09(日) 18:06:25.87 ID:acpzPeVw0.net]: そういえば、さいきんの低レベルいじる時ってどうするんやろね。
BIOSなくなってきてるし、作法かわってきてるのかなぁ・・・。
399 名前：デフォルトの名無しさん mailto:sage [2018/09/09(日) 18:53:37.14 ID:+aTtRZce0.net]: 古き良きシリアルポートが普通のPCではほぼ絶滅してるからなあ
USBきらい
400 名前：デフォルトの名無しさん mailto:sage [2018/09/09(日) 19:01:40.42 ID:acpzPeVw0.net]: USB制御のノウハウってあんまり周知されてない感じがする。
401 名前：デフォルトの名無しさん mailto:sage [2018/09/09(日) 19:09:08.66 ID:Q3MV1FJL0.net]: アイソクロナス？
402 名前：デフォルトの名無しさん mailto:sage [2018/09/09(日) 19:38:22.19 ID:eYgKQZDEM.net]: >>382
高級ってのを誤解しているアホがここにもいたわw
403 名前：デフォルトの名無しさん mailto:sage [2018/09/09(日) 21:21:28.72 ID:TxROatu90.net]: >>390
LINE EYEで見てるとエラー出まくったりしてるね
404 名前：デフォルトの名無しさん mailto:sage [2018/09/10(月) 22:46:19.98 ID:IGaBABI/d.net]: dllからexeをCreateProcessで起動するとメモリリークするとかある？
debugging tool forなんたらみたいなやつでメモリリークチェックしてるのだけど
exeから呼んだやつはリークなし
dllから呼んだやつはリークありとなっている
監視開始ポイントと終了ポイント及び呼び出しソースコードに差分がなく
その他にも差分がないんだ
405 名前：デフォルトの名無しさん [2018/09/10(月) 23:03:06.10 ID:XzQQxj6r0.net]: dllから呼びだす場合
dllは呼びだした側のﾌﾟﾛｾｽと同じｱﾄﾞﾚｽ空間にﾏｯﾋﾟﾝｸﾞされ
dll側の関数を呼び出して生成されたﾋｰﾌﾟも
呼びだした側のﾌﾟﾛｾｽと同じｱﾄﾞﾚｽ空間にﾏｯﾋﾟﾝｸﾞされる

ﾌﾟﾛｾｽから呼び出した場合、
呼び出した側のﾌﾟﾛｾｽと関係ない呼び出された側のﾌﾟﾛｾｽのｱﾄﾞﾚｽ空間に
ﾋｰﾌﾟは生成されるから
呼び出した側のﾌﾟﾛｾｽを監視してもそのﾘｰｸについて検出されることはない

分かった？
406 名前：デフォルトの名無しさん mailto:sage [2018/09/11(火) 05:56:49.25 ID:3QLqjO4o0.net]: 質問と回答が違う
407 名前：デフォルトの名無しさん mailto:sage [2018/09/11(火) 09:46:04.97 ID:THBnA1g1M.net]: そのツールでもうちょっと情報とれないんかいって思うが、
ランタイムライブラリの指定とか見直してみたら？
というかexe起動を繰り返したら繰り返すだけリークする？
最初の一度だけならあんまり気にしなくていいんじゃない？しらんけど
408 名前：デフォルトの名無しさん [2018/09/11(火) 22:07:19.41 ID:i7axZbyN0.net]: 質問通りの
ｺﾚ以上ないｴﾚｶﾞﾝﾄなﾚｽになってる
409 名前：デフォルトの名無しさん mailto:sage [2018/09/11(火) 22:09:50.93 ID:BTBlWiGG0.net]: あかねちゃん。
410 名前：デフォルトの名無しさん mailto:sage [2018/09/12(水) 00:18:15.71 ID:B23czwA60.net]: >>394
umdhじゃないかと思うが、スタックトレースは見てみたの？
プロセスの標準入出力に名前付きパイプが指定されてるとdllの明示的なアンロードのタイミングでApplication verifierでリーク検出されたことはあった。
411 名前：デフォルトの名無しさん mailto:sage [2018/09/12(水) 09:57:57.91 ID:OqmF7RQ90.net]: >>394
dll ってことは何かの exe の中で動いてるんだろ
そっちのコードが他スレッドで何かアロケートしてるとか

単に dll の問題で CreateProcess しなくてもリークしてるとか
412 名前：デフォルトの名無しさん mailto:sage [2018/09/12(水) 19:18:39.87 ID:BIkz+Ggud.net]: >>397
>>395
>>400
>>401
色々とありがとう。UMDHです
色々と試してみたところ繰り返し行ってもリーク量は増えなかったので、自分が作成したロジック以外でのリークみたいでした
UMDHは増えず、タスクマネージャー上のプライベートメモリとかが増えてくのは気になったけども....
413 名前：デフォルトの名無しさん mailto:sage [2018/09/14(金) 01:05:55.69 ID:y0a2qOvJ0.net]: >>402
メモリはコミットサイズを確認。
あとはハンドルをクローズしてないとかはないよね。
414 名前：はちみつ餃子 mailto:sage [2018/09/14(金) 01:26:50.31 ID:NOYHI4qj0.net]: >>402
UMDH は増えずにタスクマネージャー上のプライベートメモリが増えるということは必ずしも問題があるわけではない。
(もちろん問題がある場合もある。)
malloc や new で割り当てるメモリは、
OS からある程度のメモリを融通してもらった塊をアプリケーションのレイヤ (ランタイムライブラリ) で切り分けて提供することになる。
足りなくなったらまた OS に要求する。
しかしその要求というのも、メモリ空間を予約するだけで物理メモリはまだ割り当てないかもしれない。

「プライベートメモリ」というのは予約したメモリ空間のサイズを表すらしく、
実際のメモリ使用量を表さないので、
基本的には UMDH をあてにした方が良いと思う。
415 名前：デフォルトの名無しさん mailto:sage [2018/09/14(金) 04:46:07.61 ID:Ln8BSCnm0.net]: gflagsで対象exeのメモリ割り当てをコンパチブルモードにしてみたら
416 名前：デフォルトの名無しさん mailto:sage [2018/09/14(金) 07:55:52.78 ID:05hGeAAsd.net]: >>403
コミットサイズを確認すれば良いんですね
ハンドルクローズもしてますね
ありがとうございます

>>404
分かりやすくありがとうございます
差分が出ることもあり得るのですね
丁寧でとても助かりました
417 名前：デフォルトの名無しさん mailto:sage [2018/09/14(金) 20:22:01.09 ID:KUzt6BBd0.net]: プログラム全体で使いたい変数を宣言する際は
グローバル変数として宣言するのと#defineするのって何か違います？
どっちを使えばいいんですかね？
418 名前：デフォルトの名無しさん mailto:sage [2018/09/14(金) 20:34:55.91 ID:9HmXun5pa.net]: #define という事は定数だと思われるのでconstexprな変数に一票。
419 名前：デフォルトの名無しさん mailto:sage [2018/09/14(金) 20:44:10.13 ID:kDrjUGbb0.net]: グローバル変数だとコンパイルのときにエラーを出してくれる
#defineは値がヘンでもエラーを出さない
420 名前：デフォルトの名無しさん mailto:sage [2018/09/14(金) 20:54:15.35 ID:c9w6X9S4M.net]: どっちとか言う前にもう少し言語仕様を理解してこいよ…
421 名前：デフォルトの名無しさん mailto:sage [2018/09/14(金) 21:06:34.91 ID:YK4Q2JFR0.net]: >>407
そのレベルならいったんdefineは忘れるべき。
defineはほとんどの場合ただの置換に過ぎない。
422 名前：デフォルトの名無しさん [2018/09/14(金) 21:31:46.88 ID:fXySkelb0.net]: C++なら値変更不可な参照のみのｼﾝｸﾞﾙﾄﾝにしとけばいい
ｼﾝｸﾞﾙﾄﾝを動的にｲﾆｼｬﾗｽﾞできるようにすれば起動時に設定の変更ができたりするようにできる

めんどくさかったらdefineでいい
defineかえてｺﾝﾊﾟｲﾙしなおせばしまいだからな
そういうdefineはｶﾃｺﾞﾘｰ毎にまとめてぜんぶ一か所に書いときなさい

ｼﾝｸﾞﾙﾄﾝでも裸の外部変数はやめておいたほうがいい
それさえしなければどうでもいい
423 名前：デフォルトの名無しさん mailto:sage [2018/09/14(金) 21:53:36.47 ID:YK4Q2JFR0.net]: し、シングルトン？
この話題でまさかのsingleton笑
さすがにこれはネタだよね？
424 名前：デフォルトの名無しさん [2018/09/14(金) 21:55:11.25 ID:fXySkelb0.net]: 外部変数はｼﾝｸﾞﾙﾄﾝの変数だからな
なにもおかしくない
425 名前：デフォルトの名無しさん mailto:sage [2018/09/14(金) 21:56:25.39 ID:YK4Q2JFR0.net]: ここで言ってるsingletonって所謂GoFデザインパターンのsingletonだよね？
426 名前：デフォルトの名無しさん [2018/09/14(金) 21:58:26.14 ID:fXySkelb0.net]: そもそも池沼のID:YK4Q2JFR0はdefineがなにかすらわかってないからな

> defineはほとんどの場合ただの置換に過ぎない。

ほとんどもへったくれもなく
defineはただの置換だからな

頭悪い
427 名前：デフォルトの名無しさん [2018/09/14(金) 21:59:24.65 ID:fXySkelb0.net]: 頭悪いやつはﾑﾘしてﾚｽしなくていい
なにもわかってないんだからな
428 名前：デフォルトの名無しさん mailto:sage [2018/09/14(金) 22:01:10.88 ID:gH/Sje3Q0.net]: >>416
結合と文字列化もあるから「ほとんど」であってるが
429 名前：デフォルトの名無しさん mailto:sage [2018/09/14(金) 22:01:20.46 ID:YK4Q2JFR0.net]: いつもの半角くん病が発症したらしいw
毎度毎度、燃料投下、お疲れ様ですm(_ _)m
430 名前：デフォルトの名無しさん [2018/09/14(金) 22:02:21.10 ID:fXySkelb0.net]: defineか外部変数にしたいとかいう質問だからな
普通にｸﾞﾛｰﾊﾞﾙを定数値をもたせたいという質問内容なのに
このｽﾚの低学歴知恵遅れたちがどう解釈したかはしらない
431 名前：デフォルトの名無しさん [2018/09/14(金) 22:02:53.11 ID:fXySkelb0.net]: 結合も文字列かもただの置き換え
432 名前：デフォルトの名無しさん [2018/09/14(金) 22:05:22.67 ID:fXySkelb0.net]: まず低学歴知恵遅れは日本語を読解する能力がない
ものごとも抽象的にみる能力もない
つまり認知機能に著しい欠陥がある
433 名前：デフォルトの名無しさん mailto:sage [2018/09/14(金) 22:05:58.57 ID:BDjkgOYf0.net]: ID真っ赤にして火病起こしたか
434 名前：デフォルトの名無しさん [2018/09/14(金) 22:06:56.64 ID:fXySkelb0.net]: 静的にどう置換されるかｺﾝﾊﾟｲﾙ時に決定されてるからな
このｽﾚに池沼たちは、いつもなにをいってるか意味不明なﾜｹ
435 名前：デフォルトの名無しさん mailto:sage [2018/09/14(金) 22:07:36.57 ID:YK4Q2JFR0.net]: >>420
こういうtypoをツッコむのは本来嫌いなんだが、せっかく燃料投下してくれたお礼に一応指摘。
「ｸﾞﾛｰﾊﾞﾙを定数値をもたせたい」
毎回言うけど、C言語の前に日本語勉強したほうがええで。
436 名前：デフォルトの名無しさん [2018/09/14(金) 22:09:30.41 ID:fXySkelb0.net]: 低学歴知恵遅れが指摘できるのはこの程度
自分の著しい頭の悪さを棚にあげるからな

ｸﾞﾛｰﾊﾞﾙに定数値をもたせたい

とまともな日本語読解能力があれば
普通に読めるからな
437 名前：デフォルトの名無しさん [2018/09/14(金) 22:10:14.11 ID:fXySkelb0.net]: ともかくとてつもなく頭悪い
しかもとてつもなく頭悪いという自覚がない
438 名前：デフォルトの名無しさん mailto:sage [2018/09/14(金) 22:10:23.49 ID:YK4Q2JFR0.net]: >>426
よしよし、今日は素直でよろしい。
439 名前：デフォルトの名無しさん [2018/09/14(金) 22:11:29.39 ID:fXySkelb0.net]: で、ｵﾏｴは自分の頭が
とてつもなく頭悪いのは自覚してんか

ｺﾞﾐでｸｽﾞな人間であることも自覚できてんのか
440 名前：デフォルトの名無しさん mailto:sage [2018/09/14(金) 22:12:33.95 ID:YK4Q2JFR0.net]: さすがにもうワンパターンで飽きてきた。
もっと違う煽り方考えてよ。
ツンデレ的なのはどう？
441 名前：デフォルトの名無しさん [2018/09/14(金) 22:14:52.54 ID:fXySkelb0.net]: 煽り？
まず事実だからな

ﾊﾞｶは自分がﾊﾞｶである自覚がない
だからﾊﾞｶが直らない

すべてｺﾞﾐでｸｽﾞな人間性の問題
ｺﾞﾐｸｽﾞには内省というもんがない
442 名前：デフォルトの名無しさん mailto:sage [2018/09/14(金) 22:18:12.66 ID:YK4Q2JFR0.net]: 最初は褒めて褒めて褒めちぎった上でミスリードを誘い、その上でボロクソに貶すとかどう？
さすがに皆そのやり方は飽き飽きしてるよ。
443 名前：デフォルトの名無しさん mailto:sage [2018/09/14(金) 22:34:27.68 ID:5DPUkElZ0.net]: 子猫がかわいくて甘噛みされたらちょっと叩いたあとで頭なでなでしてたら
大人になっても強くかむようになって困ったのを思い出した

なんだかなあ
444 名前：デフォルトの名無しさん [2018/09/15(土) 00:40:17.11 ID:KIanXBkQ0.net]: ｵﾚはこんなことはしてないからな

　　　　　　　　　　　　　　　　　　　　　　　ﾀｶｲ
　　　　　　　　　　　　　　　　　　　　∧_∧　ﾀｶｰｲ
　　　　　　　　　　　　　　　　　 m⊂(´・ω・)⊃
　　　　　　　　　　　　　　　⊂c 　ﾉ__　　ノ
　　　　　　　　　　　　／⌒ヽ　 | .|　 | .|　　　　　　　　　　　　　　　　／⌒ヽ
　　　　　　　　　　　　（　＾ω＾） i　i二 .ﾉ　　　　　　　　　　　　　　_（　＾ω＾） il| 　　死ね
　　　　　　　　　　（´　　二二二ﾉ　　　　　　　　　　　　　　　　（´ ＼　　　＼|il　|il il|
　　　　　　　　　／　　　　/:　　　　　　　　　　　　　　　　　／　＼. ＼ノ＼. ＼il|　|il|
　　　　　　　　i===ﾛ==／　　　　　　　　　　　　　　　　　　i===ﾛ== ヘ. ＼.　i|!l !l＼il|
　　　　　　　ノ:::::::::::::::::ヽ　　　　　　　　　　　　　　　　　　ノ:::::::::::::::::ヽ　＼ヽη /'）/'）
　　　　　／:::::::::::へ:::::::::ヽ　　　　　　　　　　　　　　　／:::::::::::へ:::::::::ヽ　ヽ_,,..)　　/
　　　　　/::::::_/　　　＼:::::::)　　　　　　　　　　　　　　/::::::_/　　　＼:::::::)　　　）　　（ / ／
　　　／::_　'´　　　　　　|::::|　　　　　　　　　　　　／::_　'´　　　　　　|::::|　⊂（v　　　）⊃
　　レ　　　　　　　　　　しつ　　　　　　　　　　レ　　　　　　　　　　しつ｀)　＼　〆　(´￣　　　　　　　　　　　
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　／⌒Ｙ⌒ヽ
ただの被害妄想
ｵﾚは事実を書き込んでるだけだからな
まず事実が事実であることを自覚するところから
445 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 01:10:27.96 ID:FCP8vuXka.net]: バイナリファイルの読み書きはfstreamとFILEどちらがオススメですか？
446 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 01:53:04.57 ID:wlkSFfZ20.net]: #include <iostream> is Forbidden
447 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 04:03:10.64 ID:x4qTic2YM.net]: FILE
448 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 06:14:52.60 ID:/OsufeBT0.net]: >>407 を虚心坦懐に読めば
「#defineじゃ定数値しか作れんのだから変数にする以外ない」
という身も蓋もない答えもありうるわな。
さすがにそんな揚げ足取りをする人はいないみたいだけど。

プログラム全体で参照する定数値をconstのグローバル変数にするか
#defineにするか、なら一般的にはconst変数の方が好まれるかな。
const変数の利点と言うより、#defineの弊害を避けるためって理由で。

その定数が整数値なら enum class も候補に入れてくれ。
static_castが面倒臭いかも知れんけど。
449 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 08:40:54.56 ID:8TAknpK9d.net]: ここまでconstexpr1つもなしなのはみんな意図的？
450 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 09:11:50.04 ID:pVwVWDM8M.net]: >>439
つ 408
451 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 09:12:10.24 ID:hHXkfIbs0.net]: >>439 >>408
452 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 09:39:05.72 ID:u2jcQID60.net]: 整数の定数くらいならconstexpr付けても付けてなくても大して変わらなくない？
const int n = 42; と constexpr const int n = 42; って何が違うの
どっちも定数式文脈で使えるでしょ
453 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 10:09:16.49 ID:8TAknpK9d.net]: >>440
>>441
節穴だった申し訳
454 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 10:28:10.96 ID:wlkSFfZ20.net]: constexpってクソださい仕様だよな
勝手に推論して最適化しとけや
455 名前：デフォルトの名無しさん [2018/09/15(土) 11:23:26.53 ID:oMwX4DqWa.net]: >>438
関連性のある定数群をまとめる為にはスコープがあるenum classはいいんだけど、
フラグとして使うのが難しいのがちょっと難点

enum class PNG_COLOR_MASK: uint8_t{
GRAY = 0b000,
PALETTE = 0b001,
RGB = 0b010,
ALPHA = 0b100
}
enum class PNG_COLOR_TYPE: uint8_t{
GRAYSCALE = PNG_COLOR_MASK::GRAY,//できない
RGBA = PNG_COLOR_MASK::RGB | PNG_COLOR_MASK::ALPHA//できない
}
456 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 14:56:24.44 ID:u2jcQID60.net]: フラグとして使うならoperator|と&をオーバーロードするのが良いけど面倒だね

PNG_COLOR_MASK operator|(PNG_COLOR_MASK e1, PNG_COLOR_MASK e2)
{

　using u_t = typename std::underlying_type<PNG_COLOR_MASK>::type;

　return PNG_COLOR_MASK((u_t)e1 | (u_t)e2);

}
457 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 15:34:42.86 ID:oMwX4DqWa.net]: ここまでやって更にstatic_castも必要となるという。
458 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 16:32:07.11 ID:I8Ewbo070.net]: >>444
むしろ俺はコンパイラでやらずビルドシステムで対応すべきことだと思っているが。
なんでもコンパイラに押し込もうとする悪しき風習に思う。
459 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 19:18:14.78 ID:XFoW6siK0.net]: fstreamでも結局writeするのでFILEと比較して都合のいい方を選べばいいよ。
460 名前：438 mailto:sage [2018/09/15(土) 19:36:37.14 ID:/OsufeBT0.net]: enum class はスコープを限定できる代わりに、個別の型として
ガチガチに保護されるせいで数値として使いにくい欠点はあるね。

namespace PNG_COLOR_MASK {
　enum {
　　GRAY = 0b000,
　　PALETTE = 0b001,
　　RGB = 0b010,
　　ALPHA = 0b100,
　};
}

　int grayscale = PNG_COLOR_MASK::GRAY;
　int rgba = PNG_COLOR_MASK::RGB | PNG_COLOR_MASK::ALPHA;

こんな感じにnamespaceで名前なしのenumを囲むか。
素直にconstexprを使えばいいんだけど、C++11以前でも可というニッチな提案。
461 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 20:20:12.42 ID:MJTXjpFoa.net]: その場合structで囲むのもありだね。二進数リテラルはC++11以前では拡張だけど。
462 名前：デフォルトの名無しさん [2018/09/15(土) 21:04:37.66 ID:V75GOAR/a.net]: >>446の案を利用（C++17以降？)
https://wandbox.org/permlink/yIJAkUN2Rm3h7Ldb
463 名前：デフォルトの名無しさん [2018/09/15(土) 21:10:11.77 ID:V75GOAR/a.net]: 少し修正
https://wandbox.org/permlink/WtrS5XFoh0knc1W7
464 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 22:39:15.30 ID:oE5p8K2a0.net]: ようわからんがプログラムを書き始めた当初
#define CONST_A 3
だったものを
extern int g_varA = 3;
#define CONST_A g_varA
とすれはCONST_Aは一瞬で値を変更可能な「変数」g_varAに設計変更になれるｷﾓｽ
（CONST_Aは定数のつもりだったが後から変数に変えたくなった場合

ただしそうしてしまうとプログラムのどこでも書き換えられてしまって危険極まりないので、
めんどくさくない限りシングルトンすべしという神の啓示に聞こえなくも無い

プログラム起動時のみに値を設定する目的であってプログラム動作中は定数扱いなのだとすれば、
シングルトンのマルチスレッド対応は特に何もしなくても良い（クリチカルセクションやミューテック巣やLOCKとか不要

まあ質問に対しては例の図画の「営業の約束」の類やな
465 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 22:48:41.06 ID:VQoTXRx30.net]: 2進数書けないのは不便だと昔からおもてた
466 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 22:56:14.72 ID:oE5p8K2a0.net]: 接頭辞0bというのは十六進数と紛らわしいから02にしよう
467 名前：さまよえる蟻人間 mailto:sage [2018/09/15(土) 22:58:34.46 ID:2Qh39GgFd.net]: 02だと、８進とかぶっちゃうよ。
468 名前：デフォルトの名無しさん [2018/09/15(土) 23:02:11.85 ID:bZY/rtks0.net]: 8進がおかしい
0Oにしろ
469 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 23:06:12.86 ID:oE5p8K2a0.net]: 二進数が書けたら書けたで、長ったらしくなるから桁区切りを入れさせろという要求が出るのは必至
犯人の要求はエスカレートする一方や
470 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 23:07:07.35 ID:5HUBWRKg0.net]: 誰かが仕込んだバグ以外で8進数が使われてるところを見たことがない。
パメ族以外で8進リテラル使ってるやつなんているのか？
471 名前：デフォルトの名無しさん [2018/09/15(土) 23:07:30.30 ID:V75GOAR/a.net]: C++14で桁区切りも対応してるぞ
472 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 23:17:11.26 ID:xQnt+Dhj0.net]: >>458
賛成！
473 名前：さまよえる蟻人間 mailto:sage [2018/09/15(土) 23:29:24.44 ID:2Qh39GgFd.net]: ダブルオー
474 名前：デフォルトの名無しさん mailto:sage [2018/09/15(土) 23:35:07.74 ID:VQoTXRx30.net]: マイコンベーシックで2進数のドット絵キャラを見たときは笑劇だった
475 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 00:46:24.98 ID:JK7FzOgWM.net]: >>461
アポストロフィーがどうにも気持ち悪くて…
慣れるのかね、そのうち
476 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 06:21:32.85 ID:TERwdiOQ0.net]: int a = 123; // a = 123
int b = 0123; // b = 83
ほんとクソ仕様だなこれ
477 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 06:35:39.96 ID:Ch2PxBqj0.net]: 桁区切りってISOにのっとってるの？
国によって違うけど対応してるの？
478 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 06:35:52.88 ID:NJnAChO90.net]: Unix系のファイルパーミッションは今でもしぶとく8進数だよな
大嫌いだからあの習慣早く滅亡して欲しい
479 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 07:40:39.31 ID:R+r0qoR6M.net]: >>467
可読性を高めるためのもの
コンパイラはただ読み飛ばすだけなのでお好きな記方でどうぞ
だったはず
480 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 08:43:28.35 ID:+ao0anr70.net]: >>460
unix のファイルパーミッションが3bit単位だから昔のソースではcreat()の引数に0755とか0644とか普通に書かれてる
てかそのための8進数だと思う
481 名前：デフォルトの名無しさん [2018/09/16(日) 08:47:08.77 ID:SOVIz+sV0.net]: rwxrwxrwx
421421421

8進数なのはｱﾀﾘﾏｴ
8進数以外で表現しようがない
482 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 09:04:46.04 ID:J7jkqE/NM.net]: intelチップのマシンコードは3bit単位で意味が変わるから
ハンドアセンブル出来るひとは普通８進数使えるよ
483 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 09:08:16.62 ID:NJnAChO90.net]: stickyビットとかsetuidビットとか増えてるから本来はもう8進数じゃ足りないんだぞ
未だに引きずられて無理矢理8進数で表現してるのは害悪だから
484 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 09:14:30.28 ID:lOWFqhA+0.net]: >>465
気持ち悪いよな
アンダースコアでよかったのに何でって思う
485 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 09:19:40.62 ID:yGlb1wug0.net]: どっかに書いてあった。ユーザー定義リテラルと衝突するんだと。
486 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 09:20:40.61 ID:AHKBmQkKa.net]: ユーザー定義リテラルが先にきてて、アンダースコアだと重複してしまうから。
案としてはアンダースコアも出てたはず。
487 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 09:24:34.63 ID:AHKBmQkKa.net]: これやな。
https://cpprefjp.github.io/lang/cpp14/digit_separators.html
488 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 09:30:17.66 ID:Z6oeOzwN0.net]: 日本の数勘定として、3桁区切りより4桁区切りのほうが良いと思うの。
100,000,000と書いててもぱっと1億って分からん。
1,0000,0000のほうが分かりやすい。
ってC言語関係ないけど。
489 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 09:40:48.27 ID:M63m8fL00.net]: >>478
万事、英米基準だから…
490 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 10:16:56.42 ID:lOWFqhA+0.net]: operator "" _000 () みたいなアホなこと書かれかねないからか
なるほどthx
491 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 11:19:42.15 ID:+ao0anr70.net]: >>471
4bit区切りでいいだろ
4bit目は予備として0固定にしちゃえばいいだけ
492 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 11:23:02.16 ID:+ao0anr70.net]: >>465, >>474
https://askul.c.yimg.jp/img/product/3L1/968131_3L1.jpg
493 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 14:03:39.12 ID:cGCWO0MtH.net]: >>478
一億ってかけ
それ以外は認めん
494 名前：はちみつ餃子 mailto:sage [2018/09/16(日) 14:41:57.29 ID:iD6L9h5X0.net]: ユーザー定義リテラルで 1_億みたいには書けるじゃろ
495 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 14:43:54.49 ID:lOWFqhA+ ]: [ここ壊れてます]
496 名前：0.net mailto: constexpr unsigned long long operator "" _\u5104 (unsigned long long val)
{
return val * 10000 * 10000;
} []: [ここ壊れてます]
497 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 14:58:07.76 ID:lOWFqhA+0.net]: //　Header <japanese> synopsis
constexpr unsigned long long operator "" _\u4e07 (unsigned long long);
constexpr unsigned long long operator "" _\u5104 (unsigned long long);
constexpr unsigned long long operator "" _\u5146 (unsigned long long);
constexpr unsigned long long operator "" _\u4eac (unsigned long long);
constexpr unsigned long long operator "" _\u5793 (unsigned long long);
constexpr unsigned long long operator "" _\u25771 (unsigned long long);
constexpr unsigned long long operator "" _\u7a63 (unsigned long long);
constexpr unsigned long long operator "" _\u6e90 (unsigned long long);
constexpr unsigned long long operator "" _\u6f97 (unsigned long long);
constexpr unsigned long long operator "" _\u6b63 (unsigned long long);
constexpr unsigned long long operator "" _\u8f09 (unsigned long long);
constexpr unsigned long long operator "" _\u6975 (unsigned long long);
constexpr unsigned long long operator "" _\u6052\u6cb3\u6c99 (unsigned long long);
constexpr unsigned long long operator "" _\u963f\u50e7\u7947 (unsigned long long);
constexpr unsigned long long operator "" _\u90a3\u7531\u4ed6 (unsigned long long);
constexpr unsigned long long operator "" _\u4e0d\u53ef\u601d\u8b70 (unsigned long long);
constexpr unsigned long long operator "" _\u7121\u91cf\u5927\u6570 (unsigned long long);
498 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 15:01:20.18 ID:AX2qPX270.net]: mjk
499 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 15:13:55.06 ID:NJnAChO90.net]: まあ64bit整数は垓でオーバーフローしちゃうけどな
500 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 15:19:22.27 ID:un+A0LAL0.net]: アンダーバー必須？
501 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 15:23:34.17 ID:PDH9z/EW0.net]: 予約語なのでユーザー定義リテラルをユーザー定義するときはないとダメ
502 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 20:49:23.78 ID:ecoXNuEUM.net]: >>482
あー、既視感はこれか…
503 名前：デフォルトの名無しさん [2018/09/16(日) 21:37:31.50 ID:Lm7yQOTf0.net]: 全然関係ない話だが
めんどくさいC,C++を習得すると
他言語学習が簡単に進む
504 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 21:46:28.57 ID:h2MQFGAYM.net]: >>492
つ VLIW
505 名前：デフォルトの名無しさん mailto:sage [2018/09/16(日) 23:31:10.84 ID:V0g35lEl0.net]: 他言語すべてがザコに見える
特にJAVA
506 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 00:00:35.54 ID:x38HLuISM.net]: 多言語使いは問題解決能力が無いのに偉そう
特にJava
507 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 07:23:44.67 ID:EVO8AkN40.net]: ところで、C++ってどんな開発に使ってるの？
Linuxのアプリ以外で。
508 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 07:48:33.15 ID:oxQatDsR0.net]: https://github.com/satori16/PulseGeneratorForWindows
こんな感じの物が作れるようになった。win32apiだ。
コアはそれなりにできたが、UI作ろうとしたらバグで死亡ちゅう。テストは良いけど過信しないで。
VBとかC#のビジュアル開発がどれだけ楽か身に染みてきた。

ところで、[0,1]の引数のみで使える面白関数しらないかい？
logとかは線形な気がするのでもっとおかしな奴ないかい？
509 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 09:36:25.88 ID:dZ3SMulNa.net]: edcb
510 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 13:09:26.75 ID:9OAi7Hbk0.net]: >>496
アルゴリズムベンチマーク。
リークしててもそこまで問題にならんし、速度が実際どれくらい出るもんか調べるには良い。
まあcでも良さげな使い方ばっかだけど、namespaceとか多少ね。
511 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 14:24:16.64 ID:zCVYDMXL0.net]: >>496
速度が求められるアプリはC++でしょ
大規模データでシミュレーションとかJavaでは遅くて無理
512 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 14:39:27.45 ID:r6sTx27/r.net]: リークしてても？

リークしてても……？
513 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 14:44:25.11 ID:zCVYDMXL0.net]: >>501
そうだなｗ
盛大にリークしてたら速度にめちゃ影響するわな
514 名前：はちみつ餃子 mailto:sage [2018/09/17(月) 15:02:34.85 ID:O6rb8eh90.net]: ものすごい潤沢にメモリがあって処理が終わるまでに使い切ることがないという確信があれば
メモリを解放する処理を入れずに速度を優先することは無いわけではないと思うが、
それが妥当かどうかいちいち検討するコストをかけるくらいならちゃんと解放しておいた方がよろしい。
515 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 15:32:46.89 ID:t936AOdi0.net]: なんで速度を要する処理の途中でメモリを獲得するん？
なんで速度を要する処理の途中でメモリを獲得するん？ 👀
Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b)
516 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 16:08:31.17 ID:0/ju7MLa0.net]: >>503
「ものすごい潤沢」では意味がない
処理が終わるまでに最悪何バイト使う可能性があり、
実装されているメモリは何バイトなのか、
需要と供給の具体的な比較あるのみ
517 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 16:22:22.61 ID:kSBsQrFK0.net]: サーバープログラムみたいなもんだったら
リークしてたらどこでシステム停止するかわからんし大問題に繋がるだろうが、
てきとうなベンチマーク検証ならリークしようと最悪落ちようとそこまで支障をきたすわけじゃ無いってことだよ。

てか実際問題そのくらい実験的な意味合いの強いものじゃ無いとc++は苦しい気がするんだが。
518 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 17:13:04.47 ID:EVO8AkN40.net]: C++の生産効率、バク埋め込み率、デバックのしにくさを考えると、積極的にC++を採用すべき分野って限られてくるよね。
組み込みやドライバではCが主流だし、WindowsやスマホではほぼC++は使われないし、Webの世界ではスクリプト言語だし、計算分野ではPythonやMatlabやMathmaticaだし。
仕事でC++使う機会は最近めっきり減ったわ。
519 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 17:37:23.45 ID:3kd9gc670.net]: スマポとSTL使ってればリークなんかそうそう起こらんだろ
古臭いC++のイメージで語らないほうが良いよ爺さま方
520 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 17:41:18.57 ID:qtGPC3c90.net]: スマポと言っても一秒間に数千回数万回の確保とかしてたら流石に遅くなるんじゃね？
521 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 17:53:56.99 ID:3kd9gc670.net]: unique_ptrはナマポ使ってるのと一緒よ
522 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 17:55:45.86 ID:SBpxj18K0.net]: >>509
そんな機会はめったにないし、万が一あったらそこだけナマポとかで対処できるのはC++だけ
523 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 18:07:37.03 ID:r6sTx27/r.net]: >>502
いや、どんな場合でもリークしないように書けよと思って引っかかった
524 名前：デフォルトの名無しさん [2018/09/17(月) 18:19:02.17 ID:GutZ/6rY0.net]: まあ趣味でない限り実用度が学習コストに見合わない感じはあるな
他に比べて
525 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 18:20:26.64 ID:zCVYDMXL0.net]: オブジェクトを１個１個newする？
でかいデータだと大量にnewするオブジェクトだったら配列で１MBとかまとめてnewしないと遅いでしょ
526 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 18:42:32.24 ID:CEV1V8yd0.net]: メモリ解放にも時間かかるけどそこは計測から外します
都合のいい計測をします
527 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 19:57:02.88 ID:HG71i9DfM.net]: >>508
それで安全になるかもしれないけど
コピーしまくり、newしまくりだったりとかよくあること
C++使う理由をよく考えたほうがいいと思うわ
528 名前：はちみつ餃子 mailto:sage [2018/09/17(月) 20:37:10.33 ID:O6rb8eh90.net]: >>516
ムーブの恩恵があるやで。
529 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 20:53:22.59 ID:tpLtH4DE0.net]: 現代の C++ は処理系もライブラリもそれなりに賢いから、任せきりにしてもそれなりの効率になる。
ほとんど任せきりにできる高級言語としての面と、必要なとこは手動で書ける低級言語としての面を合わせ持つのが C++ の強み。
530 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 21:33:50.41 ID:YgnM5prK0.net]: >>512
お前は最低でも数万行くらいの規模のコード書いてから偉そうなことを言え
531 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 21:40:52.08 ID:5VGXhp/T0.net]: 最近はC++もスマートポインタが主流で
メモリリークもツールでチェックすると聞いたが

現実はどんなもんなん
532 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 22:10:33.50 ID:oxQatDsR0.net]: VCには簡易メモリっチェックをするヘッダーがある。もちろん環境依存。
スマポでリークするのはかなり筋が悪い。
533 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 22:19:24.01 ID:CEV1V8yd0.net]: >>519
それはリークの言い訳にはならんで
534 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 22:33:55.31 ID:SBpxj18K0.net]: >>519
まあどんな場合でもは言いすぎだと思うが少なくとも正常系ではリークなしを目指すのは当たり前
535 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 22:36:30.00 ID:oxQatDsR0.net]: スマポでリークするケースというと、昔のインターフェースでスマポそのものが渡せないとかかなぁ。。。
希望としてはリファクタリングしてほしいところだけどね。
536 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 23:14:55.87 ID:YgnM5prK0.net]: >>522
誰が「規模が大きければリークしていい」と言った？
言ってないことを言ったかのように相手の主張を捻じ曲げるな
>>523
＞アルゴリズムベンチマーク。
＞リークしててもそこまで問題にならんし
537 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 23:17:40.96 ID:2pCWAXV50.net]: リークしたらヒープエリア毎Destroyすれば良いじゃない
@マリー・アンチョワネット
538 名前：デフォルトの名無しさん mailto:sage [2018/09/17(月) 23:28:41.66 ID:YgnM5prK0.net]: あぁすまん、正常系について誤解してた
まぁ個人で使うレベルなんじゃないかね、本人が問題にならん言うてるし
539 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 00:08:27.62 ID:z2qcvEfV0.net]: ウィンドーズにはApplication Verifierがあります！！１１！１！

>>521
malloc()とfree()が対応しているかはばっちりﾜｶﾙのでかなり役に立つが
Win32APIで直接メモリ確保したりC++でメモリアロケータを0から自作した場合はどうなるかわからん…

perfmonで指定プロセスのprivate bytesの推移を取得しつつ長時間動かして直接消費状況を確認するというのがある意味最終手段だが
リークが無い（はずの）プログラムでもなかなか安定しないという印象
多分ユーザーコードからRAIIを排除しても拾ってきたライブラリがRAIIするとかそんな感じ！
540 名前： mailto:sage [2018/09/18(火) 00:14:49.89 ID:Iw2LHuqq0.net]: >>528
グローバル new 演算子
グローバル delete 演算子
を malloc()/free() を使って定義して、かつ、未解放・二重解放を検出するようにポインタを線形リストに格納してチェックする、ということなら、簡単にできます
win32api でも、たとえば heapalloc() をラップすればいいかと
デバッグ初期の単純なミスならこれで大方弾けます
541 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 00:18:57.80 ID:k3MAuD5K0.net]: >>528
MS製だからWIN32位は拾ってくれると思ってたけど、なんだってー。Orz
俺は末端のユーザだからアロケータ書いたりしないのよね。
特に自作したらメンテとか自分でやんなきゃいけない負債になるのでやりたくないなぁ。
542 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 01:01:35.82 ID:uOah9zOu0.net]: >>530
application verifierはwin32apiをhookしてるよ。
543 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 01:07:33.27 ID:7OxZ5HAL0.net]: >>517
コンテナ形式のデータばかりと思うなよ
544 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 01:31:03.51 ID:n7K73R0GM.net]: hogeはdouble型で
int temp = int(hoge);
if (temp > 0)
return temp;
else
return 0;

このような処理をしたいのですが、何か良さげな内部関数とかないですかね
545 名前：はちみつ餃子 mailto:sage [2018/09/18(火) 04:24:56.90 ID:CgLDhfQ00.net]: >>533
C++17 の std::clamp みたいなことがしたいのかな
546 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 04:58:47.12 ID:1zYpCWJ70.net]: >>529
ランタイムのソース読んだ事無いの？
547 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 05:16:37.52 ID:bwjvKD0M0.net]: >>533
std::max(0, int(hoge))とか
548 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 06:06:39.75 ID:mbB60zCK0.net]: >>533
_mm_max_pd とかその辺
549 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 06:32:00.57 ID:yg1A1NBg0.net]: >>525
それはリークの言い訳にはならんで
550 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 06:35:34.10 ID:BuheiE4nM.net]: アルゴリズムベンチマークなんて長期間稼働するものでもないし、プロセス終わればリークも終わる。
551 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 06:55:51.70 ID:1W/tmI+p0.net]: >>533 の言う「内部関数」ってのは、
CPUのマシン語命令を直接利用するビルトイン関数みたいな感じかな。
552 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 09:38:53.59 ID:GYwTywmv0.net]: 言い訳にならんよな
数万行って具体的な数値を出してきたのは奴だし
553 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 09:39:49.43 ID:Zf2s67R20.net]: 勝手に察すると、単純な話だと思う
彼の把握では、おそらくは次のようになっているハズだ

内部関数＝組み込み関数（あらかじめ用意されている標準の関数）
外部関数＝自作関数、ユーザ定義関数

真意を勝手に忖度すると、「自作関数を作らずにそのまま使えるような便利な関数は既に存在してはいないだろうか」という質問に見える
554 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 09:40:00.14 ID:GYwTywmv0.net]: そもそも行数でどうたらって、いつの時代劇だよ
555 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 09:40:52.00 ID:GYwTywmv0.net]: >>542
俺もそう思った
だとすると536でFA
556 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 09:49:04.25 ID:k3MAuD5K0.net]: >>531
Yes、OK！
557 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 09:55:26.47 ID:k3MAuD5K0.net]: int ookii=...
int tiisai=...
int V=...

int x = std::max(tiisai,std::min(ookii,V));

ってやると、[min,max]区間内のVが取れたような気がする。
今度C++17で入るクランプがそれ。
558 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 11:57:01.55 ID:9q1AFd5B0.net]: >>543
>>512の
＞どんな場合でもリークしないように書けよ
リークしないようなコードを書くのは当たり前だが、どんなに注意してても起きるときは起きる
仮にこういう主張してるやつが居てもお前は俺と同じことを思わんのか？

「どんな場合でもバグらないように書けよ」
559 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 12:26:58.02 ID:GYwTywmv0.net]: 車の事故と同じ
起きるときは起きるなんて言い訳は通用しない
まず起こすな
やっちまったら責任とれ
そういう緊張感がいるってことだ
560 名前：533 mailto:sage [2018/09/18(火) 12:44:39.79 ID:TXDNyaJKM.net]: ありがとうございます
max関数使わせていただきます

もう一つ別の質問なのですが、
2つのベクターの要素(1000個程度)の比較で、同じi番目の要素の内容差が10以上の要素番号(イテレータ？)を調べたいです
この操作は何回も繰り返すので出来るだけ高速化したいのですがなにか良い方法ありませんかね？
ベクターの要素はint型で内容は大体1000以下の整数です
vec1[100] = 100とvec2[100] = 300
vec1[102] = 100とvec2[122] = 300
なら100, 102のイテレータ(この後そのまま新しくforに投げるので)
561 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 13:14:20.96 ID:l12yg0eyx.net]: >>549
思わずC# LINQかPython使いたくなる内容だな。
やりたいことは結局のところ行列演算なのでEigen使うと何か方法ありそうだけど、高速化に寄与するかは不明。
562 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 14:20:03.27 ID:Gab8FMClM.net]: >>549
1000個を例えば4コアで250個ずつ並列化してさらにforの中でn個ずつ比較するとかかな…
intelは
_mm_cmpgt_epi16
armは
vcgt_s16
とかあるみたいだけど
563 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 15:33:22.77 ID:UQgXz1AkM.net]: 普通MPIじゃね？
564 名前：はちみつ餃子 mailto:sage [2018/09/18(火) 16:41:03.37 ID:CgLDhfQ00.net]: >>549
新しく for に投げるっていうのがよくわからんのだが、
やりたいことをコードで (C++17 で導入された構造化束縛を使って) 表すと

for (const int& [element1, element2]: extract_if_big_difference(vec1, vec2)) { ほにゃらら }

みたいに書ける関数 extract_if_big_difference が定義できるといいなぁという感じ？

こうだとしたら、並列化するのは難しい気がするぞ。
565 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 16:42:40.86 ID:l12yg0eyx.net]: OpenCLでベクトル演算すれば速いんじゃね？
566 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 16:58:21.90 ID:Zf2s67R20.net]: こんなのだと速そうな気がする

vec3 = vec1 - vec2;
filter(vec3, 10, index);

void filter(const vector vec3, const int limit, int index[]){
int j=0;
for(int i=0; i<vec3.size(); i++){
if(vec3[i] >= limit){
index[j++] = i;
}else if(vec3[i] <= -limit){
index[j++] = i;
}
}
index[j] = -1;
return;
}
567 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 17:05:52.46 ID:ZX8OqlLQd.net]: データが多いならざっくり N (2～8)分割して OpenMP とかで並列処理するのがいいよ
数百ミリ秒以上かかるなら他のコアを遊ばせておくのはもったいない

各分割の結果は独立して保持して後で統合する
568 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 17:06:36.21 ID:GYwTywmv0.net]: >>549
vectorじゃなくvalarrayだが。。。
int main()
{
int const n = 10; //おまえさんのリクは 1000 だったな

//このへん前置きは置いといて
mt19937 eng;
random_device dev;
eng.seed(dev());
uniform_int_distribution<int> dis(-20, 20);
auto rnd = [&eng, &dis]() { return dis(eng); };
auto print = [](auto& ct) { for(auto& x : ct) cout << x << '\t'; cout << endl; };

valarray<int> vec1(n);
generate(begin(vec1), end(vec1), rnd);
print(vec1);

valarray<int> vec2(n);
generate(begin(vec2), end(vec2), rnd);
print(vec2);

cout << endl;

//ここが本題
valarray<bool> mask = abs(vec1 - vec2) >= 10;
vec1[!mask] = 0;
vec2[!mask] = 0;
print(vec1);
print(vec2);
}
差が１０以上のところを探して何か処理ならこっちのが楽だべ
569 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 18:11:51.89 ID:H2d9f0sTa.net]: >>533の質問のレベルを見ていると、
>>549も｢実装完了しないうちから最適化必要と思ってたけど実はそんなこと必要なかった｣なんて落ちにはならないかなとふと思った。
570 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 18:32:34.48 ID:RR2nvfojr.net]: boost の multi_array ってさ、添字の入れ替えってできる？

例えば要素 a[i][j][k] を a[k][i][j] に、全ての i, j, k について入れ替える操作

自分で実装しなきゃ駄目？
571 名前：デフォルトの名無しさん [2018/09/18(火) 23:03:47.37 ID:oE0uJFU60.net]: boostみたいなｲﾝﾁｷくさいﾗｲﾌﾞﾗﾘは使ったことないが
ｵﾚだったらｲﾁｲﾁそんなﾑﾀﾞな入れ替えが本当に必要なのかと
まずそこを疑う
572 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 23:14:12.21 ID:yg1A1NBg0.net]: 行列でそんな演算あったような
573 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 23:30:40.91 ID:GKhblNvIr.net]: >>560
無駄の意味が分からない
テンソルの掛け算するときに行列積ライブラリ使うために足組み替えたりするだろ
574 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 23:35:47.30 ID:Re9liTgW0.net]: できた！
template<typename T>
class MyMatrix3D : Matrix3D {
...
virtual T get(size_t i, size_t j, size_t k) {
return get(k, i, j);
}
...
};
575 名前：デフォルトの名無しさん mailto:sage [2018/09/18(火) 23:43:07.71 ID:G/V6WyhFd.net]: stack overflow
576 名前：デフォルトの名無しさん mailto:sage [2018/09/19(水) 00:26:11.52 ID:McwJY1yY0.net]: わ、わざとだから！
577 名前：デフォルトの名無しさん mailto:sage [2018/09/19(水) 00:33:47.86 ID:dEko0zDA0.net]: boostとか漏れも使ったことないわ(ﾟ∀ﾟ)人(ﾟ∀ﾟ)ﾅｶｰﾏ
578 名前：デフォルトの名無しさん mailto:sage [2018/09/19(水) 04:24:37.15 ID:2wyJ7zTj0.net]: boostはbjamが糞すぎて入れるのめんどくさくなっちゃった
579 名前：533,549 mailto:sage [2018/09/20(木) 03:07:15.61 ID:fZtZJGAwM.net]: 遅くなってすみません
処理が重くなったのは別の部分のせいでした…
Python的考えで5桁くらいインデントしてたので勝手に遅いと思ってましたが普通に高速でした
お騒がせしました
580 名前：デフォルトの名無しさん mailto:sage [2018/09/20(木) 13:40:29.54 ID:CPfoYuVJ0.net]: たかだか1000回のループでそんなに速度気になるんか（というか並列化とかベクトル化とか大げさやろ）、
と思ってたけどやっぱりか
>>558の一人勝ちやな
581 名前：デフォルトの名無しさん [2018/09/20(木) 21:36:12.15 ID:zLqp8E230.net]: 低学歴知恵遅れなら
1回ﾙｰﾌﾟするのに1分かかるようなｺｰﾄﾞを書きかねない
582 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 00:16:00.80 ID:4kzBlK6i0.net]: 再帰使ってみたが1分かからんかった
ゆ、許された…
ttps://ideone.com/kHFd61
583 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 00:27:26.94 ID:4kzBlK6i0.net]: 1分の壁を破るには、何度も何度もそれとわからずに同じ計算をするようなアルゴリズムにしないとだめだなあ…
584 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 03:21:51.90 ID:xr3UMDDx0.net]: boostをVS2017に入れられない
585 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 13:11:38.33 ID:JwHgudh+H.net]: 関数A，B、C、D、EがあってAの中でBを呼んで、Bの中でCを……
って構造があって、例えばEでエラーが出るとします。大本のAにそれを伝えてエラーにしたいんですけどどうしたらいいでしょう
BCDEの戻り値全部boolにしてfalseを返すくらいしか思いつかないです
586 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 13:20:30.45 ID:EQpNFWj/0.net]: >>574
戻り値でもいいし、引数に参照やポインタを渡してもいいし
例外でもいい
587 名前：はちみつ餃子 mailto:sage [2018/09/21(金) 13:40:44.63 ID:FzfC+eZt0.net]: 書く分には例外を投げるのが楽じゃないの。
関数 B, C, D ではそのエラーについて忘れておくことが出来るので。
588 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 13:41:36.51 ID:IFsUWHdO0.net]: >>574
例外を投げてキャッチさせる
589 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 14:25:47.49 ID:wDeX8uPc0.net]: 例外はGOTOに迫りつつある
590 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 14:34:59.25 ID:lJw3kOTN0.net]: >>574
典型的な例外の出番だ
void E() { throw std::runtime_error("error at E()"); }
void D() { E(); }
void C() { D(); }
void B() { C(); }
void A() { try { B(); } catch(std::exception& err) { std::cerr << err.what(); } }
591 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 14:47:07.50 ID:JwHgudh+H.net]: 皆様ありがとうございました。
別関数からのまでcatchできるとは知りませんでした。>>574を参考にしつつ書いてみようかと思います。
ファイル読み込みのときはあんま例外使わないなんて記述見たんですけど別に書いても大丈夫ですよね
592 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 16:31:17.28 ID:vcIlO6Gbr.net]: スッゲェ素人なんだけどよ、他人が作ったクラスに自作関数を付け加えたいときってどうすんの？
（例えば、行列クラスに特異値分解する関数を付け加える等）

継承ってやつを勉強して使うだけ？

C++ の言語仕様と常識を勉強したいという意味でもあるので、「その他人のコードを直接編集せよ」ってのはナシで頼む
593 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 16:50:36.52 ID:K+jLUYtn0.net]: >>581
機能を追加するために継承使うのは設計的によくないよ
594 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 17:01:37.16 ID:pko5dpD3r.net]: >>582
どうするべき？
595 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 17:06:42.97 ID:OnuHA6YMx.net]: >>581
クラスの親子関係がはっきりしてるなら継承。
機能が似てるだけなら移譲。
どちらか迷ったら移譲。
596 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 17:15:33.49 ID:K+jLUYtn0.net]: >>583
void svd(Matrix &pMtx);
みたいな関数ではダメなの？
597 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 17:45:50.45 ID:nytN4gJ8r.net]: >>584
移譲という用語は初めて知ったので、勉強してみます

>>585
ダメ、ということはないと思いますしこれまではそうしてきました
しかし、行列の特異値分解は配列ではなく行列に適用するべきだという意識が強くなりました
BLAS 等の多くてややこしい引数も、「行列を渡す」という形で書くことでもう少し自分にとって読みやすくなるのではないかとも思いました
クラスだとか他人のコードの拡張といったことを勉強してみたくなったということでもあります
598 名前：はちみつ餃子 mailto:sage [2018/09/21(金) 18:21:14.81 ID:FzfC+eZt0.net]: >>586
なんでもかんでもメンバ関数として持たせるのはダサいというのが近年の風潮。
設計方針にもよるんだけど、機能をちょっと増やすたびに新しい型を作るのも馬鹿馬鹿しいだろう。
単なる関数として作ればそれでよいはずのことにクラスの依存関係まで出てくるの、ホントに良くない。
599 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 18:35:46.91 ID:nikK7GUa0.net]: >>584
＞どちらか迷ったら移譲
やめろ、割とマジで
本来継承が好ましいものに委譲を使うと後々になって必ず破綻する
お前D&E読んでないのか？

>>587
＞ダサいというのが近年の風潮
そういう言い方・考え方もやめろ
かつてC++の継承は汚いからテンプレートで代用しろ、みたいな理屈があったが全くの空回りに終わった
その間初心者は嘘の情報に騙されたりオブジェクト指向を誤解したりして、結果C++から離れていった

＞単なる関数として作ればそれでよいはず
これは正しい
600 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 18:37:09.46 ID:MaoTi4980.net]: >>587
完全に同意。
クラスの数が星の数ほどあるプロジェクトで、継承してメソッド一個追加してるだけとかの経年劣化したソース見たら目眩がするわ。
オブジェクト指向の初期啓蒙として「既存のクラスは変更するな」「機能追加は継承使え」って言ってた人を恨むわ。
601 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 18:40:06.68 ID:MaoTi4980.net]: >>588
もちろん「IS-A」が成り立ってる継承が適してるものは継承使うべき。
むしろ継承を使うべきでないとこに継承使ってるほうが後々破綻するので悩んだら委譲。
602 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 18:53:16.27 ID:nVnA1Sbpr.net]: >>588-590
では特異値分解、スライシング、掛け算、足し算、エトセトラ……、という大規模な機能追加を既存のクラスに対して行ないたい場合はどのようにするべきでしょうか
603 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 19:06:55.02 ID:MaoTi4980.net]: >>591
うーん、場合によるけど全てそのクラスに対する操作ならさすがに継承するかな。
後々のメンテ考えたら可能であれば継承元のクラス変更するけど。
604 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 19:18:19.30 ID:scCYqhjF0.net]: 他人が作ったクラスで勝手にいじれないんでしょ？
protectedやvirtualなメンバがあって、それを使って色々するなら当然継承すればいいけど
そうじゃない継承される前提で作られたクラスじゃないなら継承はオススメできんなあ
svd(m)をm.svd()って書きたいためだけに継承の山のようなトラップ抱え込むのは割に合わないと思うよ
どうせ親クラスのprivateはいじれないんだし
605 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 19:20:28.05 ID:wzHnJ4yt0.net]: unified call syntax 甦れ。
606 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 19:24 ]: [ここ壊れてます]
607 名前：:14.64 ID:nikK7GUa0.net mailto: >>591
使ってるのはuBLASだっけ？調べてないのでわからんけど・・・・
継承を前提にしたクラス（デストラクタがvirtualであり、実際継承してみても使える）なら継承もアリっちゃアリだとは思う
（責任は負わんｗ　あくまで勉強目的でやってみるのはいいと思う）

ただ、特異値分解は知らんのでわからんけど、一般に演算クラスの機能追加は
>>587の言う通り、単純にそのクラスを受け取るグローバル関数にする方がいい
特に
＞掛け算、足し算
こんなのはまさにメンバ関数にしなくても、グローバルに演算子オーバーロードを定義すれば済む
（メンバに書いてもグローバルに書いても利用者側はA * Bって書ける
あとv1.dot(v2)よりdot(v1, v2)のがわかりやすいと思うけどね []: [ここ壊れてます]
608 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 19:48:50.66 ID:MaoTi4980.net]: >>595
完全に同意。
609 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 19:58:47.83 ID:nVnA1Sbpr.net]: >>592-596
なるほど。
普通に関数にするのが、必要十分さの面で、良さそうですね。

頭の中にあったのは、自分で作った関数群が全て○○というクラスに対して使用することを想定している、と明示したかったということです。
グローバル関数の用途を明らかにする方法として、メンバ関数化すれば良いのかな、と思いました。

メンバ関数にはしないということにした場合、上のことを実現するにはどうするべきでしょうか。
コメントやノートに書くくらいしか思い付きませんが、それで良いのかな
610 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 20:09:39.68 ID:scCYqhjF0.net]: 引数の型が○○やconst ○○&になるでしょ
それ以上のなにが欲しいの？
611 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 20:10:46.02 ID:nikK7GUa0.net]: そういえばBLASとは書いてたけどuBLASとは書いてなかったな
いずれにしても、その扱いたいクラスを受け取る関数だから見たらわかるっしょ
違う型を渡したらエラーになる
612 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 20:12:28.34 ID:+2gqfJ3dM.net]: >>597
どうでもいいけど最初と大分キャラ変わってるぞw
613 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 20:17:41.28 ID:nVnA1Sbpr.net]: >>598-599
わかりました。
確かに型を見たら自明ですね。

結局は
> svd(m)をm.svd()って書きたいためだけ
だったのかも知れません。
なんせそういう書き方はいかにも「ぽい」ですから。

ありがとうございます。
614 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 20:19:42.40 ID:KRvbJL35d.net]: >>601
横レスになるかもだけど多相的に
615 名前：関数の集合を規定したいなら[C++ traits]で検索すると幸せになれるよ 今回は不要だと思うけど後々欲しいなって思ったとき役に立つ []: [ここ壊れてます]
616 名前：はちみつ餃子 mailto:sage [2018/09/21(金) 20:43:37.20 ID:FzfC+eZt0.net]: >>588
いや、風潮っていうのは確かにあるよ。
かつて上手くいかなかったから今もダメとは限らない。
テンプレートの活用が失敗っていうのは言語そのものとしてのサポートが不充分だったというのがあって、
それは >>602 がいうようにトレイトの活用の知見が蓄積してきたことで風向きが変わってきてる。

今はクソみたいな SFINAE と type_traits で不格好になんとかしてるのも
C++20 でコンセプトが入ったら C++ のパラダイムがそっちに一気に傾くと思う。
Rust や Go の隆盛でプロトコル指向への理解が深まっているというのもある。
617 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 21:06:19.19 ID:nikK7GUa0.net]: ・・・・・俺が何を批判したかわかってないな
「ダサい」とか「風潮」じゃなくて、何故それが好ましいか、好ましくないか、
質問者のケースに合った説明をしろっつってんの
なんで当時の「テンプレートで継承の代用」の例を出したかわからんか？
代用にはなり得ないんだよ原理的に
実行時のポリモーフィズムをテンプレートで実現できるのか？
ユーザーの入力やファイルの内容に従って実行時に作るオブジェクトを変え、かつ
それを１つの型でまとめられるのか？？
type erasure(boost::any含む)とかswitchとかif使う、とかは無しでな

自分の頭でその方法が合っているか合っていないか考えずに
流行とかに流された結果が、↑で挙げたソレなんだよ
C++潰したいのかよ
618 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 21:35:12.47 ID:MaoTi4980.net]: >>604
これも横からだが、C++はもう役割を終えて衰退機だと思う。
今から積極的にC++を採用する分野は限られていて、使えるor使おうと思うエンジニアの絶対数が減るってことは衰退と同義だと思う。
いろんな言語のエッセンスを学べるので悪い言語でないとは思うけど、誰かが言った通り習得のコストに見合ったメリットがない。
盛者必衰。
619 名前：はちみつ餃子 mailto:sage [2018/09/21(金) 21:55:31.46 ID:FzfC+eZt0.net]: >>604
> 何故それが好ましいか、好ましくないか、
> 質問者のケースに合った説明をしろっつってんの

それは >>587 の説明で足りないか？
風潮があって、その理由は不要な複雑さが出来るからだという説明で足りないか？
この説明は質問者のケースに合致してないか？

> 代用にはなり得ないんだよ原理的に

違う機能が違う能力を持つのは当たり前だろ？説明するまでもなく。
どちらの機能を中心に活用した「設計」がよいのかっていう話じゃないか。
620 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 22:01:19.22 ID:nikK7GUa0.net]: >>606
ああすまん、確かに言葉尻に反応したところはあったな
でも「風潮」とか「ダサい」って蛇足だよな？ｗ
ダサいって言いたかっただけやろ？

＞違う機能が違う能力を持つのは当たり前だろ？
お前>>603で
＞かつて上手くいかなかったから今もダメとは限らない。
＞テンプレートの活用が失敗っていうのは言語そのものとしてのサポートが不充分だったというのがあって、
テンプレートを盲信してるようだから説明したんだが。
継承をテンプレートで代用せよ、ってのは間違ってない、って言いたかったんだろ？

＞C++20 でコンセプトが入ったら C++ のパラダイムがそっちに一気に傾くと思う。
とか言ってる辺りからも、オブジェクト指向は過去のものだから継承も過去のものなんだぜ、とか
抜かしたかったのがわかる
マルチパラダイムの意味わかってる？
621 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 22:15:11.22 ID:M9VunTBo0.net]: 継承をテンプレートで置き換えるって失敗したというよりもすでに当たり前になっただけでは
むしろそっちはそっちで発展してるし、動的でなくてもいいケースは確かに存在している
622 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 22:20:50.92 ID:nikK7GUa0.net]: >>608
静的に解決できるものならそうだろうな
そういうケースを否定はしてないが、当時はあちこちでそういう失敗例がドヤ顔で披露されてたんだぞ
禿も指摘してるようにJavaのせいだが
623 名前：はちみつ餃子 mailto:sage [2018/09/21(金) 22:46:33.24 ID:FzfC+eZt0.net]: >>607
> 継承をテンプレートで代用せよ、ってのは間違ってない、って言いたかったんだろ？

違うものは違う。代用品ではない。

継承構造の代用品としてテンプレートを使えというのではなく、
テンプレートも前提のひとつとしたデザインにしろと言ってんの。

「なにもかもをメンバ関数にするな」というのは全て非メンバ関数にしろっていう意味じゃないだろ。
624 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 23:01:04.77 ID:nikK7GUa0.net]: >>610
>>603で
＞かつて上手くいかなかったから今もダメとは限らない。
＞テンプレートの活用が失敗っていうのは言語そのものとしてのサポートが不充分だったというのがあって、
＞それは >>602 がいうようにトレイトの活用の知見が蓄積してきたことで風向きが変わってきてる。
って言ってるよな
「かつて上手くいかなかった」って、
俺の「かつてC++の継承は汚いからテンプレートで代用しろ、みたいな理屈があったが全くの空回りに終わった」
のことだろ？言い逃れしてんじゃねーよ

ちなみに継承をテンプレートで代用、を挙げたのは、それに初心者が惑わされたからだ
ただのテクニックの紹介ではなく「C++の継承は汚い」みたいな暴言を伴ってな
お前が「ダサい」とか「風潮」とか、自分がドヤりたいがために選ぶ言葉と同じだよ

＞「なにもかもをメンバ関数にするな」というのは全て非メンバ関数にしろっていう意味じゃないだろ。
質問者の「関数追加」の方法についてはお前の意見に賛同してるだろうが
625 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 23:02:28.75 ID:ZQgI79kj0.net]: 質問者を放置してドヤ顔で語るオタクたち
626 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 23:10:39.91 ID:nikK7GUa0.net]: あ、ついでに言うと
＞言語そのものとしてのサポートが不充分だった
ねーよ

C++98～03でも十分メタプログラミング出来てたぞ（11から確かに幅は広がったが
STLしかりModern C++ Designの著者のLokiしかり
Boostだって当時からあったからな
627 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 23:26:46.84 ID:wfTNvghC0.net]: >>605
C++に挫折でもしたの？ w
ネイティブコード吐けるオブジェクト指向言語ってそんなに選択肢ないし
628 名前：デフォルトの名無しさん mailto:sage [2018/09/21(金) 23:30:11.36 ID:wzHnJ4yt0.net]: FixedC++であるRustに期待はしているが・・・。
629 名前：はちみつ餃子 mailto:sage [2018/09/21(金) 23:41:33.16 ID:FzfC+eZt0.net]: >>611
なんでその結論に納得できるのに前提に色々言ってんだ？

テンプレートについてはそっちが言い始めたことで、別の話題だろ？
代用という言葉の使い方がちょっとずれてるだけじゃないの。
そのまま置き換えれるかという意味では代用できないし、
継承でなんとかしてたデザインをテンプレートを活用したデザインに置き換えられる (こともある)
という意味では代用ともいえる。

言葉については、「ダサい」はともかく、「風潮」に何か問題あるか？それは全くわからんな。
デザインの風潮というものは間違いなくある。
630 名前：はちみつ餃子 mailto:sage [2018/09/22(土) 00:00:10.67 ID:cynlNZMd0.net]: >>613
無理無理。
今だってろくでもない回りくどい仕組みでどうにかこうにか
型の制約を表現できてるってだけだもの。
初心者にそれを元にデザインさせるのは無理。

型の制約についての知見とは別に C++ の言語機能が足りてない。
631 名前：デフォルトの名無しさん mailto:sage [2018/09/22(土) 00:04:20.29 ID:0je8S2eS0.net]: ＞テンプレートについてはそっちが言い始めたことで
ダサいとかイケてるとか風潮とかで設計を語るからだよ
お前の説明はだいぶ甘い、自分でよくわかってないものを押し付けてないか？
そういう傾向を指摘されたって気づいてるだろ？
自分のコーディングの経験が足りてないゆえに、はっきり断言できないから風潮とか出てくるんだろ？
さっさと謝ってりゃここまで言ってないんだがな

＞デザインの風潮というものは間違いなくある。
そう思ってんのはお前らアマチュアだけだから。（特にお前の思ってるようなデザインについては）

>>617
何の話してんの？コンセプト？ｗ
なんで初心者がまだ導入されてないコンセプト前提の設計しなきゃならないの？馬鹿なの？
コンセプト入ったら実行時のポリモーフィズムをテンプレートで出来るの？？？？ｗｗｗｗｗｗ
632 名前：デフォルトの名無しさん mailto:sage [2018/09/22(土) 00:11:49.56 ID:vYximTvP0.net]: 最初はもてはやされたけど、みんな知ってる前提になったら特に触れられもしなくなった
風潮ってこいうのだろw
633 名前：デフォルトの名無しさん mailto:sage [2018/09/22(土) 00:12:42.81 ID:0je8S2eS0.net]: すまんちょっと熱くなりすぎた
論破されたことに気付かないアホ（あるいは謝ったら死ぬ病）相手にするとキリが無いわ・・・・
もうやめとく
634 名前：デフォルトの名無しさん mailto:sage [2018/09/22(土) 01:40:05.82 ID:3xdfFsZb0.net]: 権限の委譲というと良いものを与えているイメージだが
UML用語の委譲はどうみても仕事の丸投げとかたらい回しな印象であるイメージ
な気がする
635 名前：572 mailto:sage [2018/09/22(土) 02:14:06.30 ID:3xdfFsZb0.net]: 昨日のプログラムを改良したったｗｗｗｗｗ
ttps://ideone.com/hkeEp0

データ数N=300のときCore i7-860 (2.8 GHz)で8秒かかる。idoneのやつでも5秒。
N=1000だと宇宙の終わりまでかかる予定。

これで漏れも低学歴知恵遅れに晴れて仲間入りDA☆NE！
636 名前：デフォルトの名無しさん mailto:sage [2018/09/22(土) 03:45:26.27 ID:57qyxfm80.net]: https://ideone.com/CYkJfe
高速化する話なのか低速化する話なのかは分からんけど、素直に書いたらこんな感じかなぁとか。
終わった話題かもしれんけど。

どうしても高速化したいんやったら、関数を並列実行できるようにして、
https://cpprefjp.github.io/reference/thread/thread/hardware_concurrency.html
上記の数で分割実行かなぁとか。
フューチャー投げるのはそんなに難しくないと思う。std::async使えば簡単だし。
637 名前：デフォルトの名無しさん mailto:sage [2018/09/22(土) 03:54:48.35 ID:57qyxfm80.net]: 気が付いたら、absがテンプレート関数じゃなくなってた。
638 名前：デフォルトの名無しさん mailto:sage [2018/09/22(土) 07:17:07.67 ID:ieaomBGwa.net]: constexprな関数はコンパイル時でも実行時でも使えるが、定数になる文脈とならない文脈で関数を使い分けしたい。そういう使い分けは可能だろうか？

例えばsqrt関数はconstexprになっていないが、
アルゴリズム的には自作関数でconstexpr対応可能

ただし速度的にはcmathのsqrtの方が何倍も早いのでconstexprでない文脈の時にはcmathのsqrtを呼び出したいのです。
639 名前：デフォルトの名無しさん mailto:sage [2018/09/22(土) 07:58:27.87 ID:0je8S2eS0.net]: is_constexprで検索したらそれっぽいアイデアは出てくるけど
640 名前：デフォルトの名無しさん mailto:sage [2018/09/22(土) 09:39:59.40 ID:qCwQCuMG0.net]: >>625
ビルド過程を見直せば？
バカみたいに何でもかんでもconstexprに頼る理由はない。
641 名前：はちみつ餃子 mailto:sage [2018/09/22(土) 12:24:16.36 ID:cynlNZMd0.net]: >>618
なんで実行時ポリモーフィズムの話なんか出てるんだ？
出来ないもんをやれなんて言ってないだろ。
関係ない要素をどんどん出してくるなよ。

何を言いたいんだ？
642 名前：デフォルトの名無しさん mailto:sage [2018/09/22(土) 13:05:08.82 ID:PHVB0Lj2M.net]: templateで躓いてるんですけど皆どうやってテンプレートを勉強したんですか？
643 名前：デフォルトの名無しさん [2018/09/22(土) 13:06:49.63 ID:sAfENX6G0.net]: 車輪の再発明
644 名前：デフォルトの名無しさん mailto:sage [2018/09/22(土) 13:16:51.91 ID:EBMrcrP1a.net]: 何を悩んでる？
645 名前：デフォルトの名無しさん mailto:sage [2018/09/22(土) 13:22:32.93 ID:PHVB0Lj2M.net]: >>631
Boostのテンプレートを読んでるのですが、理解できない点です
646 名前：デフォルトの名無しさん mailto:sage [2018/09/22(土) 13:36:27.52 ID:a9vdXzW90.net]: >>632
まずはstlは一通り不自由なく使えるかな？
647 名前：デフォルトの名無しさん mailto:sage [2018/09/22(土) 13:45:08.87 ID:PHVB0Lj2M.net]: >>633
はい、STLに関してはそれなりに使えます
648 名前：はちみつ餃子 mailto:sage [2018/09/22(土) 13:53:36.62 ID:cynlNZMd0.net]: >>632
Boost はかなり技巧的で無理やりなこともやるので、
ある程度 C++ をわかっている人でもまともに読めないこともある。

普通に入門書とかを読むところから始めるしかないんじゃね？
649 名前：デフォルトの名無しさん mailto:sage [2018/09/22(土) 15:05:35.09 ID:JTph0UBg0.net]: boost読んでテンプレート勉強しようとするのは、IOCCCでCを勉強しようとするのと同じくらい無謀
650 名前：デフォルトの名無しさん mailto:sage [2018/09/22(土) 23:16:14.20 ID:Img386zI0.net]: test
651 名前：デフォルトの名無しさん mailto:sage [2018/09/22(土) 23:16:57.30 ID:02eserMU0.net]: アホ
652 名前：デフォルトの名無しさん [2018/09/23(日) 00:42:54.42 ID:cRG95Xcq0.net]: boostのｲﾝﾁｷくさそうなｿｹｯﾄ通信とか使ってるﾔﾂいんの
普通にsocket通信の関数で書いたほうが可読性が高そうで困る
653 名前：デフォルトの名無しさん mailto:sage [2018/09/23(日) 01:28:26.89 ID:MC3A3QT40.net]: SG4に標準化提案はされてるみたいね
654 名前：はちみつ餃子 mailto:sage [2018/09/23(日) 03:10:01.78 ID:SNhvYMGK0.net]: >>639
Boost のことはよう知らんけど、
Boost の他のライブラリと組み合わせやすいとか、
そういう利点はないの？
655 名前：デフォルトの名無しさん mailto:sage [2018/09/23(日) 09:37:53.48 ID:LgC14Oo10.net]: bool operator<(const T& a, const T& b)は定義されている前提で、
クラスTについてbool operator==(const T& a, const T& b)が定義されていたらそのoperator==()を使い、
定義されていなかったら
　bool operator==(const T& a, const T& b) { return (!operator(a, b) && !operator(b, a)); }
を勝手に補完するようなテンプレート（の特殊化？）ってどうやって書くの？
656 名前：デフォルトの名無しさん mailto:sage [2018/09/23(日) 11:39:09.69 ID:A6XCmyXs0.net]: std::rel_ops空間に == から != を、< から <= > >= を合成するテンプレートならあるけど
657 名前：デフォルトの名無しさん mailto:sage [2018/09/23(日) 12:14:54.07 ID:loi8GnJQ0.net]: これとかに載ってなかったっけ？
https://www.amazon.co.jp/dp/4894714353/?tag=hatena_st1-22&ascsubtag=d-7dzm
658 名前：デフォルトの名無しさん mailto:sage [2018/09/23(日) 14:13:03.08 ID:oyuLVtOs0.net]: detection idiomで検出してSFINAEで分岐させるだけでできそうだけど
659 名前：デフォルトの名無しさん mailto:sage [2018/09/23(日) 14:26:07.42 ID:Dpz6ufMn0.net]: barton nackman trickやな
operator ==が定義されているかどうかの分岐はSFINAEいるんでちょっと複雑になりそうだけど
private継承する基底を選ぶような形にできるはず
660 名前：デフォルトの名無しさん [2018/09/23(日) 16:41:12.46 ID:d60j7qb90.net]: そんなことができるざんすか。
めんどくさそうですな。
661 名前：デフォルトの名無しさん mailto:sage [2018/09/23(日) 16:42:46.60 ID:oyuLVtOs0.net]: if constexprつかえばSFINAEいらんな
普段使えない環境だから出てこなかった・・・
662 名前：デフォルトの名無しさん mailto:sage [2018/09/23(日) 17:06:46.21 ID:LgC14Oo10.net]: スフィ姉たまんねぇ

ていうか>>643見てnamespace rel_opsの定義見て考えたがSFINAE要らなくね？
コンパイラの挙動（関数名の解決規則？）として、
Tについてoperator==(const T& a, const T& b)そのものズバリが定義されていればそれが使われるし、
無ければその次以降にテンプレートを探しに行こうとするから、
そのときstd::rel_ops名前空間が導入されていれば勝手にテンプレートバージョンが使われる
というしくみっぽい？
663 名前：デフォルトの名無しさん mailto:sage [2018/09/23(日) 17:18:52.49 ID:oc2N8BDIM.net]: >>632
バリバリのテンプレート使いいませんか？
テンプレート難し
664 名前：デフォルトの名無しさん mailto:sage [2018/09/23(日) 17:45:10.35 ID:oyuLVtOs0.net]: >>649
あーたしかに
試してみたらいけた
665 名前：デフォルトの名無しさん mailto:sage [2018/09/23(日) 17:58:10.59 ID:Dpz6ufMn0.net]: >>648
if constexprほとんど使ったことなかったけど便利だなー
確かに型で分岐する必要なかった
https://wandbox.org/permlink/8CGWlZ5i5JLl33Ws

>>649
その方法だと、>>642で言ってるような特殊な補完を他のクラスにも適用することにならん？
それでもいいならいいけど
666 名前：デフォルトの名無しさん mailto:sage [2018/09/23(日) 19:13:07.53 ID:3hdlUg1R0.net]: >>650
わかんないなら質問すればいいじゃん
何がわからないから分からないと本とかのおススメもできないだろ
667 名前：デフォルトの名無しさん mailto:sage [2018/09/23(日) 21:11:00.27 ID:ygIHva++9]: https://ideone.com/uNCJuL
なぜデストラクタが2回呼ばれるのか分かりません。
理由を教えてください。
668 名前：デフォルトの名無しさん mailto:sage [2018/09/23(日) 21:04:04.43 ID:LgC14Oo10.net]: >>652
>その方法だと、>>642で言ってるような特殊な補完を他のクラスにも適用することにならん？
ならない。ならずに済ませられることができる
補完する演算子のテンプレートの導入範囲を
669 名前：名前空間で限定すればおk↓↓↓ ttps://ideone.com/p4FS43 21行目のOP_EQ_FOO_ENを定義してもしなくてもビルドが通り、Foo::operator==()の呼び出し回数を除き同じ結果になる。 ただし、operator==()についてはちょっぴり闇が深いことがわかった。 名前空間std::rel_opsにはoperator==()テンプレートが存在しない 上のサンプルではstd::rel_ops名前空間に無理矢理operator==()テンプレートを追加したが、 実際にやるときは独自の名前空間でoperator<()以外の全部（==、!=、>、<=、>=）を用意しておくことになるん ｼﾞｬﾏｲｶ []: [ここ壊れてます]
670 名前：デフォルトの名無しさん mailto:sage [2018/09/23(日) 21:30:04.73 ID:Dpz6ufMn0.net]: あーすまん、目的を誤解してた
クラスのoperator ==の実装を省きたいんじゃなくて使う側で補完できればいいのか
671 名前：デフォルトの名無しさん [2018/09/24(月) 00:24:52.05 ID:rSek34EXa.net]: 5年くらい前？にテンプレートプログラミングっぽい趣旨の本があったし、基本情報に何故かPrologと同じジャンルにテンプレートが言語として載ってる辺り論理型言語っぽい事ができるみたいだが、基本C++の1機能でしか無いから、知ってる人は少ないんじゃ無い？

俺も知らない。
672 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 00:56:28.11 ID:cIWp1XlU0.net]: C++テンプレートテクニック第2版、
επιστημη(えぴすてーめー)・高橋晶、2014

C++ 標準化委員のεπιστημη の本だろ。

ドワンゴ江添亮も、需要があれば、こういう本を書きたいって言ってたけど
673 名前：デフォルトの名無しさん [2018/09/24(月) 01:06:54.52 ID:rSek34EXa.net]: それそれ。
出来るっぽいってのは知ってても、実際できてる奴少ないと思われ。
674 名前：デフォルトの名無しさん [2018/09/24(月) 01:14:19.28 ID:Kxio7RVg0.net]: ﾃﾝﾌﾟﾚｰﾄ使うのに
いちいちそんな悩むもんなんか

なにかを参考にしたいようだが
たとえばtraits乱用してるようなのは読む必要もないし
逆にﾏﾈする必要がないわ
675 名前：デフォルトの名無しさん [2018/09/24(月) 01:21:07.01 ID:rSek34EXa.net]: 俺も気にした事ないけど、気になる奴は気になるんだろう。

俺の場合は整数型をどうやって文字列型にしてるんだ？ってのが疑問でむしろアセンブラに走って頭捻って理解した。

まあ人間そんなもん。
676 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 01:37:53.34 ID:orHhPIQU0.net]: テンプレートはC++の必須教養だと思ってるけど、別になくても困らないしな・・・
677 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 01:47:51.69 ID:sBjtzBeV0.net]: >>662
つ vc++ 1.x
こいつのテンプレートは泣ける
678 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 01:54:17.59 ID:XuY/8j5Q0.net]: >>657->>662
同感

はちみつと言い争ったときに
＞＞デザインの風潮というものは間違いなくある。
＞そう思ってんのはお前らアマチュアだけだから。（特にお前の思ってるようなデザインについては）
とか書いたけど
実践ではなく仕様メインで覚えてる人（趣味でC++の知識を集めるのがメインの人であり、アマチュア）は
「これからの時代はテンプレート使った総称的プログラミングが主流」
みたいなパラダイムの変化を訴えてるけど、それはっきり言って素人が見れるコードでだけだから・・・
（C++標準ライブラリやBoost等）
テンプレート使ってとことん汎用性を高めたライブラリなんか、普通のソフト開発の現場では使われんわ
あまりにも時間がかかりすぎる
そういうごくごく一部の偏ったソースしか読んだことないから誤解するんだろう
で、その誤解した趣味グラマのネット上の言説やライターが書いた本を読んで、
初心者がC++に挫折して去っていくという・・・・・
C++なんか最初はベターCでいいんだよはっきり言って
あと最近ネット見てて（C++の）オブジェクト指向とかC時代の古いノウハウの解説が少ないのは、
単にとっくに出尽くしたからだからな、最近始めたやつは誤解したらだめよ
679 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 02:00:05.34 ID:XuY/8j5Q0.net]: 訂正
Ｘテンプレート使ってとことん汎用性を高めたライブラリなんか
○テンプレート使ってとことん汎用性を高める開発手法なんか
680 名前：はちみつ餃子 mailto:sage [2018/09/24(月) 02:14:19.64 ID:tUW1+gfS0.net]: >>664
「何もかもを継承構造で解決しようとするな」の
ひとつとしてテンプレート (を C++ なら利用することになるプロトコル指向的デザイン) が出たんだし、
C++ にコンセプトの概念を持ち込もうとする機運があるほどには活用比率も高まるだろう、という程度の主張なのに、
「とことん汎用性を持たせるべき」とか「主流になる」みたいな拡大解釈はやめてくれよ。
俺はそんなこと主張してないからね！
681 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 02:32:05.77 ID:XuY/8j5Q0.net]: >>666
しつこいぞ
＞テンプレートの活用が失敗っていうのは言語そのものとしてのサポートが不充分だったというのがあって
「おかしな流行が発生して初心者を惑わした」、に対して反論したんだろ？嘘つくなよ

＞俺はそんなこと主張してないからね！
主流になる、って意味だろ？これ↓
＞C++20 でコンセプトが入ったら C++ のパラダイムがそっちに一気に傾くと思う。

ちなみに
＞コンセプトの概念を持ち込もうとする機運
コンセプトは標準化委員会や禿が言い出したことだぞ
導入されたら素晴らしいとは思うが、元々はテンプレートを使ったコードのエラーメッセージをどうにかすることと
テンプレートパラメータで満たすべき要件をコメントではなくコードで示せるようにすることだ
プロトコル指向は聞いたことないが、それはコンセプトで可能になるおまけ程度だろ
しかもそれを利用するにはテンプレート必須なわけで、コンセプトが入ろうが、
クラスなどが実際どういう仕組みなのか程度のことは把握してないと、初心者が手を出せるようなものではないし
出させるべきでもない
682 名前：はちみつ餃子 mailto:sage [2018/09/24(月) 02:45:26.39 ID:tUW1+gfS0.net]: >>667
変な (教え方なり使い方なりが下手くそな) 流行があったということを以て
テンプレートの活用を全否定するような言い分に反論したんだよ。
テンプレートが無くて良いと思ってるわけじゃないんだろ？

> 主流になる、って意味だろ？
今までが継承構造に頼りすぎだったのが是正されるという意味だ。

初心者への教え方については、また別の話。
ベターCからで良いという意味のことは D&E にも書かれてる基礎理念だから
そこは疑ってない。
683 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 02:59:37.96 ID:XuY/8j5Q0.net]: ＞テンプレートの活用を全否定するような言い分に反論したんだよ。
>>587と>>588を100回読み直せボケが
悪いけど、お前まともにメタプログラミングやってないだろ？
まともに活用して利点・欠点をはっきりわかってないやつが何偉そうに語ってんの？
しかもその理由で反論したんなら、なおさらポリモーフィズムの話で論破されただろ、
なんで認めずに自分の主張の意味を途中から変えてまで言い返してんの？
図星突かれて気分が悪いってか？

＞今までが継承構造に頼りすぎだったのが是正される
誰が頼りすぎてたの？？今までっていつまで？

＞初心者への教え方については、また別の話
今まで何度も「こいつ初心者にテンプレート勧めてるよ・・・・何考えてんだ」と思ってたんですが
どの口で言ってんだ
684 名前：はちみつ餃子 mailto:sage [2018/09/24(月) 03:17:34.86 ID:tUW1+gfS0.net]: >>669
ポリモーフィズムの話ってなんだ？

初心者へじゃなくて、
君に、テンプレートの話はしてたつもりだが。
(ID 変わってるから他の人だったらスマソ)
他の人にアンカーを付けてテンプレートの話はしてないだろう。
685 名前：はちみつ餃子 mailto:sage [2018/09/24(月) 03:38:10.37 ID:tUW1+gfS0.net]: >>669
> 誰が頼りすぎてたの？？

標準ライブラリすら。
その他はまあ、私の実感なので、違うというなら違うのかもしれない。
686 名前：はちみつ餃子 mailto:sage [2018/09/24(月) 03:48:16.31 ID:tUW1+gfS0.net]: 「美味しんぼには我慢ならん」
「おい、辛抱しろ」
687 名前：はちみつ餃子 mailto:sage [2018/09/24(月) 03:48:58.75 ID:tUW1+gfS0.net]: 誤爆した。ごめん。
688 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 09:51:46.55 ID:dKKNaNpJ0.net]: 本当にテンプレートが必要なものってだいたいSTLに揃ってる印象。
あとはTBBみたいにある程度低いレイヤーの抽象化ではどうしても必要にはなる。
しかしこの種類のライブラリってのは本当に信用できる奴が作ったもの以外は
使いたくねーんだわ。
めちゃくちゃデバッグコスト高いからね。
そういう意味で一般プログラマーが実装するってのは実践的ではない。
689 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 10:18:16.36 ID:cpSL59m30.net]: テンプレートは型の定義をすり替えるために使うもの
#ifdefで型切り替える方がもっと糞だからそこはテンプレートにするべき
それ以上の凝った事はしないほうがいいね
690 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 11:22:17.38 ID:GIs1tf8Y0.net]: 頼りすぎつーか逆だと思うぜ
コンテナの要件なんかインターフェイスにすればすっきりするのに
紙マニュアル（pdf含む）でガタガタ書かれた口約束とかすげーイヤ
歴史的に見てもそれをやるのに充分な言語機能がもうあったのに
691 名前：はちみつ餃子 mailto:sage [2018/09/24(月) 11:36:08.69 ID:tUW1+gfS0.net]: >>676
現状の C++ では型の制約を表すには意味不明な SFINAE で回りくどくやってて
初心者には使いこなせない (中級者でも不安があったり面倒だったりする)
という話の文脈だから、言語機能が充分だというのはちょっと変な立場だ。
692 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 11:43:09.69 ID:IXp/Ejzw0.net]: どうーがんばっても停止性問題は機械的に解けないケースを無くせないのだから
プログラミング自体をアルゴリズム化する企てはどこかで行き詰る
藻前らは行き詰まりかたの良し悪しを議論しているにすぎないのだｶﾞﾊﾊﾊﾊﾊﾊ
693 名前：はちみつ餃子 mailto:sage [2018/09/24(月) 11:47:19.43 ID:tUW1+gfS0.net]: >>676-677
ひょっとして抽象クラスでやったらいいという話だろうか。
Java とかから来た人はそういうことをやりがちだけど、 C++ の設計理念からすると、
少なくとも標準ライブラリでは仮想関数テーブルを辿る実行コストを許容はしないだろうと思う。
694 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 12:24:10.58 ID:GIs1tf8Y0.net]: >>679
動的結合のコストは関数ポインタなみにはっきりしてるだろ
695 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 12:28:24.97 ID:cpSL59m30.net]: インターフェース（＝データメンバーなし抽象クラス）は静的な型の制約を表現できないからダメ
696 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 12:58:55.73 ID:XuY/8j5Q0.net]: >>679
＞C++ の設計理念からすると、
＞少なくとも標準ライブラリでは仮想関数テーブルを辿る実行コストを許容はしないだろうと思う
滅茶苦茶言うな
https://cpplover.blogspot.com/2015/09/memoryresource.html

>>674
ついでに開発コストも高い
STLが優れてるのは、作者が長年コンテナについて熟考に熟考を重ねたライブラリだからであって
それを実現するためにテンプレートが使われたに過ぎない
テンプレート使ってりゃなんでも有用なライブラリになると勘違いしてるアホが増えた
697 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 13:04:35.46 ID:B4Me2M7J0.net]: テンプレートは即席麺的な発想でライブラリのような寝かして熟成させるワイン的な使い方には向いていない
698 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 13:10:53.22 ID:IXp/Ejzw0.net]: インターフェースはあらゆるメソッドを最初から詰め込まねばならないからｲﾔｿ（特に単一継承の場合
お禿様も自著でそういう傾向（あらゆるメソッドが基底クラスに集中する傾向があることをこっそりカミングアウトしていたはず
テンプレートにはそういう制約がない
型引数Tにadd()メソッドがあるものとしてテンプレートを書いたら、add()メソッドがある既存クラス全部にそのテンプレートが使える
というわけで、インターフェースはそれ自体静的な型の制約のつもりなのかもしれんが、
真にかけたい制約（上の例でいうとadd()メソッドの存在だけを問題にしたいケース）に対して不必要に過剰になることが多いｷﾓｽ

あとインターフェースだとコンテナの実現は具体的にはどうするんじゃ…
仮想関数テーブル参照の実行時コストだけでも許容し難いのに、間接参照がさらに必要になるんじゃ…
699 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 13:22:48.05 ID:GIs1tf8Y0.net]: インターフェイスを単一継承前提で考えるって、どんな教育を受けるとそうなるのかな
numeric_limits<uintmax_t>::max()歩譲って単一継承ってことにしても
最初から全部詰め込みなんてハメにはあまりならないし

あらゆるメソッドが基底クラスに集中するなんて事例あるか？
俺は空想論だと断言するぞ
Smalltalkのobjectみたいなクラスに何が置けるんだよ

あと、なんか仮想テーブルのコストが云々いってるやつが複数いるようだが
具体的にどのくらいか、せめてオーダーくらいわかっているのか
700 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 13:35:23.36 ID:cpSL59m30.net]: オーダーの問題じゃなくて、C++にはゼロオーバーヘッドの原則があるんだから
ゼロオーバーヘッドに出来るものはゼロオーバーヘッドにするんだよ、標準はその手本なんだから

それにオーダーなんか処理内容でなんぼでも変わるだろ
せいぜい数十万要素のコンテナしか使わないプログラムだから仮想テーブルなんかどうでもいいと主張する奴の言うことは正しいかもしれないが
数兆個の要素を扱う人にはそんなもの慰めにならん
701 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 13:56:47.91 ID:IXp/Ejzw0.net]: >>685
>インターフェイスを単一継承前提で考えるって、どんな教育を受けるとそうなるのかな
型に対する静的制約を実現するにあたり、多重継承は助けにならないからですだが…

>あらゆるメソッドが基底クラスに集中するなんて事例あるか？
上とまとめて理由を述べる
今、add()メソッドを備えるインターフェースA、sub()メソッドを備えるインターフェースBがあったとして、
加減算ができる具象クラスDやEは、それぞれAとBを多重継承したら一応はできる　・・・(1)
しかし、このバージョンのDやEは「加減算ができるクラス」という静的制約を満たしているとは言えない
なぜなら、DとEは全く別のクラス扱いになるから、DとEを共通に扱える関数を書けないので…
「加減算ができるクラス」という制約の正しい書き方は、AとBを継承するインターフェースCを定義して、
DやEにCを継承させる（単一継承）とらざるおえない　・・・(2)

なおいうまでもないことだがテンプレートにはそんな制限は無い。(1)のバージョンのD、Eに対して
問題なく「加減算ができるクラス」という制約をかけられる（Cにメソッドを集中させる必要が一切ナッシング
702 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 14:02:13.87 ID:IXp/Ejzw0.net]: ていうか最後の2行で筆が滑ったorz
テンプレートで「加減算ができるクラス」という制約をかけるにはインターフェースA、Bもそもそも要らん
ｽｹﾞｰ便利
703 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 14:25:40.72 ID:yuMzZsdXa.net]: templateはダックタイピングだとおもう
704 名前：はちみつ餃子 mailto:sage [2018/09/24(月) 15:09:08.71 ID:tUW1+gfS0.net]: どう説明したもんかと思ったけど、 >>684 の説明が分かりやすいな。
(Java でいうところの) インターフェイスは型の性質を事前に網羅しなきゃ
全体のデザインが定まらない。

関数が要求する性質 (インターフェイス) が増えた時に元の定義をいじるか、
mixin のような形で継承関係を作ることになる。
ちょっと機能を増やすだけでいらん継承関係を作るのは良くないという話の延長線上で
考えればインターフェイスを使ったところであまり解決にならない。

型制約 (コンセプト) は関数の側に付加するものなので、後付けが簡単だ。
結果的に型の側はその性質を持たなきゃならないことにはかわりないが、
性質を追加するのに元のクラス定義を弄らなくて済む。

-----------

最初の設計がキッチリしてたら、
クラス指向的なスタイルの方が混乱が少なくて良いかもしれないなと思い始めてきた。

でも、現実にはそうではない後付けだらけじゃん？とも思ってるわけ。
705 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 15:15:20.89 ID:GIs1tf8Y0.net]: >>687
型に対する性的制約って何？
それと事例あるか？と聞いている質問に何で長文がいるんだよ
具体的なライブラリとクラス名を挙げるだけだろうが
なるべく知名度の高い事例ほど説得力があるぞ
706 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 15:32:49.32 ID:XuY/8j5Q0.net]: >>690
コンセプトを盲信しすぎだろ
あくまで要件をコードで示せるだけだっての

それこそSTLには必ず導入されるべきものだけど、そのSTLでの不満、
つまりInputIteratorだのなんだのの要件をいちいちリファレンス参照しないとわからなかった(>>676)から
必要とされたわけで

はちみつとかは多分STLべったりで、それ以外のライブラリを読んだり
まともにソフト書いたことないから、STLがほとんど出てこない状況ってのを経験してないんだろ

＞ちょっと機能を増やすだけでいらん継承関係を作るのは良くないという話の延長線上で考えれば
話を広げすぎ。
型の制約という意味でいえば、現状コンセプトを待つしかないが
多分>>685が言ってるのは、Modern C++ Designで言うところのポリシークラスみたいな話じゃね？（違うかもしれんけど
この場合はあくまで要件定義なので当てはまらないと思うけど、
＞いらん継承関係を作るのは良くない
これは暴言。Andrei Alexandrescuに言ってくれば？
ポリシークラスのような、継承によって機能を取り込む設計も非常に便利だし、それこそSTLでもあちこちで使われてるんだがｗｗ

あと後半チラ裏にも程がある。何様だよ
707 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 15:33:05.07 ID:cpSL59m30.net]: Container<T>のbegin()が返すのはIterator<T>だとか
Matrix<M,N>とVector<K>はN==Kのときだけ掛け算できて結果はVector<M>だとか
Converter<V,W>とQueue<X>とProcessor<Y,Z>を持ってたらWとXとYはコンパチブルじゃなきゃいけないとか
そういうのが型の静的制約
708 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 15:39:44.60 ID:GIs1tf8Y0.net]: へーえ、vector<int>とvector<string>が掛け算できないという制約が
pure virtualを使った途端に無法状態になってしまうのか
709 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 16:03:46.76 ID:cpSL59m30.net]: じゃあ練習問題だ
IntVector::begin()の戻り値はIntIteratorで、IntIterator::value()はintを返す
StringVector::begin()はStringIteratorで、StringIterator::value()はstringを返す
そういう制約を表現するインターフェースIVectorを具体的に書いてみよう！

出来やしないのは手を動かせばすぐわかる
710 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 16:06:21.46 ID:cpSL59m30.net]: ああこれだけだと出来ちゃうか
end()もあってbegin()と同じ型のイテレーターを返すっていう制約も付けてちょうだい
711 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 16:08:34.73 ID:GIs1tf8Y0.net]: #define interface struct
template <typename T>
interface IVector
{
class iterator;
virtual iterator begin() const = 0;
};
712 名前：はちみつ餃子 mailto:sage [2018/09/24(月) 16:14:35.10 ID:tUW1+gfS0.net]: >>692
ポリシークラスは注入 (?) すべきポリシーをパラメタ化してるだけで、
何をパラメタにするかというデザインがきちんとしてれば有用だし、
いらん継承だとは思わないよ。

でも、現実には後になってそれがわかることもあるよねっていう話。
713 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 16:24:48.03 ID:cpSL59m30.net]: >>697
テンプレート使ってんじゃねえよ雑魚
714 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 16:34:08.72 ID:GIs1tf8Y0.net]: >>699
は？　後出しで言い訳してんじゃねえよ蛸助
インターフェイスがテンプレートになってる実例をまさか知らんのか？ｗ
715 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 16:37:21.35 ID:cpSL59m30.net]: お前の主張通り継承で全部やれよ
そういう所が雑魚なんだよｗ
716 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 16:38:54.75 ID:GIs1tf8Y0.net]: 捨て台詞吐いて逃亡かｗ
追わねえよくっだらねえ
717 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 16:41:06.83 ID:cpSL59m30.net]: そっくりそのままお返ししますわｗ
テンプレートと継承の出来ることと出来ないことの区別がつくまで二度と下らない妄言吐くなよ
718 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 17:18:02.91 ID:XuY/8j5Q0.net]: >>698
＞現実には後になってそれがわかることも
それは
＞何をパラメタにするかというデザインがきちんとしてれば
が後で変更になることもある、ってことだろうけど
そこまでの変更があったら、結局元の定義に手を出さなきゃいけないのは
どんな設計でも同じことだと思うけどなぁ

＞性質を追加するのに元のクラス定義を弄らなくて済む
と言ってたが、それは結局関数とかでクラスの要件を必要以上に大きくしないように
例えばallocator_traitsみたいに、色々手間をかけて、利用するクラスへの依存を減らすのと同じじゃね？
俺にはそういうイメージしか沸かないんだが
コンセプトマップってそういうことだろ
結局テンプレートであれこれ書くことになるか、コンセプトマップであれこれ書くことになるか、ってだけ
（＝開発コストは高い）

std::vectorだって、例えばアロケータは初期化時に渡さないといけないし
コピーとかしたときにアロケータはコピーしてくれなかったと思うが
それが不便だという声もある（ここでたまに取り上げられるEASTLの開発動機で触れられてる
あと、アロケータは型に依存するけど、メモリ確保なんてのはそもそも型は関係ないので
アロケータのあの設計は失敗かもね、というのもある（同じくEASTLでも触れられてる
それに対する代替案として、上で挙げたstd::pmr::memory_resourceが出てきたわけだけど、
今更STLの基本設計は変えられないのでpolymorphic_allocatorでラップするということになった

もしvectorがポリシークラスを受け取って、アロケータやメモリ管理についてもっと汎用化してたら
こういう問題は起きなかった（クッソ複雑になってるだろうけど）
これコンセプトでどうにかなるか？後になってわかってもどうにもならんよ
719 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 17:46:45.01 ID:yIbiTIWcr.net]: ヒープ領域にインスタンスを作りたいときってどうしてもポインタを意識しないとダメなの？

MyClass abc;
みたいに宣言したいんだが。

MyClass* abc;
abc ＝ new MyClass;
みたいにするしか方法ないの？

ヒープに作りたい理由は、巨大なオブジェクトだから。
ちなみにスマートポインタは使えない (icpc 12.0.4)。
720 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 17:53:54.47 ID:CvpxIDb80.net]: コンパイラに指示できるか、という意味ではないよ
そんなのあったも紛らわしいだけだと思うけど
721 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 18:26:32.41 ID:sIOpRstjM.net]: >>705
MyClass& abc = *new MyClass;
でいけるかも知らんけど十中八九delete忘れるし後から見て分かりにくいだけだから俺ならやらない
722 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 18:31:59.03 ID:cpSL59m30.net]: struct MyClassHolder
{
　MyClass* p;
　MyClassHolder(): p(new MyClass()){}
　~ MyClassHolder(){delete p;}
};

とか作っとけばいいんじゃない
自分でスマポ書いてるのと同じだけど
723 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 18:47:38.62 ID:yIbiTIWcr.net]: >>708
ありがとうございます。
参考にします。

ちなみにポインタをどうこうしたくない理由は、これまで MyClass のインスタンスを参照渡しするように作っていた関数を、できるだけ変更したくないからです。

参照渡しをポインタ渡しに変えて、関数内に適宜アスタリスクを挿入するだけですか？考えるのもしんどいです。
724 名前：はちみつ餃子 mailto:sage [2018/09/24(月) 18:55:55.79 ID:tUW1+gfS0.net]: >>704
> 色々手間をかけて、利用するクラスへの依存を減らすのと同じじゃね？

その通りだよ。
プロトコル指向でいうプロトコルは C++ で言うならまさにトレイツに相当すると思う。
(C++ では実装を直接的に強制する方法ではないけど。)

継承構造ではなく性質でジェネリック関数を使うってだけ。
継承で表すよりも性質で表現する方がたぶん記述は細分化されることになるので、
それが手間かもしれないし、
関連するものがとっちらかる感じはあると思う。

だけど「こういう型」というよりは「こういう性質」という方がプログラムが分かりやすくない？
既に述べたように拡張が楽というのもある。

ただ、プロトコル指向的デザインでは機能を追加することは出来ても
既に問題が生じているものをスパッと綺麗に解決できるわけではないので、
いつでも元の定義を弄らずに済むほど万能とはさすがに言わないよ。
vector なんてそれこそ達人たちが検証してるだろうから、
私が思いつくようなことが入り込む余地は無いだろうし。

そこらへんは程度問題なので、積極的に (あるいは消極的に)
(テンプレートを用いた) プロトコル指向的デザインを
使うのが割に合わないという場面もそれなりに多くあると思う。
繰返すけど、そこまで万能と思ってるわけじゃない。
725 名前： mailto:sage [2018/09/24(月) 19:02:18.61 ID:63DR0NZS0.net]: >>705
static 宣言する、というのはありな状況ですか？
static MyClass abc;
726 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 19:02:38.38 ID:XuY/8j5Q0.net]: こいつ金慶珠みたいなやっちゃな・・・・マジめんどくさい
727 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 19:04:43.22 ID:XuY/8j5Q0.net]: >>712は>>710宛

>>709
関数の方を変えなくても、渡すとこで
auto a = hoge(*pMyClass);
でいんじゃね？
それも大変なら>>708みたいにラップするしかないけど
728 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 19:14:36.90 ID:yIbiTIWcr.net]: >>711
オブジェクトのサイズが動的に変わるので、難しいです（合ってるかな？）

>>713
> 関数の方を変えなくても、渡すとこで
> auto a = hoge(*pMyClass);
> でいんじゃね？
> それも大変なら>>708みたいにラップするしかないけど

void hoge(MyClass abc);
なる関数 hoge() に、
MyClass* pabc;
pabc ＝ new MyClass;
hoge(*pabc);
とする、ということですよね？
この方法では、関数呼び出し時にコピーコンストラクタが呼ばれますか？
それとも参照渡しのように、実体(？)が渡されるのでしょうか。
729 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 19:30:44.68 ID:XuY/8j5Q0.net]: >>714
呼ばれないよ
参照渡しと同じことになる
730 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 19:31:36.39 ID:XuY/8j5Q0.net]: あ、もちろん関数側の受け取りを参照のままにしてれば、だけどね
731 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 19:42:51.66 ID:E4VB1fuR0.net]: >>709
MyClass abc1;
foo(abc1);

MyClass* abc2 = new MyClass;
foo(*abc2);
delete abc2;
732 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 19:44:00.35 ID:E4VB1fuR0.net]: あっ、既に出てたわ
733 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 19:51:26.90 ID:yIbiTIWcr.net]: >>715-718
すみません。
>>714は間違っていますね。
hoge() の定義は
void hoge(MyClass& abc);
でした。

ありがとうございます。
提案していただいた方法なら、関数側はほぼ何も変えないでできそうです。
初歩的な質問に付き合っていただき感謝します。
734 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 20:06:20.22 ID:I/nCcJf20.net]: https://ideone.com/l7t0qz
上から取れないマウントを取りに行くスタイル。
735 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 20:23:29.03 ID:SA5x5JnZ0.net]: ボレロ村上さんや江添さんみたいなプログラマーになりたいんですが、彼等はどうやってC++についてあんなに詳しいのでしょうか？
736 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 20:29:49.13 ID:I/nCcJf20.net]: どっちも早いころからパソコンを触っており、
早期にはこんなに言語がなく血反吐吐いて低級言語を覚える必要が少しあり、今はその応用で食ってける。
C/C++も今ほどライブラリがなく、自作するか引っ張ってくるしかなかったうえにそもそもコード系のシャルネットワークがなかった。
737 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 20:40:24.56 ID:dKKNaNpJ0.net]: 前提として奴らは別にプログラマーとして有名なわけではない。
コードを書く能力と有名なことが反比例しているわけだがそれでもいいなら
彼らの真似事してれば同じようになれるんじゃね？
738 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 20:50:32.86 ID:I/nCcJf20.net]: まぁ、名前を聞くようになったのはツイッターあたりからやね。
江添氏はコードのお作法がおかしいと食いついたりしてたし、委員会に近いところにいたのでそういう情報を発していた。
けど、個人ではあまりコードは書いてないみたいだな。
ボレロ氏は高専言いっててそこらへんで色々学んでconstexprライブラリで名前を売ったってところはある。
その後縮小して最近コードを書いているという話は聞いてないような。

どっちも有名になったのはこの世の不満とオタクの人権みたいなのを発していたら有名になったってところはある。と思ってる。
739 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 21:16:51.40 ID:GIs1tf8Y0.net]: 誰にでもウイークポイントはある
そこを苛める遊びに固執する阿呆は誰からも何も学べないまま
自らがウイークポイントのみからなるコンパクト星として成長するのみ
世の中の誰からも軽蔑しか受けない天涯孤独な存在だ
740 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 21:32:17.37 ID:XuY/8j5Q0.net]: まぁ江添氏は委員会の人間だしコードあんま書いてなくても日本のC++ユーザーのために
仕様の解説してくれてるしね
ボレロ氏は・・・まぁその・・・・・生産性あるんだか無いんだかよくわからんライブラリ作ってるというか
あれはあれで勉強になるけど・・・・ｗ

ただ初心者が「ああなりたい」ってよく言ってるのは理解に苦しむな
中途半端な知識でドヤ顔するのでなく、真摯に解説するサイトでも作ってくれりゃ価値があるけど
個人的には彼らを崇拝する人を見るたびに、もやもやした気分になる
言語は道具なんだから使ってなんぼやろ・・・
741 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 21:37:21.19 ID:SA5x5JnZ0.net]: >>726
まあ結局言語は道具といっても、作ったものが革新性があったり、真似できないようなら人気を集めるような気がするんだよね
東方のZUNとか別にそこまで凄
742 名前：いゲームでもないけど、プログラマーとしてそこそこ尊敬されてる []: [ここ壊れてます]
743 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 21:59:39.82 ID:dKKNaNpJ0.net]: 仕事でコード書いてたらc++の最新の仕様を追えないからやらない
とか本気で言ってしまう奴は根本が腐ってると思うよ。
言ってて矛盾を感じないのかと。
744 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 22:02:16.29 ID:orHhPIQU0.net]: 目標が名声なのか、C++理解度なのか・・・
粛々とコード書き続けるのが一番
745 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 22:40:40.71 ID:SA5x5JnZ0.net]: >>729
もちろん理解度なんだけど、何となく日本以外だと彼らしか目標とする人物が見つからなくて
746 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 22:55:21.63 ID:CvpxIDb80.net]: ISO/IEC読んでworking draft読んでおまけにg++/clangの実装で読んで
それでみんが知らなそうな重箱をつつくような仕様拾ってきてブログのネタに
すればいいんでないの？知らんけど
747 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 22:59:57.25 ID:XuY/8j5Q0.net]: まぁ日本だと、解説サイトで目につく人ってそんなもんか
ZUN氏挙げるのははちょっと不思議だけど・・・
以前東方に使われてる技術の解説がどこかにあったけど、
タスクシステムみたいな古くからある２Dシューティングの常套手段とかしか記憶にない
（なんか驚くようなのもあったかもしれんけど

仕事で書いてると驚くようなコードとか設計をあちこちで見かけるけど、
そういうの書くのはやっぱ誰も知らない無名の職業プログラマだったりするよ
748 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 23:31:07.79 ID:nTOSaHPIH.net]: >>732
今もそういう夢いっぱいな話あるの？
昔のファミコンソフトがスーパーテクニックの塊だった、みたいな

最近はリソースが潤沢にあって、手抜きのとりあえず動くプログラムが蔓延しているのだと思ってた
749 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 23:43:30.13 ID:CvpxIDb80.net]: 今でもゲーム系はスーパーテクニック満載でしょ
マルチコアCPUを90%以上使い倒す世界だからな、すげーわ
750 名前：デフォルトの名無しさん mailto:sage [2018/09/24(月) 23:47:03.19 ID:XuY/8j5Q0.net]: >>733
自分は半端者なんで知識はアレだけど、GTAシリーズとかE
751 名前：Aのゲームとか ああいうのは今でもリソース必死に使い切ってるみたいよ （Game Programming Gemsとか読んでみたらその片鱗が見える） スーファミ時代のような変態的なのとは方向性が違ってきてるけど 大規模な開発の上でいかにパフォーマンス損なわずに開発効率を上げるかが重視されてる もちろん2Dのスマホゲーだったら全然使い切る必要ないだろうけど、そっち方面は詳しくない （多分言語もC#かSwiftが主流？移植性考えたらC#だろうな []: [ここ壊れてます]
752 名前：デフォルトの名無しさん mailto:sage [2018/09/25(火) 00:00:26.48 ID:C9Mx85q+H.net]: へぇ～～～面白い

「どの業界は超人多い」みたいのあるんだろうか
753 名前：デフォルトの名無しさん mailto:sage [2018/09/25(火) 00:05:28.27 ID:bpDEi/Vx0.net]: 個人的にはF-35のソースが読んでみたいｗ
754 名前：デフォルトの名無しさん mailto:sage [2018/09/25(火) 06:17:40.32 ID:NMIb1H0N0.net]: >>737
さすがにF35のソースは見たことないけど、軍事関係や命に関わるコードはむしろ枯れた技術以外使わないんじゃないかな？
ECUとかはとんでもなく古い考え方(ほぼ全ての変数がグローバル)で作られてるし。
まぁECUの場合それはそれでちゃんと理由があるんだけどね。
755 名前：デフォルトの名無しさん mailto:sage [2018/09/25(火) 06:26:38.28 ID:cr5GGQ8dr.net]: 多次元配列クラス Tensor があるとして、そのインスタンス a は a[2][5][3] のように要素アクセスできるとします。

unique_ptr<Tensor> pa(new Tensor);
のように Tensor のスマートポインタを作った場合、pa の指してる Tensor への要素アクセスってどうやるのでしょうか。

「Tensor」の設計の詳細が必要であれば、boost の multi_array と同じとしていただいて問題ありません。
756 名前：デフォルトの名無しさん mailto:sage [2018/09/25(火) 07:37:41.21 ID:ovBx3cXW0.net]: (*pa)[2][5][3]
757 名前：デフォルトの名無しさん mailto:sage [2018/09/25(火) 08:18:12.28 ID:fJAN4SxzM.net]: >>732
自分は業務でC++使ってないのでそういう経験ができないのです‥
だからこそネットで活動してる人しか分からなくて‥

C++は全て独学するしかなくて、いい方法が無いかずっと考えてるのですが、結局ネットや本を見るしかなかったです
758 名前：デフォルトの名無しさん mailto:sage [2018/09/25(火) 12:20:54.85 ID:h/rPVSH9r.net]: >>740
すみません……
いろんなところにアスタリスクつけたり矢印つけたりしてみたのですが、そのパターンは見落としてました……
759 名前：デフォルトの名無しさん mailto:sage [2018/09/25(火) 12:31:36.38 ID:HAbRzuEs0.net]: >>742
見落とすというか……
予め正解を知っておかないと思い付くのは難しいかもしれない
そしてC++ではなくC言語的な原始的なポインタの話になるので、C++の教科書にそこまで詳しく載ってるかと言うと……

ttp://d.hatena.ne.jp/licheng/20130829/p2
ttp://www.nurs.or.jp/~sug/soft/tora/tora10.htm
ttp://tecmemo.wpblog.jp/2016/09/10/cpp-multidimensional_array/
ttp://www7b.biglobe.ne.jp/~robe/cpphtml/html03/cpp03010.html
760 名前：デフォルトの名無しさん mailto:sage [2018/09/25(火) 13:46:02.72 ID:rTSM83rL0.net]: >>738
組み込み系のノウハウなんだろうけど、大規模な組み込みってなってくると
一体どんな英知が詰まってるのかなーとか気になって
数百万行とかじゃなかったっけ・・
まぁMISRA-C++嫁、で終わる話かもしれんけどw

>>741
自分も会社入る前とか、辞めて休業中は全部独学よ
C++の知識だけに留まらず、何か作りたいもの作ってれば、
その分野での知識が嫌でも�
761 名前：ﾂいてくると思う C++の知識だけに閉じこもって実際の開発(プロじゃなくて個人のフリーソフトでも)と 乖離した方向に行ってしまうのが一番怖い []: [ここ壊れてます]
762 名前：デフォルトの名無しさん mailto:sage [2018/09/25(火) 13:48:52.76 ID:rTSM83rL0.net]: そういえば以前ここで似たようなこと言ったら
「愚者は経験に学び、賢者は歴史に学ぶ」とか言われたなw
ああいうアホになるんだよ、言語の知識だけに閉じこもって何も開発せずにいると
763 名前：デフォルトの名無しさん mailto:sage [2018/09/25(火) 20:49:31.31 ID:ovBx3cXW0.net]: 人は繰り返し、神は再帰する
764 名前：デフォルトの名無しさん mailto:sage [2018/09/25(火) 21:21:29.13 ID:CZcrESgD0.net]: >>744
＞MISRA-C++
そんなものがあるのですか？
765 名前：デフォルトの名無しさん mailto:sage [2018/09/25(火) 21:28:11.49 ID:LXnmrKE+0.net]: >>747
ggrks
766 名前：デフォルトの名無しさん mailto:sage [2018/09/25(火) 22:53:16.70 ID:uqsQEMjV0.net]: >>690
>(Java でいうところの) インターフェイスは型の性質を事前に網羅しなきゃ
>全体のデザインが定まらない。
無いメソッドを呼べる言語は存在しないからこれは仕方が無い（ジャバに限らん
ジャバに限らずインターフェースには利用者が絶対呼ぶメソッドだけではなく、
呼ぶかもしれないメソッドも全部packing listに入れねばならない点が無駄が大きい

その代わり、インターフェースのメソッドはビルド単位内で一意な名前（インターフェース名）で
（直接的あるいは間接的に）修飾されるから、同じメソッド名で違う機能のやつがあっても
衝突せず、安全性が保たれる
テンプレートはこの点だけがちょっと劣る
これ以外にテンプレートに欠点など無i
767 名前：デフォルトの名無しさん mailto:sage [2018/09/26(水) 00:16:16.58 ID:XAX5fYE80.net]: バイナリインターフェースが重要なシステムもあるわけで
768 名前：デフォルトの名無しさん mailto:sage [2018/09/26(水) 13:25:47.21 ID:3bFkpdGnM.net]: C++とシェルスクリプトの違いって何ですか？
シェルスクリプトで出来ることでC++ができないこと
C++が出来てシェルスクリプトで出来ないこととかそういう具体例を教えてほしいです。
769 名前：デフォルトの名無しさん mailto:sage [2018/09/26(水) 13:28:14.24 ID:3bFkpdGnM.net]: >>751
個人的に上げるとしたら、webのフロントエンド分野はインタプリタに勝てないと思います
770 名前：デフォルトの名無しさん mailto:sage [2018/09/26(水) 13:35:28.26 ID:8zK/b6uE0.net]: 比較の対象が違い杉
771 名前：さまよえる蟻人間 mailto:sage [2018/09/26(水) 13:35:54.34 ID:NuaJwewid.net]: >>751
C++はコンパイルしないと動かない。シェルスクリプトはファイルの操作やバッチ処理が得意。
772 名前：デフォルトの名無しさん mailto:sage [2018/09/26(水) 14:01:36.87 ID:3yW6iUgn0.net]: >>751
デバドラをスクリプトで書いてみてくれ
773 名前：デフォルトの名無しさん mailto:sage [2018/09/26(水) 14:29:30.26 ID:lYIfIhjTx.net]: >>751
桃白白とラウチェン、マジンガーＺとテコンVぐらい違う。
774 名前：デフォルトの名無しさん mailto:sage [2018/09/26(水) 14:43:50.80 ID:zEt8XtGI0.net]: >>751
GUI使ったアプリはシェルスクリプトでは無理
775 名前：デフォルトの名無しさん mailto:sage [2018/09/26(水) 14:51:55.15 ID:3bFkpdGnM.net]: >>754
確かにファイルの操作はそうですね
>>755
確かにそういう分野はCですね
>>756
例えが古くてパッとしませんでした‥
>>757
確かにOSにインストールするものはそうですね
776 名前：デフォルトの名無しさん mailto:sage [2018/09/26(水) 15:12:38.31 ID:nKPhFdqbH.net]: C++というかオブジェクト指向の質問かもしれないんですけど
エクセルにデータを書き出すためのクラスがありましてメソッドがざっとこんな感じ

・データをファイルから読み込む
・シート作成（ここで以下のメソッドを呼び出す）
・シートAに書き出す
・シートBに書き出す
︙
・シートEに書き出す

全体で1000行ほどなんですけど、例えばシートに書き出す共通部を親クラスにして、
それを継承した各シート毎に書き出すクラスを作るみたいなこと考えてます。
ただ正直あまり意味が無いような気もするんですよ。クラスと言うには小さすぎるものになりそうですし。
何行超えたらでかいだろとか何行なんてクラスとしては小さすぎるだろみたいなラインってありますかね
777 名前：デフォルトの名無しさん mailto:sage [2018/09/26(水) 15:23:36.10 ID:dRFURWqC0.net]: それは単に

メソッドシート作成（）{
シートAに書き出す
シートBに書き出す
︙
シートEに書き出す
}

ということ？それとも

class A {
メソッドシート作成（）{
シートAに書き出す
}

class B {
メソッドシート作成（）{
シートBに書き出す
}

ということ？
前者ならクラス分ける意味がないと思うが。
778 名前：デフォルトの名無しさん mailto:sage [2018/09/26(水) 15:33:15.98 ID:3yW6iUgn0.net]: >>757
Tcl/Tk の立場は？
779 名前：デフォルトの名無しさん mailto:sage [2018/09/26(水) 19:56:11.35 ID:oECBSnBC0.net]: クラスは行数じゃなくて意味的にまとまってるかどうかだからな
意味のあるメンバがまとまってれば1万行の単一クラスがあってもいいし
デタラメに寄り集められた50行の粗大ゴミクラスもある
そういうもの
780 名前：デフォルトの名無しさん mailto:sage [2018/09/26(水) 20:09:57.19 ID:LRnZd7JJa.net]: >>762
数字が逆じゃないか？
781 名前：デフォルトの名無しさん mailto:sage [2018/09/26(水) 20:16:07.55 ID:ME0063O80.net]: >>759
>何行超えたらでかいだろとか何行なんてクラスとしては小さすぎるだろみたいなラインってありますかね
ないよ
機能で分けれ

>例えばシートに書き出す共通部を親クラスにして、
>それを継承した各シート毎に書き出すクラスを作るみたいなこと考えてます。
「書く内容を決める」機能が「シートに書く」機能を継承するなんてナンセンス
どのシートに書くかなんて「シートに書く」機能に引数で渡せばいいだけ
782 名前：デフォルトの名無しさん mailto:sage [2018/09/26(水) 20:55:21.65 ID:oECBSnBC0.net]: >>763
あってるよ
50行でも粗大ゴミは作れちゃうんだよ
783 名前：デフォルトの名無しさん mailto:sage [2018/09/27(木) 00:26:48.70 ID:zZL/tnLy0.net]: さすがに一万行でまとまってるクラスってのはないわ。。
784 名前：デフォルトの名無しさん [2018/09/27(木) 00:28:50.85 ID:pq96CSzd0.net]: もしかして知恵遅れは
なんか書くために毎度毎度ofstreamを継承すんの

もしかして知恵遅れは
なんか読むために毎度毎度ifstreamを継承すんの

さすが
785 名前：デフォルトの名無しさん mailto:sage [2018/09/27(木) 00:36:33.47 ID:3iNJ0doV0.net]: 例えば、基本クラスに出力クラスを作って、
派生クラスに、プリンター・PDF など、機能が異なるならオブジェクト指向だけど、

機能が同じなら、派生クラスではない。
単に、属性・メンバ変数が変わるだけ
786 名前：デフォルトの名無しさん [2018/09/27(木) 00:50:27.91 ID:pq96CSzd0.net]: void aho::write(ostream& aho) const {
aho << "aho" << endl;
aho << "baka" << endl;
aho << "manuke" << endl;
}

こんな感じで作っとけば
いろんなもんに書ける可能性がある

抽象化をうまく利用するというのは
こういうことだからな
787 名前：デフォルトの名無しさん mailto:sage [2018/09/27(木) 05:39:28.23 ID:DR3ASZ+QH.net]: 江添亮に匿名で質問ができて、高確率で答えが帰ってくる空間ってもうないのでしょうか
788 名前：デフォルトの名無しさん mailto:sage [2018/09/27(木) 07:33:12.06 ID:zZL/tnLy0.net]: 本人のtwitterにでも投げれば？
高確率で「質問ではない」が帰ってくるが。
789 名前：デフォルトの名無しさん mailto:sage [2018/09/27(木) 07:58:37.31 ID:GSDkLsyd0.net]: >>751
シェルスクリプトだけではシェルスクリプトを解釈実行することはできない
C++からならできる
つまりシェルスクリプトだけでは金輪際できない仕事というのは少なくとも1つある

もっともこの宇宙自体がシェルスクリプト上で走っているシミュレーションなら話は別やが…
790 名前：デフォルトの名無しさん mailto:sage [2018/09/27(木) 08:51:58.83 ID:Ct84HJ0d0.net]: c++はコンパイラいるやろが
791 名前：デフォルトの名無しさん mailto:sage [2018/09/27(木) 09:07:42.86 ID:eHS6051wM.net]: そんな規約あったっけ？
Cling とか CINT はパチモノ？
792 名前：デフォルトの名無しさん [2018/09/27(木) 13:29:28.75 ID:lX4OM9LG0.net]: >>769
そういうのは、templateのほうがいい。ostreamに依存せずにすむ。
793 名前：デフォルトの名無しさん mailto:sage [2018/09/27(木) 16:27:38.79 ID:Zeo03I1R0.net]: 766からの流れでそうなっただけだろ
794 名前：デフォルトの名無しさん mailto:sage [2018/09/27(木) 16:47:26.94 ID:Oj9x/TA+0.net]: 俺には誰一人として標準のstreamクラスを継承する話はしてなかったように思えてならないんだが
(最初の>>759も書き出す処理を継承で共通部分と個別部分に分ける案を問うているだけ)
なんでそういう話になってるんだっけ
795 名前：デフォルトの名無しさん mailto:sage [2018/09/27(木) 20:48:20.83 ID:vb6QqVUs0.net]: >>777

>>759
＞全体で1000行ほどなんですけど、例えばシートに書き出す共通部を親クラスにして、
＞それを継承した各シート毎に書き出すクラスを作るみたいなこと考えてます。

書き出す共通部をまとめたクラスというのは
ファイルで言えば ofstream みたいなものなのであろうと皆疑ってるんだろう。
「みたいなものではない」という、結論が違ってくるような違いも提示されないし。
796 名前：デフォルトの名無しさん mailto:sage [2018/09/27(木) 20:54:25.22 ID:/ZxE29S10.net]: 関数にすると不味いことある？
797 名前：デフォルトの名無しさん mailto:sage [2018/09/27(木) 21:00:15.42 ID:Oj9x/TA+0.net]: >>778
そうなのか……ありがとう
俺はostreamを引数に取る関数オブジェクトを多態やprotectedを使って実装するみたいなイメージで読んでた
798 名前：デフォルトの名無しさん mailto:sage [2018/09/27(木) 21:09:44.86 ID:/ZxE29S10.net]: 最初にクラスを設計し始めるのは筋が悪いと思ってる。そんな3流プログラマ。
799 名前：デフォルトの名無しさん mailto:sage [2018/09/27(木) 23:22:58.17 ID:GSDkLsyd0.net]: 訂正；
△：シェルスクリプトだけではシェルスクリプトを解釈実行することはできない
○：シェルスクリプトがあるだけではシェルスクリプトの解釈実行を開始することはできない

シェルスクリプトはもちろんシェルスクリプトから呼ばれるシステムコールその他の
一切合財をシェルスクリプト上だけでシミュレートする能力がある（と思う）が
全ての始まりを起こすのにC/C++で書かれたOSを要する

>>781
つまりクラスの設計はおくらすのが正しい
800 名前：デフォルトの名無しさん mailto:sage [2018/09/27(木) 23:59:38.23 ID:RQl7S0Gm0.net]: 来たよ、暇なので
801 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 09:32:22.81 ID:hWUH9Sli0.net]: 最新のC++コンパイラが使えないので質問。
右辺値参照が仮引数になっている以下のような関数があった場合、

aaa(左辺値の変数);

とすると、ちゃんと、aaa() は呼び出される？
それともエラーになる？

void aaa(T&& a)
{
　　・・・
}
802 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 09:39:47.21 ID:UtPWkOJga.net]: >>1のオンラインコンパイラを使おう
803 名前：はちみつ餃子 mailto:sage [2018/09/28(金) 09:40:07.87 ID:7KXXqv1B0.net]: >>784
呼び出される。
lvalue は rvalue にもなる。
804 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 09:48:18.84 ID:hWUH9Sli0.net]: >>785
どこにあるの？
805 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 09:53:42.38 ID:hWUH9Sli0.net]: では、aaa()に次のようなoverloadがある場合は、「2」の方が呼び出されて、
#if の部分を 0 にすると、「1」が呼び出される？
だとすると、昔のC++では無かったような overloadの仕様かも？

T b;
aaa(b); // bは左辺値のつもり

void aaa(T&& a)
{
　　puts("1, 右辺値参照、T&& に来たよ。");
}

#if 1
void aaa(T& a)
{
　　puts("2, 左辺値参照、T& に来たよ。");
}
#endif
806 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 10:13:48.61 ID:WRA8TBfa0.net]: >>788
>>785
807 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 10:23:34.25 ID:RVKB6eOl0.net]: >>784
呼び出されない
右辺値参照は左辺値を受け取らない（原則）

ただしTがテンプレート仮引数の場合と、auto&&の場合は、
右辺値参照で左辺値を受け取れる（特例）

型を推定させた場合に限り、右辺値参照は、
左辺値参照への左辺値参照に変形できる
808 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 10:32:29.28 ID:hWUH9Sli0.net]: [Compile and Execute C++11 Online (GNU GCC v7.1.1)]
https://www.tutorialspoint.com/compile_cpp11_online.php
で下の方のコードを試したら、

$g++ -std=c++11 -o main *.cpp
main.cpp: In function ‘int main()’:
main.cpp:18:10: error: cannot bind rvalue reference of type ‘TPerson&&’ to lvalue of type ‘TPerson’
　　 aaa(b); // bは左辺値のつもり
　　　　　^
main.cpp:8:6: note:　 initializing argument 1 of ‘void aaa(TPerson&&)’
void aaa(TPerson && a)
　　　^~~

というエラーになった。gcc 7.1.1 では、>>786 の言ってくれたことと合ってない？？？
809 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 10:33:03.33 ID:hWUH9Sli0.net]: >>791
[続き]

#include <stdio.h>

struct TPerson {
　int m_age;
};

void aaa(TPerson && a)
{
　　puts("1, 右辺値参照、T&& に来たよ。");
}

int main()
{
　　printf("Hello, World!\n");
　　
　　TPerson b;
　　aaa(b); // bは左辺値のつもり

　　return 0;
}
810 名前：はちみつ餃子 mailto:sage [2018/09/28(金) 10:35:31.98 ID:7KXXqv1B0.net]: あれ？ごめん。
確かめたら呼び出されなかった。

勘違いしてたかも
811 名前：はちみつ餃子 mailto:sage [2018/09/28(金) 10:39:58.90 ID:7KXXqv1B0.net]: あ、逆の場合と混同してた。
const T& に rvalue がマッチするんだった。

このあたりのルール、なんか一貫性がない感じがする。
812 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 10:40:42.82 ID:hWUH9Sli0.net]: >>793
でも、以下の std::move() の実装の説明だとあなたの言ってる方が正しい気がする。

https://stackoverflow.com/questions/36206764/understanding-the-code-for-stdmove
www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n2027.html#Move_Semantics

The move function really does very little work. All move does is accept
either an lvalue or rvalue argument, and return it as an rvalue
without triggering a copy construction:

template <class T>
typename remove_reference<T>::type &&move(T &&a)
{
　　return a;
}
It is now up to client code to overload key functions on whether
their argument is an lvalue or rvalue (e.g. copy constructor and
assignment operator). When the argument is an lvalue,
the argument must be copied from.
When it is an rvalue, it can safely be moved from.
813 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 10:44:16.75 ID:hWUH9Sli0.net]: >>790
なるほど、std::move() は、あなたの言ってくれた、template の場合に当たるから
こその動作だったんだ・・・。
814 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 10:49:49.55 ID:hWUH9Sli0.net]: >>794
template の場合と、auto の場合は、まさに、一貫性が無いということらしい。

こういう一貫性の無さのことを「直交性が低い」と言って、言語が分かりにくい
指標になるらしい。
815 名前：はちみつ餃子 mailto:sage [2018/09/28(金) 11:07:41.28 ID:7KXXqv1B0.net]: >>797
一貫性は無いけど、仮引数の rvalue reference に lvalue がマッチ「してほしくない」というのはわかるので、
まあしょうがない。
816 名前：はちみつ餃子 mailto:sage [2018/09/28(金) 11:11:50.31 ID:7KXXqv1B0.net]: >>790
ちょっと確認なんだけど、
テンプレート仮引数 T に対して T&& に lvalue がマッチするっていうのは、
実際には lvalue reference として機能するという意味でいいんよね？
(変形できるというのはそういう意味だよね？)
817 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 11:58:59.36 ID:RVKB6eOl0.net]: >>799
それ以外の何だと思うの？
818 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 12:26:11.67 ID:hWUH9Sli0.net]: >>798
あまのじゃく？
819 名前：はちみつ餃子 mailto:sage [2018/09/28(金) 12:29:12.61 ID:7KXXqv1B0.net]: >>800
「変形される」だったら勝手にやってくれるんだなーと思うんだけど、
「変形できる」という言い回しにちょっと引っかかりを感じたというふんわりした疑問なので、
具体的に別の可能性を思い浮かべたわけではないです。
820 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 14:07:40.60 ID:7VsD45M6M.net]: 江添とお前らどっちがC++に詳しい
821 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 14:45:05.48 ID:hWUH9Sli0.net]: >>803
その人もここに来るかも知れないから。
822 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 14:53:59.72 ID:5bmo24w9p.net]: 江添で言えばまさにわかりやすくその辺の事情解説してくれてるだろ
今の話で江添より詳しいとかありえねー
823 名前：はちみつ餃子 mailto:sage [2018/09/28(金) 17:00:34.02 ID:7KXXqv1B0.net]: >>803
江添氏は C++ を使うプログラマというよりは、
C++ の規格の専門家として C++ の知識を持ってるんだから、
かなり詳しいよ。
824 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 17:18:49.52 ID:hWUH9Sli0.net]: >>806
いずれにせよ、気持ちはうれしかったよ。
825 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 17:49:54.67 ID:7VsD45M6M.net]: >>805
そのへんの事情って？
>>806
それは本人も自負してるようだけど
826 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 18:34:51.41 ID:2UofBC6a0.net]: >>790, >>794あたりの仕様の事情な
827 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 21:21:09.15 ID:tCflGkAm0.net]: もし非テンプレート関数かつ非インライン関数なvoid bar(Foo&& a)に左辺値xを渡してビルドが通る言語規格だとしたら、
　tmp = xのコピー
　barのビルド結果←(tmpのアドレス)
ということになってxのコピコンが呼ばれてしまうま
つまり右辺値参照がコピコン削減になるかどうかというのは関数を右辺値参照にしただけでは決まらず、
呼び出し元の条件次第なので、bar()を作る人/使う人双方の慢心を避けるためにエラーにするんだろＪＫ

一方テンプレート関数またはインライン展開される関数なら、上のようなへタレコードに一時的になっても
すぐさまコピコン削減ができるから実質弊害が無い
ただし、そういった関数でも再帰呼び出ししたりアドレスをとったりすると上と同じ議論になるので、
再帰呼び出し/アドレスを取る操作　両方ともありえるインライン関数は>>790の例外の適用外とされ、
テンプレート関数は再帰呼び出しが有り得ないし、アドレスを取る奇特な人間も居ないだろうということで>>790の例外が設けられた
828 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 21:24:43.89 ID:tCflGkAm0.net]: 訂正；
△：　すぐさまコピコン削減ができる
○：　コンパイラがすぐさまコピコン呼び出し削減最適化をかけられる

コピコン呼び出し削減最適化はこの場合データフロー解析の結果を流用したらできる
C++はgotoが使われたとき、コンストラクタが呼ばれずに使われるオブジェクトが生じないか否か確かめるために
データフロー解析はもともと必須なので、コピコン呼び出し削減最適化はC++コンパイラ書きなら誰でも出来る（多分
829 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 21:34:28.86 ID:tCflGkAm0.net]: >>794
>const T& に rvalue がマッチするんだった。
それはある意味当然すぐる
const T& x = r; // rは右辺値
...
y = x // (*)
としたときに、コンパイラは(*)みたいな文が現れるまでは、
xへのアクセスを機械的にrへのアクセスに置き換えれば良いわけでゼロコスト
rが所有権を失ったらxのアクセスも不正となるが、これは書き換え可能なオブジェクトを
const参照をとってから書き換えた場合も似たようなもの（身からでたサビ
なのでコンパイラはやっぱ何もしなくて良い
830 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 21:36:22.95 ID:tCflGkAm0.net]: （30分前にこのスレを読んで初めて右辺値とか右辺値参照といったﾌﾞﾂを知った初心者なので語ってみた
831 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 22:13:49.14 ID:pgnHcfqPM.net]: >>812
y = x
の後もxへのアクセスはrへのアクセスで良くないの？
832 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 22:40:22.15 ID:5I7m9/jNd.net]: どんな文が現れようとずっとrでいいんじゃね？
833 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 22:45:46.54 ID:tCflGkAm0.net]: >>814 >>815
ﾎﾝﾏや！(；ﾟДﾟ)天才か！
834 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 22:50:40.02 ID:pgnHcfqPM.net]: >>816
ｳｯｻｲ､ﾁﾈ
835 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 23:48:18.05 ID:AAs3crMS0.net]: >>810
再帰だろうがアドレスとろうがオンラインだろうが例外は適用されるだろ。
やっぱ30分で理解するのは無理じゃね？
836 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 23:50:49.06 ID:HzE5xAmYr.net]: auto a = funcA(funcB(funcC(input)));
みたいな感じの関数の入れ子ってさ、ある関数が終わる度にその都度インスタンスを作ってコピーして次の関数に渡すということを繰り返すんだよね？

つまり、関数たちの返り値が巨大なオブジェクトだったら、このように書くことで余計に時間がかかるよね？
837 名前：デフォルトの名無しさん mailto:sage [2018/09/29(土) 00:09:10.14 ID:UwfF5QN40.net]: >>819
いんや。
オブジェクトにムーブコンストラクタがあって戻り値が右辺値ならコピー回避されるし、戻り値最適化で一切何も起こらない可能性すらある。

て、はちみつが言ってた。
838 名前：デフォルトの名無しさん mailto:sage [2018/09/29(土) 00:13: ]: [ここ壊れてます]
839 名前：53.80 ID:X+ykKtqpr.net mailto: >>820
へぇ

> 一切何も起こらない
というのは、一切余計なオーバーヘッドがない、ということですか？ []: [ここ壊れてます]
840 名前：デフォルトの名無しさん [2018/09/29(土) 00:22:35.94 ID:4+9Po3M4a.net]: 単純なコピーよりは早くなる可能性があるってだけでは？
841 名前：デフォルトの名無しさん mailto:sage [2018/09/29(土) 00:30:08.48 ID:UwfF5QN40.net]: ちょっと誇張しすぎた。
正しくは「コピーもムーブも起らない可能性すらある」

コピーもムーブも起こらなければ、その分のオーバーヘッドは当然ないよ
842 名前：デフォルトの名無しさん mailto:sage [2018/09/29(土) 00:36:40.21 ID:X+ykKtqpr.net]: へぇ～～～
ありがとうございます

まぁそこがボトルネックじゃない限り余計なこと考えない方が身のためなのかもしれませんが
843 名前：はちみつ餃子 mailto:sage [2018/09/29(土) 02:25:18.76 ID:4F2hgYyq0.net]: >>819-824
コピーもムーブも省略される可能性ってのは、左辺の場所でオブジェクトを直接に構築するっていう意味。
構築してからそのままコピーしてる (そして元のオブジェクトが一時的である) 場合は実際には直接構築したって同じよねという話。
844 名前：デフォルトの名無しさん mailto:sage [2018/09/29(土) 14:26:47.44 ID:7XGFV27+0.net]: >>820
＞オブジェクトにムーブコンストラクタがあって戻り値が右辺値ならコピー回避されるし
なんかムーブコンストラクタを魔法か何かと勘違いしてないか？
ムーブコンストラクタの方が重い処理してたら当然重くなるんだぞ
845 名前：デフォルトの名無しさん mailto:sage [2018/09/29(土) 14:32:22.06 ID:OnnXxjQtM.net]: >>826
ええ…
コピーより重いムーブコンストラクタの存在を前提に話す必要ある？
846 名前：デフォルトの名無しさん mailto:sage [2018/09/29(土) 14:44:27.90 ID:7XGFV27+0.net]: むしろムーブで軽くなるのは大抵の場合ムーブによってヒープの確保、解放を
避けられるクラスだけ、だろ
ある意味そっちの方が限定して話をしてると思うが

基本をすっ飛ばすからはちみつその他誤解するやつが出てくる
847 名前：デフォルトの名無しさん [2018/09/29(土) 14:49:31.13 ID:IuTgmxg/0.net]: この機能が必要になった背景・経緯

ムーブセマンティクスは、C++03でもNRVO（特定の文脈でのコンストラクタの省略）や、 C++11で非推奨となったstd::auto_ptrで実現されていた。
しかし、NRVOがいつでも機能するわけではなかった。
また、std::auto_ptrにはコピーと同じ文法でムーブしていることなど、問題が多かった。
そのため、コピーと区別でき、統一的にムーブを表す文法が言語機能として必要とされた。

つまりこんなあぶなっかしい
unique_ptr、shared_ptr、weak_ptrとか使ってるﾔﾂﾗも
ｸﾙｸﾙﾊﾟｰしかいない

この程度の簡単な制御も自分で簡単に制御しきれないﾜｹだからな
848 名前：デフォルトの名無しさん [2018/09/29(土) 14:56:25.79 ID:IuTgmxg/0.net]: しかしｱﾎのあたらしもの好きは半端ない
頭悪いｼﾛﾓﾉでも新しいものができたら使わないといけない病になってるからな
ｼﾛｳﾄに多い
849 名前：デフォルトの名無しさん mailto:sage [2018/09/29(土) 14:58:40.21 ID:7XGFV27+0.net]: いや、autoはともかくshared, unique, weakは危なっかしくないと思うが・・
ムーブが使えるようになってからだし
あと個人的にはcpprefjpは規格寄り過ぎてユーザー寄りじゃないと思う
cppreference.comを使うべき
850 名前：デフォルトの名無しさん [2018/09/29(土) 14:59:08.11 ID:IuTgmxg/0.net]: で、こんなしょうもないことより
ﾎﾝﾄに理解しないといけない部分がすっぽりと抜けてる
851 名前：はちみつ餃子 mailto:sage [2018/09/29(土) 16:42:03.70 ID:4F2hgYyq0.net]: C++ の (というかプログラミング言語の) ほとんどの機能は抽象化の道具。
ムーブもまた、見かけ上は代入っぽい抽象で扱えるものであっても
実態はもうちょっと速いコードにも出来る (可能性がある)。

>>829
そういう簡単な制御すら抽象化層に押し込められない方がよっぽど駄目。
クルクルパーだと思ってるならなおさら、
簡単な制御なら (いつも間違いなく) 出来ると期待すべきでない。
そんでもって大抵の人間はクソザコで、しょうもない間違いをする。
問題は道具で解決すべき。
852 名前：デフォルトの名無しさん mailto:sage [2018/09/29(土) 17:03:15.96 ID:7XGFV27+0.net]: スマポは言語の機能じゃねーよボケ
853 名前：デフォルトの名無しさん mailto:sage [2018/09/29(土) 18:38:13.57 ID:GD2dD6IB0.net]: >>833
>問題は道具で解決すべき。
ネ申は確かＬＬ言語を創造された
854 名前：デフォルトの名無しさん [2018/09/29(土) 18:45:43.26 ID:Dc4laUcM0.net]: ムーブはゼロの発見に次ぐ、人類史上における大発見と言われてるけどな。
ノーベル賞候補の一つにもなってるし。
855 名前：デフォルトの名無しさん mailto:sage [2018/09/29(土) 18:51:41.19 ID:GD2dD6IB0.net]: std::auto_ptr<T>はもともとオブジェクトをムーブしたくて生まれたわけでは無いと思う…
確実な解放の実現が先
ムーブする仕様はあと

あとstd::auto_ptr<T>（unique_ptr<T>でも良いが）でも使わないとやってられないｼﾁｭがC++には少なくとも1つある
856 名前：デフォルトの名無しさん mailto:sage [2018/09/29(土) 18:56:52.23 ID:oWn9MzvpM.net]: move元のオブジェクトに対するアクセスがコンパイルエラーになるんならわかるけど、そうじゃないんなら
大層な仕組みを入れなくても単に unique_ptr を言語組み込みで実装すれば済む話だったのでは？
857 名前：デフォルトの名無しさん mailto:sage [2018/09/29(土) 19:32:03.30 ID:YVfD+mv1M.net]: お前ら江添に負けて恥ずかしくないの？
858 名前：デフォルトの名無しさん mailto:sage [2018/09/29(土) 20:26:30.14 ID:1/46iTAZM.net]: 全然？
859 名前：デフォルトの名無しさん mailto:sage [2018/09/29(土) 21:00:53.02 ID:vc6gAAuZd.net]: >>838
それ何が嬉しいんだ？
vector とかどうすんだよ
860 名前：デフォルトの名無しさん mailto:sage [2018/09/29(土) 22:03:09.07 ID:oWn9MzvpM.net]: >>841
moveするのが分かってるんなら最初からvectorごとヒープに作って unique_ptr で持てばいいでしょ
中途半端にガワだけスタックに置く意味がない
861 名前：デフォルトの名無しさん mailto:sage [2018/09/29(土) 23:45:25.50 ID:OLOWa9QF0.net]: move後の元オブジェクトを破壊っていうか破棄しようって提案もあったよ。ちょっと早くなるのだとさ。
862 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 00:04:13.06 ID:kBo12DYt0.net]: >>842
ポインターならそもそも copy のコスト安いから move 要らないじゃん
863 名前：デフォルトの名無しさん [2018/09/30(日) 00:20:38.65 ID:aYXyCrkn0.net]: それだったら最初から普通にﾎﾟｲﾝﾀでかけよ
864 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 00:57:02.37 ID:GfZkWSkk0.net]: この3冊が、神の書！

Linux プログラミング・インタフェース、Michael Kerrisk、2012

C++11/14 コア言語、江添亮、2015

組込み開発者におくるMISRA‐C:2004―C言語利用の高信頼化ガイド、MISRA‐C研究会、2006
865 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 01:40:28.47 ID:CKZYWlYLa.net]: >>844
だからmoveいらないって話でしょ
C++のムーブセマンティクスがああなったのは中途半端にスタックを使うスタイルが定着してしまっていて今更ポインタ使えというのは無理があるからで、
本来は所有権の管理さえ適切に行えるようになってさえいればムーブなんか要らんよ
866 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 06:43:45.01 ID:C9oWPEnUr.net]: C++ Coding Standards って新品で買えないけど代わりになる書籍ありますか？
867 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 06:48:23.20 ID:d4gXl3Bi0.net]: >>847
ポインタ使え思想はすでにC#とかなクラスが参照型な言語で実現されているが
オブジェクトの解放にガベージコレクタが要る言語になった

これはガベージコレクタ無し・所有権の無条件移動だけだと、次のようなケースで早速話が破綻するから仕方が無い
void bar(int n) {
　std::unique_ptr<Foo> a(new Foo());
　for (int i = 0; i < n; i++) {
　　func1(a, i);　　// func1(a, 0);で所有権がgone　以降のfunc(a, i)はaの不正アクセス
　}
}

不正アクセスにならないように、実際にはこのようなfunc1()にはa.get()でポインタを渡す書き方をする
するとfunc1()以下の呼び出しは全部>>845になる

人類に逃げ場は無い
868 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 06:53:57.08 ID:d4gXl3Bi0.net]: それにポインタ使え思想だと次のようなケースでBaz::m_c[i]のBar:m_b[j]の:Foo::m_aのアクセスに藻前らどんだけ間接参照するんですかと、
class Foo {
　SomeClass m_a;
};
class Bar {
　Foo m_b[100];
};
class Baz {
　Bar m_c[100];
};
869 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 07:13:40.02 ID:d4gXl3Bi0.net]: ちな>>850はm_bやm_cが配列であるため、配列アクセス時の添え字が定数なｼﾁｭでもない限り、JITでも間接参照回数を3以下にはできん
870 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 09:10:22.74 ID:3yGUdTqFM.net]: >>849
よくわからんな
848の問題はそれmoveでも一緒だよね
単にデフォルトの挙動がmoveかborrowかだけの話で、unique_ptrがたまたま前者なだけ
スマポ使えば間接参照はどうしても増えるけど、実際>>850のようなケースで特定の要素だけ所有権捨てたりしないでしょ
所有権を移動するかどうかはほぼ例外なくオブジェクト生成時点で予め分かってるんだから、その場合に限ってスマポを使えばよい
コーナーケースのために全てを複雑にする必要はない
871 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 09:21:04.80 ID:d4gXl3Bi0.net]: >>852
>所有権を移動するかどうかはほぼ例外なくオブジェクト生成時点で予め分かってるんだから、
有り得ない仮定すぐる…
>>849なケースにおいて、オブジェクトaの生成時点というのは、
ライブラリー制作者がfunc1()を設計してビルドまで完了した後やがな…
872 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 09:39:54.40 ID:3yGUdTqFM.net]: >>853
自分でも分かってて揚げ足取ろうとしてるんだろうけど、コーディング時に、プログラマがオブジェクトを生成することを意図したコードを記述した時点で、な
873 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 09:46:24.24 ID:d4gXl3Bi0.net]: >>854
いやｽﾏﾝ言い方がまずかったそういう意味ではない
確かに
>所有権を移動するかどうかはほぼ例外なくオブジェクト生成時点で予め分かってるんだから、
というのは真だが、ライブラリのインターフェースに解放が必要なオブジェクトのmoveなど認めたら有り得ないコストが生じるという話

func1()の制作者が所有権を寄越すことを強制した（そういうインターフェース仕様にしてしまった）場合、
func1()を使う人はfunc1()に所有権を渡さねばならない。この結果、
　1. 呼び出し元（func1()を使う人）がaをコピーしてコピーをfunc1()に渡さねばならない
　2. func1()は呼び出しの度に、aを解放する
というのが>>849のコードでn回無駄に繰り返される

これを避ける方法はあるっていやーあるが、結局func1()以下の呼び出しは全部>>845になる（か、ガベージコレクタの出番となる

人類に逃げ場は無い
874 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 09:52:25.65 ID:CKZYWlYLa.net]: >>855
だからそれmoveでも同じことだよね？
ユニバーサル参照のことを言ってるんだとしたら、あれただの型推論だぞ
875 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 10:03:48.10 ID:d4gXl3Bi0.net]: >>856
解放が不要なオブジェクトのmoveは話がちげう
この場合、単に生ポインタ（オブジェクトのアドレス）をfunc1()に渡すのと変わらん
これはライブラリのインターフェースに現れてもコスト的には問題は無い

元レスのアンカー先>>847は>>855のコストが避けられない主張
876 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 10:07:31.97 ID:d4gXl3Bi0.net]: いやすまん解放が不要なオブジェクトでも、所有権を移動した場合は>>855の1のコストは避けられないorz
ここは訂正
877 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 10:11:13.08 ID:CKZYWlYLa.net]: >>857
スマポのmoveも本体のmoveも一段間接参照が入る以外は何も変わらないって言ってるんだけど、そんなに難しい話かなあ
878 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 10:45:39.58 ID:d4gXl3Bi0.net]: >>859
>>849、>>850は、現行C++におけるスマポのmoveと本体のmoveの優劣は問題にしていない

848を現行C++のコード風に書いたから誤解を招いたのかもしれないが、比較はあくまで現行C++と846思想の比較であって、
846の次の思想を実行に移したら>>855のコストが避けられませんよという話
　1. スタックを使うスタイルはやめるべき（全部スマポであるべき）
　2. 所有権の管理さえ適切に行えるようになってさえいれば（現行C++のムーブセマンティクスみたいな）ムーブなんか要らん

1は現行C++との比較において、間接参照回数に響く
2は現行C++との比較において、現行C++では避けられるコスト（>>855またはガベージコレクション）を無駄に背負い込むことになる
879 名前：はちみつ餃子 mailto:sage [2018/09/30(日) 10:52:02.74 ID:56zUhffF0.net]: >>859
本体のムーブも、ムーブ出来るように書いたらカスタムなスマートポインタみたいになるから、
間接参照が入っちゃうので、なおさら同じではあると思う。

でもまあ、ムーブは抽象化の方法であって、
最終的に実行されることが同じだからなくても良いってのは暴論よね。
880 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 11:10:34.99 ID:f0zM7Hcdr.net]: アンダースコアとドットをこの順で必ず含む string があったとして、アンダースコアからドットまでの部分文字列を切り出す処理って一行で書ける？

substr と find_first_of と find_last_of を組み合わせる方法を考えたんだが、
アンダースコアの前を削る;
ドットの後を削る;
という2行に渡るやり方しか思い付かない
881 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 11:15:56.30 ID:d4gXl3Bi0.net]: ちな
>スマポのmoveも本体のmoveも一段間接参照が入る以外は何も変わらないって
これは現行C++においても違う違いがﾜｶﾙ男ならﾜｶﾙ

func1()からfunc2()にfunc1()の自動変数aをmoveするとして、かつfunc2()はインライン展開されるとすると、
func2()におけるaのメンバへのアクセスはfunc1()呼び出し時点でのスタックポインタ相対で一発でやれる
一方、aがスマポだったりすると、aのメンバへのアクセスの前に、func1()呼び出しの都度1回はスタックポインタ相対でaのアドレスを得なければならない
882 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 11:27:40.54 ID:fM5IaZg4M.net]: オブジェクト本体のメモリのコピーにかかるコストを考慮すればどっちもどっち
883 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 11:54:22.15 ID:u5/6mv7u0.net]: >>862
substr じゃなくて、コンストラクタ使えばいいんじゃね
string t(s.begin() + s.find_first_of('_') + 1, s.begin() + s.find_last_of('.'));
884 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 12:29:37.73 ID:f0zM7Hcdr.net]: >>865
なるほど、ためになります
885 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 12:35:17.89 ID:f0zM7Hcdr.net]: >>865
ふと気になったのですが、このコンストラクタの挙動って他の名前の関数で実装されてないんでしょうか？
886 名前：さまよえる蟻人間 mailto:sage [2018/09/30(日) 12:48:58.63 ID:Eso9UeUod.net]: >>867
assign
887 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 13:18:31.87 ID:f0zM7Hcdr.net]: >>868
何から何までありがとうございます
888 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 14:15:51.90 ID:QSRvujde0.net]: 「rustにもあるし俺らも入れなきゃ」くらいの感覚で
今までのシステムとの統合性の難しさなんかほぼ考えないで入れちゃった機能だから。
c++らしいといえばらしい感覚だけど。
889 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 14:22:42.56 ID:d4gXl3Bi0.net]: std::basic_string::find()もイテレータを返すように他のコレクションとの統合性を尊重して欲しいよな
890 名前：デフォルトの名無しさん mailto:sage [2018/09/30(日) 22:56:12.57 ID:SdlFi6Ao0.net]: findを実行した対象とは別のstringの同じ位置に何かしたいとき
イテレータで返されるとちょっとだけ面倒
まあ大した問題でもないんだけど
891 名前：デフォルトの名無しさん [2018/10/01(月) 17:20:37.02 ID:mKeAnbBU0.net]: moveセマンテックが必要になった理由を理解してないのが多くて驚くばかりだな
破壊して良い中間オブジェクトとそうじゃないのとを区別するために必要なのだよ
ポインタ使えばmove必要ないとかそういう問題じゃない
892 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 17:40:58.61 ID:qsdLJDx40.net]: 元はといえば禿が左辺値参照でもconstつければ右辺値を指せるという曲がった話を始めたのが
評判悪くてC++11でやっとやっとやっとやっとメスが入ったのが本当の理由
893 名前：はちみつ餃子 mailto:sage [2018/10/01(月) 18:05:01.87 ID:hbafP85H0.net]: >>873
色んな話題が出てるので混乱してるが、ムーブ不要論を出してる側の *元々の* 主張は >>847 の通り
「ちゃんとした所有権の管理 (たぶん Rust みたいなやつのこと？) が有りさえすれば」
であって、でもそれは C++ ではもはや無理でしょということもわかった上だと思う。
894 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 18:05:54.55 ID:Gge6W+rt0.net]: Cにも欲しいわ
Cは参照ないから右辺値指示ポインタで
895 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 18:09:04.02 ID:qsdLJDx40.net]: それを言うなら、右辺値の概念を撤廃すべきでしょ

どんな値もポインタで指すことができ、
ポインタで指すことでregister指定を解除されるという変更
896 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 18:12:32.93 ID:UY4lJdAP0.net]: テンポラリーオブジェクトなくすと、一回必ず厳密に生成してから仕様になるので、手間増えると思う。
897 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 18:40:21.84 ID:Gge6W+rt0.net]: 右辺値がないと int i = 0; すら書けなくなるんだが
898 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 18:50:50.76 ID:qsdLJDx40.net]: なんで？

int j;
j ^= j;
int i = j;
左辺値でも問題ないじゃん
899 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 18:54:00.22 ID:xwh6ZD/vM.net]: >>880
苦しいねーw
900 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 19:00:24.21 ID:Yquio+NL0.net]: 0 以外はどうすんの。
901 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 19:02:25.38 ID:Gge6W+rt0.net]: > j ^= j;
はい未初期化値を使ったから未定義動作で鼻から悪魔
902 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 19:04:34.50 ID:Yquio+NL0.net]: char buf[1];

int i = (int)(buf[10] - buf[0]);

で、i = 10 に初期化される。
903 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 19:05:56.72 ID:xwh6ZD/vM.net]: NaNのときはxorは未定義か、そこまで考えなかったな
904 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 19:06:32.55 ID:uXaVofwo0.net]: >>884
間違った。正しくは：

char buf[1];

int i = (int)(&buf[10] - &buf[0]); // i = 10 と等価。
905 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 19:11:01.98 ID:rJND5eoS0.net]: そもそも=の無理やりなオーバーロードや引数に対する暗黙的なattainが問題なんだろう。
しかし元々のcのシンタックスを引き継ぎつつ、上記の問題を解決するのは不可能。
906 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 19:14:47.64 ID:Gge6W+rt0.net]: >>886
10
0
&buf[10]
&buf[0]
&buf[10] - &buf[0]
(int)(&buf[10] - &buf[0])

右辺値だらけ
やりなおし
907 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 19:19:47.07 ID:qsdLJDx40.net]: >>882
別に？

int *j;
j = &10;
int i = *j;
てだけじゃん

10が左辺値だったらって話ね

char *j;
j = "\n";
int i = *j;
て話と何か違うの？
908 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 19:23:45.27 ID:Gge6W+rt0.net]: 10が左辺値ならこれ認めるの？
10 = 42;
909 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 21:57:05.81 ID:92NEoPQV0.net]: お前らがC++で作ったことあるものリスト化して
910 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 22:37:33.40 ID:qsdLJDx40.net]: >>890
全然かまわん
int a = 10;
int b = 10;
a = 42;
こう言っているに過ぎない
911 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 22:42:30.92 ID:qsdLJDx40.net]: >>879
そろそろ答えてもらおうか
なぜ右辺値がないと int i = 0; が書けないのか
912 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 23:15:35.29 ID:2m3Ms8fl0.net]: >>875
ていうか所有権などという中途半端な概念にオブジェクトの解放を担わせるのは危険か無意味かのどっちかにしかならない
最後までオブジェクトを使いたい人と、そのオブジェクトを所有する人を
コードに所有権を明示するスタイルで一致させられるケースは少ない

希ガス
913 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 23:21:45.86 ID:2m3Ms8fl0.net]: しかしながら右辺値参照を使うとコードを書く人がオブジェクトの所有権を意識せざるを得ない
これを抽象化といわれるとかなり違和感

※ 個人の感想です
914 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 23:31:19.12 ID:rJND5eoS0.net]: 結局ネストしたオブジェクトってのはどう扱おうと楽な扱いなんてできんってことなんだわ。
同期と効率と安全性を全て容易にするってのは不可能なんじゃないかね。
915 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 23:41:31.83 ID:2m3Ms8fl0.net]: >>896
>結局ネストしたオブジェクトってのはどう扱おうと楽な扱いなんてできんってことなんだわ。
いや？
オブジェクトの所有権は最初のcallerががっちり掴んでオブジェクトを使うcallee以下は生ポでおk

全てが調和する
916 名前：デフォルトの名無しさん [2018/10/01(月) 23:46:11.02 ID:zfKNS/F/0.net]: ｱﾎどもはやっと気付いたか。。。

ｺﾀｴ：最初から普通にﾎﾟｲﾝﾀで書きなさい
　　　unique_ptr、shared_ptr、weak_ptrなんか使ってるﾔﾂﾗは
　　　ｸﾙｸﾙﾊﾟｰしかいない
917 名前：デフォルトの名無しさん mailto:sage [2018/10/01(月) 23:49:34.85 ID:aHxMqUX30.net]: >>895
右辺値参照周りを抽象化とか言ってるアホははちみつだけだろ
918 名前：デフォルトの名無しさん mailto:sage [2018/10/02(火) 00:39:52.22 ID:YrRJAaFSa.net]: https://ideone.com/BBhHn8

上のコードで教えて欲しい。

templateでデフォルト引数で関数を指定する場合、わざわざテンプレートパラメーターFuncにdecltype(...)しなきゃいけないのは何故？
919 名前：デフォルトの名無しさん mailto:sage [2018/10/02(火) 01:21:04.00 ID:HQVsIoxF0.net]: https://ideone.com/JKTYpf

testは関数名だから型じゃない
920 名前：はちみつ餃子 mailto:sage [2018/10/02(火) 02:10:18.78 ID:wuORmtyC0.net]: >>895
ムーブだのなんだの言ってても、
C++ の言語機能として直接的に有るのは rvalue 参照を区別して受け取れるってだけで、
所有権の管理をキッチリやってくれるわけではない C++ の限界なんだよね。

だけど、なるべくクラス・関数の実装の中に区別を押し込めて隠す道具のひとつにはなるって話。
でも、中途半端にやるなら隠さないで見せた方がマシという論はわかる。
921 名前：はちみつ餃子 mailto:sage [2018/10/02(火) 05:46:40.59 ID:wuORmtyC0.net]: 受取る関数の側を上手く作っておけば
それを使う側では所有権の移動とかそんなに気にしなくない？
rvalue だったら勝手にちょっと効率的になる (こともある) ねってだけで。

使うときに気にしなくて良いように押し込められるならやっぱり抽象化の道具って言えると思うよ。
922 名前：デフォルトの名無しさん mailto:sage [2018/10/02(火) 06:04:33.19 ID:YrRJAaFSa.net]: >>901
ありがとう。

template<typename Func = int (int)>
を
template<typename Func>

にするとエラーになるのは何故？
923 名前：はちみつ餃子 mailto:sage [2018/10/02(火) 06:50:19.11 ID:wuORmtyC0.net]: >>904
デフォルト引数からはテンプレート引数を推定できない制限がある。
924 名前：デフォルトの名無しさん mailto:sage [2018/10/02(火) 07:00:39.49 ID:YrRJAaFSa.net]: なるほどです。
925 名前：デフォルトの名無しさん mailto:sage [2018/10/02(火) 07:46:51.87 ID:kk/2dA0Y0.net]: 時々、イラつかされる制限だ
926 名前：デフォルトの名無しさん mailto:sage [2018/10/02(火) 08:15:45.67 ID:Tcj3k2lbM.net]: >>891
C++が得意なことを教えてください
927 名前：デフォルトの名無しさん mailto:sage [2018/10/02(火) 10:26:10.74 ID:giBEQZ0BM.net]: >>903
いや呼び出す側に意識させるのが右辺値参照の目的だろ
意識しなくていいようなケースならconst参照で十分
928 名前：デフォルトの名無しさん mailto:sage [2018/10/02(火) 10:31:03.15 ID:kk/2dA0Y0.net]: 冗談は顔だけにしろよ
たとえばstd::threadの右辺値参照なんぞ意識してるか？
929 名前：デフォルトの名無しさん mailto:sage [2018/10/02(火) 13:13:32.45 ID:8CvSI5wK0.net]: 一行目に何の意味があるのかわからん
930 名前：デフォルトの名無しさん [2018/10/02(火) 15:51:55.37 ID:Xh7D/bbnH.net]: 割と昔からあるプログラムを見てるんですけど一つのメソッド内で
for(int i = 0; ……）{……}
for(i = 0;……）{……}

って書き方してるのをちらほら見ます
要は宣言してるんだから使い回せるだろみたいな理屈なんでしょうがビルドしようとすると当然未定義だとエラーが出ます
昔のC++だとこれがオッケーだったりしたんでしょうか？
931 名前：デフォルトの名無しさん mailto:sage [2018/10/02(火) 15:56:06.09 ID:kk/2dA0Y0.net]: そうだよ
932 名前：デフォルトの名無しさん mailto:sage [2018/10/02(火) 16:33:18.83 ID:Tcj3k2lbM.net]: c++で初心者が作れるものを教えてください
933 名前：デフォルトの名無しさん mailto:sage [2018/10/02(火) 16:37:39.73 ID:kk/2dA0Y0.net]: rogueとか作って見てはどうよ
SetConsoleCursorPositionとGetKeyStateがあれば何とかなるだろ
934 名前：はちみつ餃子 mailto:sage [2018/10/02(火) 16:39:28.61 ID:wuORmtyC0.net]: >>912
むしろ古い仕様だと後者の i を宣言しようとすると、
ひとつのスコープ内で同じ名前の変数を定義しようとした扱いになってエラーになったりした。
935 名前：デフォルトの名無しさん mailto:sage [2018/10/02(火) 17:18:00.03 ID:kk/2dA0Y0.net]: 今のコンパイラでも当時の仕様に合わせるオプションはある
936 名前：デフォルトの名無しさん mailto:sage [2018/10/02(火) 18:04:17.03 ID:Tcj3k2lbM.net]: >>915
ありがとう
937 名前：デフォルトの名無しさん mailto:sage [2018/10/02(火) 19:05:29.79 ID:Tcj3k2lbM.net]: C++.でバッチ処理やbashのsedの様な機能はありますか？
938 名前：デフォルトの名無しさん mailto:sage [2018/10/02(火) 19:11:57.50 ID:kk/2dA0Y0.net]: システムコマンドを実行したいのならsystem関数
正規表現ならstd::regexクラス
ファイル名に関する様々なことはstd::filesystem::pathクラス
939 名前：デフォルトの名無しさん mailto:sage [2018/10/02(火) 20:37:48.16 ID:YnEH1wx10.net]: >>920
ありがとうございます
とても便利です
940 名前：デフォルトの名無しさん mailto:sage [2018/10/03(水) 01:07:54.12 ID:S2BN/gu+r.net]: std::array を自作関数の引数に渡したいときって、サイズはハードコードしないとダメなの？
941 名前：さまよえる蟻人間 mailto:sage [2018/10/03(水) 01:11:26.75 ID:gXNqr2Qf0.net]: >>922
template <size_t t_n>
void my_func(std::array<data_t, t_n>& a)
{
...
}
942 名前：デフォルトの名無しさん mailto:sage [2018/10/03(水) 01:18:33.15 ID:S2BN/gu+r.net]: >>923
なるほ
ありがとうございます
943 名前：デフォルトの名無しさん mailto:sage [2018/10/03(水) 01:18:50.70 ID:S2BN/gu+r.net]: >>923
なるほ
ありがとうございます
944 名前：デフォルトの名無しさん mailto:sage [2018/10/03(水) 03:04:58.67 ID:plRFOjxw0.net]: >>913 >>916
ありがとうございました。やっぱそうだったんですね
しかし検索しても全然出てこないというかどう検索したら良いものか。C++98とかの時代になるんですかねぇ
945 名前：はちみつ餃子 mailto:sage [2018/10/03(水) 05:02:16.81 ID:jiQInXAP0.net]: >>926
たぶんそれより更に前の話だったと思う。

「c++ for文宣言スコープ」でググったらこういうのとかヒットした。
www.ksky.ne.jp/~seahorse/cpp/loopvar.html

D&E でも言及があって、 if 文でのルールと合わせる形で修正したという話が載ってる。
946 名前：デフォルトの名無しさん mailto:sage [2018/10/03( ]: [ここ壊れてます]
947 名前：水) 05:31:10.20 ID:F+YgKz680.net mailto: >>917
VC++ですら廃止予定だけど
https://msdn.microsoft.com/ja-jp/library/84wcsx8x.aspx []: [ここ壊れてます]
948 名前：はちみつ餃子 mailto:sage [2018/10/03(水) 05:33:04.20 ID:jiQInXAP0.net]: ARM (The Annotated C++ Reference Manual; amzn.asia/d/53K2HrA ) を確認してみたら、
「初期設定文が宣言ならば、宣言された変数のスコープは for 文を囲むブロックの終わりまでである」
というような記述がある。 (要するに古い仕様)

このあたりから C++98 になるまでの間に修正したってことなんじゃないかと。
949 名前：デフォルトの名無しさん mailto:sage [2018/10/03(水) 07:01:52.10 ID:IEc6BJqm0.net]: >>927

キーワードと完全に同じ綴りのマクロがあると
標準ヘッダが動作保証外になる

ISO/IEC9899:2011 7.1.2 Standard headers の段落4
950 名前：デフォルトの名無しさん mailto:sage [2018/10/03(水) 11:00:28.82 ID:e50Rb7+yd.net]: >>926
最初期の処理系、AT&T cfront の頃からの仕様だから 1980年台だと思う
ちなみに有名な Annotated C++ Reference Manual (ARM) は
この cfront のリファレンスマニュアルに注を付けたもの。

Mac II が出た頃の Mac のソフト開発者は Apple の MPW という開発環境の上で
AT&T のリファレンスマニュアル見ながら cfront で開発していた。
951 名前：デフォルトの名無しさん mailto:sage [2018/10/03(水) 11:03:08.53 ID:e50Rb7+yd.net]: >>926
＞しかし検索しても全然出てこないというかどう検索したら良いものか。

当時まだ処理系と独立して言語仕様を策定/記述したものは存在していなくて、
上記の
952 名前： cfront のリファレンスマニュアルと cfront の実際の動作が c++ の仕様でした。 []: [ここ壊れてます]
953 名前：デフォルトの名無しさん mailto:sage [2018/10/03(水) 12:23:08.82 ID:eWsEWXO50.net]: >>930
そんなもん古い環境で使うなら標準ヘッダのインクルード後に定義するに決まってるだろ
現行の標準に合わせたいけど仕方なく古い環境でも動くようにしたい場合のテクニックなんだから
954 名前：デフォルトの名無しさん mailto:sage [2018/10/03(水) 13:10:09.63 ID:IEc6BJqm0.net]: >>933
俺だったらこう書くぜ
{ for(int i = 0; i < 1; i++) ; }
{ for(int i = 0; i < 1; i++) ; }
前提にしている環境を誤解させかねない変態コードには反対だ
955 名前：デフォルトの名無しさん mailto:sage [2018/10/03(水) 13:21:21.77 ID:2zzoZNSm0.net]: ヘタレな俺は c 同様直近のブロックの頭で宣言してました
956 名前：はちみつ餃子 mailto:sage [2018/10/03(水) 17:25:53.30 ID:jiQInXAP0.net]: >>935
今では C でもブロックの頭という縛りは無いやで。
957 名前：デフォルトの名無しさん mailto:sage [2018/10/03(水) 22:30:16.11 ID:T5RLH7Axr.net]: std::array ってコンパイル時にサイズが決まっていることを想定して作られてるんだよね？

だったら、「可変長ではないがサイズは実行時に決まる」というメモリが連続な配列がほしいなら生配列を使え、というのが C++ を作った人の気持ちなの？
958 名前：デフォルトの名無しさん mailto:sage [2018/10/03(水) 23:04:38.92 ID:p3pJJViFa.net]: それこそvectorじゃないの
959 名前：デフォルトの名無しさん mailto:sage [2018/10/03(水) 23:19:51.08 ID:frDsf1q90.net]: >>937
いや、昔はイニシャライザーリストがなかったので、初期化式が使えるオブジェクトの立ち位置だった。
イニシャライザーリストが入ったのでほぼ産廃。constexprの対応もなく死んでいる。
基本的に配列っぽいものがほしかったらベクター使ってっていう趣旨だったと思う。
960 名前：デフォルトの名無しさん mailto:sage [2018/10/03(水) 23:26:50.16 ID:T5RLH7Axr.net]: >>938-939
vector ってメモリ空間連続ですか？
だったら迷わずこれ使うんですが
961 名前：デフォルトの名無しさん mailto:sage [2018/10/03(水) 23:29:56.10 ID:frDsf1q90.net]: >>940
&V[0]すると一本のメモリの先頭が取れると規格書に書いてあると聞いた。
これは、サイズを拡張するなどのメモリ変更があるまで同じものを指してると思う。
962 名前：デフォルトの名無しさん mailto:sage [2018/10/04(木) 00:07:58.65 ID:zm1AtLvQ0.net]: >>940
迷わず使っていいですよ
963 名前：デフォルトの名無しさん mailto:sage [2018/10/04(木) 00:35:06.85 ID:b1qTAw9u0.net]: C++11からvectorのメモリ空間は連続でなければならないと規格で決められた
安心していいよ
964 名前：デフォルトの名無しさん mailto:sage [2018/10/04(木) 00:40:31.88 ID:bav+IDITr.net]: >>941-943
ありがとうございます
しかしメモリが連続じゃないといけない外部ライブラリに vector 渡すの結構緊張しますね

少し飛躍するのですが、vector の入れ子は流石に連続とは限りませんよね？
965 名前：デフォルトの名無しさん mailto:sage [2018/10/04(木) 00:58:43.11 ID:s35zoLCpa.net]: メモリ連続させたいならvectorの入れ子はよして。

最初arrayで考えてたなら画像とか行列とかそんな感じかな？
966 名前：デフォルトの名無しさん mailto:sage [2018/10/04(木) 01:32:01.20 ID:ezH2Wklod.net]: >>943
太古から実際には連続だし規格として明記されたのは C++03 から。
C++11 で連続と規格化されたのは string (basic_string) の方。
967 名前：デフォルトの名無しさん mailto:sage [2018/10/04(木) 01:57:52.21 ID:CYtCz8O/r.net]: >>945
いえ、もともとは生の一次元配列を使ってて、array の方が取り回しが良いのかなと考えただけです
実際は vector が最強ということですね

入れ子云々は本当に気になっただけです

多次元配列は、色々諦めて Boost を使っています
968 名前：デフォルトの名無しさん mailto:sage [2018/10/04(木) 03:00:41.82 ID:SxiNReMs0.net]: 変数名とかクラス名にめちゃくちゃ毎回悩む
従業員の名前、社員番号、階級みたいなクラスを作るときのクラス名とかって普段どうしてる？
Employeeだけで良いのだろうか
DataとかInfoとか意味のあるようでないような命名が頭をよぎってしまう

仮に従業員をEmployeeとしたときに会社名と従業員リストのDictionary<string, List<Employee>>の変数名とかどうすりゃええねんってなる
CompanyではないしCompanyDataだとそれっぽいが的確でもなさそうだし...
969 名前：デフォルトの名無しさん mailto:sage [2018/10/04(木) 03:38:58.82 ID:ezH2Wklod.net]: emproyees でいいだろ
for (consy auto& emproyee : emproyees["Microsoft"]) ...
970 名前：デフォルトの名無しさん mailto:sage [2018/10/04(木) 03:39:14.21 ID:ezH2Wklod.net]: rじゃなくてlか
971 名前：さまよえる蟻人間 mailto:sage [2018/10/04(木) 04:00:10.87 ID:MLculXgyd.net]: MapCompanyNameToEmployees
972 名前：はちみつ餃子 mailto:sage [2018/10/04(木) 04:12:55.17 ID:1wg41Y300.net]: >>940
vector が連続と明記されたのは C++03 だが、
C++ 標準の体制としては仕様の「欠陥」と認められた項目については過去の版にさかのぼって適用されることがあり、
vector が連続であるというのもそのひとつのはず。

つまり、 C++98 を名乗る処理系でも vector は連続であるべきで、実際にほとんどそうなっていると思う。
973 名前：デフォルトの名無しさん mailto:sage [2018/10/04(木) 04:54:31.87 ID:MQvrn7bB0.net]: >>948
クラス名・変数名に迷ったら書き込むスレ。Part28 [無断転載禁止]©2ch.net
https://mevius.2ch.net/test/read.cgi/tech/1494147712/
974 名前：デフォルトの名無しさん [2018/10/04(木) 19:12:35.69 ID:Ohr0xwue0.net]: >>948
素直に日本語使えばええやんけ。
975 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 00:43:30.52 ID:SgefIaql0.net]: 英語の複数形は便利すぐる
emproyee_list[]の代わりにemproyees[]で済む
大文字小文字でキャメルケースも使えるしほんと出来過ぎ
976 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 01:05:30.84 ID:lAZe+Hwv0.net]: 単独かコンテナで意味が大きくかわるのに
字面の違いがsのありなしは微妙すぎていまいちだと思ってる
977 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 06:55:01.43 ID:226EunUa0.net]: しかしそこまでメモリに直触りするならvectorでない方がいい気がするんだが。
978 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 07:56:42.65 ID:Zg//fZBj0.net]: だよな
生メモリがいるなら生メモリ使えってこと
979 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 08:13:10.92 ID:8YBbWag1r.net]: >>957-958
サイズの取得とかオシャレにできないじゃん
980 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 12:49:05.99 ID:cQzHZ22n0.net]: 生メモリのサイズの管理の仕方さえ忘れたか
981 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 18:47:04.93 ID:4ThlZrTR0.net]: >>948

g_dictCompanyInfo
982 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 18:49:08.38 ID:4ThlZrTR0.net]: >>961
もし、今後絶対、employee の情報しか入れないと言い切れるのなら、
g_dictCompanyEmploees

でもいい。何か追加する予定なら、>>961 のように「g_dictCompanyInfo」
983 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 18:51:17.31 ID:4ThlZrTR0.net]: >>948
最初の従業員のデータについては、
EmployeeInfo

二番目の dictionary の方は、
g_dictCompanyEmploeeInfo_s
984 名前：デフォルトの名無しさん [2018/10/05(金) 20:18:06.35 ID:2Vgho4wC0.net]: g_とか_sとかなんなんだそれ
985 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 21:02:11.53 ID:eXLBKWdN0.net]: 秘密の呪文
986 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 21:42:38.07 ID:s/+stmcD0.net]: ハンガリアン記法とかいうMSが編み出した負の遺産
987 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 21:54:51.59 ID:wRA0FWgN0.net]: 型付けるハンガリアンは糞だけど、グローバル変数にg_付けるのは普通でしょ
付けないの？
988 名前：デフォルトの名無しさん [2018/10/05(金) 21:56:47.70 ID:zW6/2yxd0.net]: グローバル変数使わないしg_つけてもなんの役にも立たないし
989 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 22:29:36.85 ID:dsZIcecxM.net]: スコープを示すハンガリアンは変数のスコープを不必要に広げることに対する心理的抵抗を低減するという点で害悪
990 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 22:48:31.92 ID:qdFd1sVz0.net]: あの複雑怪奇な名前解決ルールを受け入れているC++使いからしてみれば、変数が
ローカルかグローバルかなんてわざわざ目印付けるほどのことじゃないのかも
991 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 22:49:02.31 ID:SgefIaql0.net]: パブロフの犬ｶﾖ
グローバル変数の先頭に「g_」を付け続けると
そのうち先頭に「g_」とつけただけで
992 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 23:02:57.02 ID:SgefIaql0.net]: しかしいかにクラスFooに関連するオブジェクトは全部Fooのコンストラクタかsetterで渡すか一時オブジェク
トとしてメソッドの引数として都度渡すのがオブジェクト指向設計としての理想とはいえ実際には対数表のカ
スタマイズ版みたいにかなり普遍的な意味を持つテーブルＴが存在する前提でいっぱいクラスを定義したい
ときもあるわけでそういうときはテーブルTをグローバル変数とした方がスマートに書けるTがこの世に1つし
かないのにいちいちインスタンス毎にTへのポインタを持たせるのですかみたいな、

で、そうするとグローバルであることの目立つ標識が欲しいところだがオリジナルの規則を考えるのもアホら
しいので使用人口が多そうな「g_」を使う
993 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 23:05:20.25 ID:cQzHZ22n0.net]: ６０億人がシステムハンガリアンの良さを発見できなかった
そういうことだ
994 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 23:06:16.17 ID:cQzHZ22n0.net]: せっかく自動化したものを蒸し返す愚行
機械に使われる人間に自ら志願するようなことでしかない
995 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 23:14:36.32 ID:MM5jcfpFM.net]: ハンガリアン記法が滅亡した時にgとかsとかのスコーププレフィックスも一緒に絶滅したと思うの。
996 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 23:19:28.57 ID:SgefIaql0.net]: もうそういうのは見飽きたからハンガリアン無差別否定派とアプリケーションハンガリアン推進派が頃しあって消滅してくれたらいいのに…
997 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 23:22:01.95 ID:4ThlZrTR0.net]: 「ハンガリアン記法を使うと、コードの断片からでも何かを発見できる。」
998 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 23:25:38.27 ID:4ThlZrTR0.net]: C#では、メンバ変数 aaa をアクセスする時には、必ず、
「this.aaa」
とするらしい。これは、C++で、ハンガリアン記法を使った場合の、
「m_aaa」
に該当する。this. と m_ では、後者のほうが短く便利。

m_ も、this. も付けない場合、たとえば、コンストラクタで
同じ意味の仮引数を使いたい場合に、何らかの別の名前を
考えなければならなくなる。
999 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 23:26:32.77 ID:eEmdo3hB0.net]: サイズ変更してキャパシティ変更になったらデリートかかる可能性が高いのでそういうことを一応管理しないといけない。
1000 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 23:28:00.34 ID:SgefIaql0.net]: >C#では、メンバ変数 aaa をアクセスする時には、必ず、
>「this.aaa」
>とするらしい。
mjd？
いつから？次の元号から？？
1001 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 23:29:24.93 ID:3VgmxBOW0.net]: 一般的に言われているシステムハンガリアンのデメリットはg、s、mには当てはまらない。
iとかdwとかlpszみたいな糞接頭辞とは分けて考えたほうがいいと思うよ。
1002 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 23:31:13.38 ID:4ThlZrTR0.net]: 個人的には、以下のような命名規則は大いに役立っており、
コード全体を見ずにコードの断片を見るだけで、何も考えずに
コーディングが出来ることが多くなる。おかげでずいぶん楽になった。

char *pszText;
char szText[256];
CString strText;
char **ppszText;

「sz」は、0終端文字列。s = string、z = zero。
p は、ポインタ、str は、CString。
pp は、ポインタへのポインタ。
1003 名前：デフォルトの名無しさん [2018/10/05(金) 23:36:17.35 ID:zW6/2yxd0.net]: m_がついててもそれがメンバである保証が何もないからなあ。無駄なだけ
1004 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 23:39:57.45 ID:4ThlZrTR0.net]: >>981
個人的には、i や dw は滅多に使わない。
lpszは、自分では使わない。pszは使う。
なぜなら、lpsz の「l」は、16BIT時代から32BIT 時代へ移行したときの産物だから、
今は時代遅れなので。

ところで、dwRead と書くと、宣言を見返さなくても、読み込みバイト数を表す DWORD 値だと
分かって便利。dwWrite だと、その書き込み版となる。変数名が規則変化するのでとっても便利。

たとえば、「text」という変数名だと、CString 型なのか、0終端文字列なのか、
0終端が付いてないような特殊な文字列なのかが分からない。
ところが、ハンガリアン記法を使うとそれらが明確に区別できる。

0終端文字列を配列で持っているのか、それとも、そのアドレスをポインタで
持っているのかも、sz か、psz かで区別できる。

このことはバグの少ないコーディングにとても役立つ、。
頭を使わなくても機械的にコーディングできてしまうことが多くなるから。
1005 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 23:46:52.35 ID:SgefIaql0.net]: 命名のプレフィックスに関する個人的な熱い想いはカプセルの内側に隠蔽すると良い
そういう意味で「m_」は比較的どうでも良い
1006 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 23:50:11.62 ID:3VgmxBOW0.net]: >>983
それを言うならあらゆるシンボル名が正しくそれを示している保証なんてないと思うよ。

>>984
そういうのはoopやtmpと相性が悪いんで…
1007 名前：デフォルトの名無しさん [2018/10/05(金) 23:51:01.17 ID:elz6X2140.net]: こういう話だけは食い付きがいい
さすがﾄﾞｶﾀ
1008 名前：デフォルトの名無しさん [2018/10/05(金) 23:52:25.87 ID:zW6/2yxd0.net]: そうだよ。だから最低限にしないといけない
無駄なものをつけるのはいらんバグを増やすだけで悪
1009 名前：デフォルトの名無しさん mailto:sage [2018/10/05(金) 23:54:14.41 ID:SgefIaql0.net]: 個人的にはCのライブラリ関数名に「g_」がついていないのを遺憾に思う
1010 名前：デフォルトの名無しさん [2018/10/05(金) 23:54:47.79 ID:ZMQnisBBd.net]: 今時ハンガリアン使うアホがいたとは驚きなんだがw
もう絶滅したと思ってた
1011 名前：デフォルトの名無しさん mailto:sage [2018/10/06(土) 00:00:43.80 ID:JjdhAE/r0.net]: >>986
>そういうのはoopやtmpと相性が悪いんで…

どういう意味？
1012 名前：さまよえる蟻人間 mailto:sage [2018/10/06(土) 00:06:22.53 ID:SJezKYMvd.net]: OOP == オブジェクト指向プログラミング
TMP == テンプレート/temporary
1013 名前：デフォルトの名無しさん mailto:sage [2018/10/06(土) 00:07:22.53 ID:JjdhAE/r0.net]: 何で相性が悪いのかが分からぬ。
1014 名前：デフォルトの名無しさん mailto:sage [2018/10/06(土) 00:11:20.65 ID:d9G2ZJ030.net]: いかにハンガリアン否定派といえども
いざ実際ハンガリアンで書かれた変数名を見たら体が反応してしまうということなんだろＪＫ
鍛錬が足りん
1015 名前：デフォルトの名無しさん mailto:sage [2018/10/06(土) 00:14:20.26 ID:JjdhAE/r0.net]: ずっと前に、ハンガリアン記法で書かれた比較的大きなソース・コードを見て
とても分かりやすかったので自分もそれに習っただけなんだよね。
1016 名前：デフォルトの名無しさん mailto:sage [2018/10/06(土) 00:23:46.06 ID:PyrakEMK0.net]: 実際みんなが叩いてるから叩いてるってやつはいるだろうな
俺も別に悪くはないと思うよ
自分から進んで使おうとは思わないが
1017 名前：デフォルトの名無しさん mailto:sage [2018/10/06(土) 00:28:00.98 ID:GMmUDkcN0.net]: 型が殖える度に変数名のプレフィックスがどんどんどん殖えていくなんてコーダー側からしたら不毛なだけ
いざ型名変えたいと思っても後ろを振り向くのが怖くなる
1018 名前：デフォルトの名無しさん mailto:sage [2018/10/06(土) 00:33:38.42 ID:JjdhAE/r0.net]: でも、BOOL 値の変数の先頭に b を付けたりすると、ミスを発見するのに大いに役立つ
事があるよ。
1019 名前：デフォルトの名無しさん mailto:sage [2018/10/06(土) 00:36:41.02 ID:GMmUDkcN0.net]: 読む側にとってはな
書く側は細心の注意を払わないといけない
簡単に後戻りできないからな
メンテ効率最悪なんだよ
1020 名前：デフォルトの名無しさん mailto:sage [2018/10/06(土) 00:38:54.48 ID:CdYUXXMG0.net]: 次はpart139でいいのか？
1021 名前：デフォルトの名無しさん mailto:sage [2018/10/06(土) 00:42:40.48 ID:tQclXtq/0.net]: ハンガリアンは、集団にその命名方法が周知されていないといけないので、周知するところから始めないといけない。
周知できればコスト低減できるが、それまでのコストをどうみつもる？
1022 名前：1001 [Over 1000 Thread.net]: このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 39日 8時間 40分 40秒
1023 名前：過去ログ ★ [[過去ログ]]: ■ このスレッドは過去ログ倉庫に格納されています

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef