C++相談室 part134

2018/01/20(土) 09:05:42.21

次スレを立てる時は本文の1行目に以下を追加して下さい。
!extend:on:vvvvv:1000:512

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

前スレ
C++相談室 part133
http://mevius.5ch.net/test/read.cgi/tech/1511509970/

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

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

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

VIPQ2_EXTDAT: default:vvvvv:1000:512:----: EXT was configured

2018/02/22(木) 21:55:24.65

システムハンガリアン発祥の会社が何か作ったら否定論者がぎゃふんと言うのか？
おまえの頭の中は論点先取だか循環論法だかがグルグル回っているようだな

2018/02/23(金) 22:10:42.23

↑
想像してごらん全ての人々が
　dwRet = ::WaitForSingleObject( hHandle = m_hThread, dwMillisecond = m_hTCTmo )
と書く世界を、

2018/02/23(金) 22:11:40.62

ごめ
誤: m_hTCTmo
正: m_dwTCTmo

見れば間違いがﾜｶﾙのがハンガリアンの極めて良いところ

2018/02/23(金) 22:21:40.17

>>269
>>196

2018/02/24(土) 10:44:07.22

一分間で間違いに気づいてはいるものの
そもそもの書く瞬間にはどうやら人智を用いても気付けないらしいから
IDEにエラー出してもらった方が早いんじゃあねえの

実は人間の集中力を超えたところにある方法論で、実践するとストレスが溜まるっぽいから、機械任せにした方がいい
それに、書いてる最中は変数の型まで考えたくない

見て分かることは、機械任せにすれば見なくても分かるから、
今のご時世、人間の有限の集中力を目視チェックなんかに使いたくない
脳みそのリソースはもっと別のところに使うべきだ

つまりは、書いてる最中は脳みそが「それが正しい」と思い込んでるから、
間違いは自分自身では絶対に分からない
これがバグを作り込む
hだったかdwだったかを脳が自動的に混同してるから、その分だけ余計に脳のリソースを使っている

「なんで書いている最中に自分自身で気付かないのか」、これ、とても重要だよ

2018/02/24(土) 11:11:20.01

変数名と型が一致してるという保証がゼロだからシステムハンガリアンなんて無駄以外の何物でもない
無駄というか悪

2018/02/24(土) 12:15:45.87

>>272
俺のレスもプログラムも表現と意図が一致してるという保証がゼロ、
まで読んだ

2018/02/24(土) 12:23:50.23

その場合、やめられる方だけやめればいいな
つまりハンガリアンを。

2018/02/24(土) 12:27:42.98

まともな開発環境使っていれば必要ないのでは

2018/02/24(土) 12:34:43.53

ハンガリアンはもうだめだ。
ポーランドを使おう。

2018/02/24(土) 12:51:07.68

>>272
そういう事言い出すと「関数名と機能が一致してる保証がゼロ」や「クラスメンバの隠蔽が完璧である保証がゼロ」などといくらでも難癖を付けれるナリ
ヒューマンエラーを理由に不要と結論付けるのならあらゆるコーディング規約が不要という結論になってしまう、これはいけない
命名規則は可読性の向上に結びつくものでなければならない、規約を違反する事で起きるトラブルはプログラマ側の責任、それは分かるよね？

2018/02/24(土) 13:26:14.86

ヒューマンエラーが起きる部分は極力排除して機械任せにできる部分は機械任せにすればいい
ハンガリアンを導入する理由はもはや無いな。可読性悪いし。

2018/02/24(土) 14:24:10.94

>>278
いや、ハンガリアンは可読性はよくなる方だよ
整合性維持に難があるだけで

2018/02/24(土) 14:29:08.35

可読性ぐらいテンプレートによる高度なメタプログラミングに慣れた諸兄なら
ハンガリアンごとき目を慣らして解決できるはずなんじゃ…

2018/02/24(土) 15:03:19.72

https://www.google.co.jp/search?q=%E5%8D%8A%E5%88%88%E3%82%8A&;tbm=isch

2018/02/24(土) 15:06:09.97

>>276
Lisper「せやな！」

2018/02/24(土) 17:03:03.20

>>276 >>282
両者は共存不可能な対立概念ではないけどね。

細かいことを言わせてもらえば、
「ハンガリアンとポリッシュ」か「ハンガリーとポーランド」と
並べてくれた方が座りがいい気もするけど…。
「ハンガリアン記法とポーランド記法」だとあまり気にならない不思議。

2018/02/24(土) 17:08:35.75

なぁにその内、ロシアが併呑してくれるさ

2018/02/25(日) 14:16:53.97

>>266
名前付き引数イディオムとenable_if<is_same<...>::value>が最強と言うことだな

※プログラマが、使用者が型を間違えないようにと気を使うのが正しいなら、間違えたらコンパイルエラーになるこれが最強だろ？

2018/02/25(日) 14:35:24.31

>>277
ちげえんだよんぁ
可読性じゃねえんだよ

>>268を見てみろよ、
読む時じゃなくて書く時のヒューマンエラーだ
なんで入り込んだのか全く分からんようなミステイクだ
プログラミングが工業的生産の一種なら、その手のヒューマンエラーは無い方がいい

で、改めて>>268を見てみると、「可読性」があってプレフィクスの間違いに気付いてはいるものの、
そもそも書く段でなんで間違えたのか、それが全く分からない
他人はおろか本人すらも自覚できない謎の理由でプレフィクスを間違えてる（これがヒューマンエラーなんだけどな）

なんで、後だしジャンケンだと、「プレフィクスが最初から無ければ、間違いも発生しえなかった」、とも言える

もしかすると、書く時に間違える／読む時に間違える　の比率を考えると、ハンガリアン記法は書く時に間違えやすいが読むときに間違いにくい……のトレードオフなだけかもしれん
要するに、可読性と生産性のトレードオフだけなんじゃあねえのか？
それに、読む時のヒューマンエラーと書く時のヒューマンエラーをわざと混同してるのはいただけない

2018/02/25(日) 16:15:03.29

void func(int a)
{

2018/02/25(日) 16:15:31.06

void func(int a)
{
//aが何型かわからない
//アホかおまえは
}

2018/02/25(日) 16:46:37.12

template <typename T>
void func(T lpszA)
{
//lpszって書いてあるからTはLPSTR型だな
//アホかおまえは
}

2018/02/25(日) 19:14:43.19

>>288
func()が常に1画面に収まって1万行の関数とかでありえないという根拠は

>>289
テンプレート定義時の引数に対して引数内容固有の命名が難しいのは
ハンガリアンに限ったことではないからハンガリアンに対する批判になんね

テンプレート批判論者には考える力がないのかね…

2018/02/25(日) 19:15:39.42

ごめ
×：テンプレート批判論者
○：ハンガリアン批判論者

2018/02/25(日) 19:29:08.16

テンプレートに対してはハンガリアンは全くの無力だよなあ
一貫性の観点からやっぱりハンガリアンは無い方がいいわ

2018/02/25(日) 19:48:52.19

.>>290のレスを見てテンプレートの実体化時までハンガリアンが無力なことにされてはかないませんなあ…

2018/02/25(日) 20:11:05.52

そもそも関数が長い場合は型情報を持たすのもありだよな
システムハンガリアンをやめさせようとして先に関数を短くしなきゃだめだなと追う結論に至って放置した

2018/02/25(日) 20:37:38.24

//１万行の最長不倒関数を書く
//アホかおまえは

2018/02/25(日) 21:00:14.67

void func(int lpszA)
{
//lpszって書いてあるからLPSTR型だな
//アホかおまえは
}

2018/02/25(日) 21:58:30.83

システムハンガリ理解してない人の例上げてね？

2018/02/25(日) 22:45:03.97

>>295
「1画面に収まらない」を都合よく無視しないように

2018/02/25(日) 23:43:59.89

システムハンガリアンはDWORDをintに型名変更するだけでその変数名全部終わるからなしかも一瞬で

**デフォルトの名無しさん** · 2018/02/25(日) 23:57:37.89

>>299
dwをiに置換するだけだからリファクタリングが楽っていう意味？

2018/02/26(月) 00:59:51.78

まったく逆だ
dwからiに全部置換していかないと変数名の意味を為さなくなるからシステムハンガリアンは愚かさ甚だしいと云うておる

2018/02/26(月) 01:02:48.27

アンパンマン調で例えるなら型名変えるだけでメンテ百倍みたいな

2018/02/26(月) 01:10:40.33

組み込み型はいいけどクラスはどうすんのさ
意味の分からないサフィックスを付けられても困るぞ

2018/02/26(月) 01:11:26.04

ハンガリアン！新しい型だよ！
有難う！デザパタ娘ちゃん！
メンテ百倍！ハンガリアン！

2018/02/26(月) 01:55:04.49

そもそもDWORDをintに変えることが滅多にない

2018/02/26(月) 02:10:59.71

dwとか書かれてもDWORDの定義を知らないと意味不明だし
やるなら符号の有無とサイズが分かるように書かないと意味ないでしょ

2018/02/26(月) 04:56:46.87

>>298
おまえは間違いなく１万行と書いた
その史実を誤魔化すことはできない

「ありえないという根拠は」という問いを反論として用いるのは
俺が「ありえない」と言った（事実と違うが）ことが
おまえが「ありうる」と思っているのと違ったからだろう

いずれにせよ「アホかおまえは」にふさわしいハチャメチャだな

2018/02/26(月) 08:02:35.99

ポインタのpとか参照のrとかは今でも使ってる

**デフォルトの名無しさん** · 2018/02/26(月) 08:09:57.39

>>307
史実とか言っちゃうのって。。。

2018/02/26(月) 08:16:32.18

>>307
もうちょっとまとめて喋れ
読みづらい

2018/02/26(月) 09:55:53.14

>>308
俺も使う
ただし名前そのものをポインタっぽくするだけで
ハンガリアンのプリフィックスとしてではない

2018/02/26(月) 09:56:14.50

>>310
ニホンゴワカリマスカ？

2018/02/26(月) 10:44:04.77

ハード直叩きのドライバ屋はデータバスやレジスタの幅を間違えると大変だから
物理層の実装ではハンガリアン使うこともあるよ

2018/02/26(月) 10:55:31.04

>>313
むしろそれはアプリケーションハンガリアンじゃね？

2018/02/26(月) 11:21:30.74

間違えると大変だからハンガリアンを使ってはならないんだよ
偽の情報に頼るんではなくて元を逐一確かめないと

2018/02/26(月) 11:33:14.68

今勉強してるんだけどC++ではポインタを使わずに参照で書くのがデフォルトなの？

2018/02/26(月) 11:36:50.47

>>315
不一致が存在しない事が保証されてれば問題無いんやな
そういう事ならつまり変数宣言とプレフィックスが全て一致してるかチェックするスクリプトとかがあれば満足って事でええんか？

2018/02/26(月) 11:38:09.46

>>316
ポインタも必要に応じて使うけど、メモリ管理の煩雑さとミスの危険性を避けるために参照やスマートポインタやコンテナ、イテレータなど他に適切な物がある時はなるべくそちらを使うのが流儀かな。

2018/02/26(月) 11:51:17.55

>>316
デフォ・・・まあ、そう言えなくもないか
参照でもポインタでもどっちでもいい用途には参照
ポインタでしかできないことはNULLに++や絶対番地指定
参照でしかできないことは一時オブジェクトやコピコン類

2018/02/26(月) 12:15:47.61

書き込むときは参照ではなくポインタにしろと言ってた人がいた。
理由を聞いたら「なんか書き込んでる感がない」だった。

2018/02/26(月) 12:17:18.65

std::cin >> &a;
やだよ、こんなの

2018/02/26(月) 12:21:09.58

グーグル規約だと書き込む引数は参照ではなくポインタにしろってなってる
でも標準ライブラリが普通に参照で書き込んでるので意味ないかなと思う

**デフォルトの名無しさん** (ｽﾌｯ Sd94-OThY) · 2018/02/26(月) 13:05:03.30

やC++糞

2018/02/26(月) 13:30:49.55

好きな方使えとしか言いようがない
ただ参照はnullポインタが無いという特性はある

2018/02/26(月) 13:42:09.37

>>322
自分もその人の気持ちは理解できた。
func(a, &b);
と書かれていると、bに結果を書き込んでいる感があるし。

2018/02/26(月) 13:44:00.32

レスサンクス
cからだからポインタで書いちゃいそうだわ

2018/02/26(月) 18:25:47.85

ローカルで宣言したunique_ptrを他のメソッドに渡してデータをつめたいばあいってどういう引数で渡せば良いの？
unique_ptr<Hoge> ptr(new Hoge);
hogehoge(ptr);

Hogehoge::hoge(const unique_ptr<Hoge>& ptr){
ptr->aaa = 123;
}

これでいける？
なんかウェブサイトみてると&&二つとかあったりするの見かけて混乱してきた

2018/02/26(月) 18:46:48.22

&&は所有権ごとぶん投げる時に使う
渡した後も呼び出し元で使うんだったらそれて合ってるぞ

2018/02/26(月) 19:00:19.12

>>327
それだったらunique_ptrじゃなくて参照渡せば良いだけじゃ

2018/02/26(月) 19:31:15.52

知らない間に、&& みたいな参照渡しもできた

Rust の所有権ムーブの事

2018/02/26(月) 19:58:16.47

何年も前からある

2018/02/26(月) 21:01:42.73

所有権を渡すのってstd:move()だと思ってたんだけどconst &&でもいけるの？？

2018/02/26(月) 21:42:25.99

C++17でstd::iteratorが非推奨ってなっているみたいだけど代わりに何使うの？

2018/02/26(月) 23:56:58.87

2018/02/27(火) 00:00:22.09

>>333
自分で実装する

2018/02/27(火) 02:00:32.40

>>332
std::move は rvalue にキャストするだけで、それ自体にはムーブする機能はない。
実際にムーブの処理をするのはムーブコンストラクタやムーブ代入演算子の方やで。

2018/02/27(火) 02:10:59.44

&& は単純に右辺参照って意味しかないから、 rvalue を受け取れるってだけ。
だけど lvalue でもムーブしてぇってときは std::move で rvalue にキャストすんの。

2018/02/27(火) 02:19:45.35

そこら辺はめんどくさいからテンプレート使え

2018/02/28(水) 18:07:41.72

右辺値参照とか難しいなー
最近ようやくC++11使えるようになったから全然いってることがわからん

**片山博文MZ** ◆T6xkBnTXz7B0 (ｽﾌｯ Sd94-HaFh) · 2018/02/28(水) 18:34:51.95

右辺値参照が使えなかった頃は、std::swapでスピード最適化していた。ポインタとメモリー確保を含む構造体は、
単純にスワップしたり、単純にバイト単位コピーしたりするのはまずいことがある。
そういうときに、std::swapを使う。右辺値参照は、それよりちょっと速くて賢いが、テンプレート型を理解してないと多分理解できないと思われる。

**片山博文MZ** ◆T6xkBnTXz7B0 (ｽﾌｯ Sd94-HaFh) · 2018/02/28(水) 18:43:18.32

右辺値参照の型はテンプレートを使った特殊な型だと考えるのが自然。

T&& === rvalue_ref<T>.

std::move(T&)はrvalue_ref<T>という型。

**片山博文MZ** ◆T6xkBnTXz7B0 (ｽﾌｯ Sd94-HaFh) · 2018/02/28(水) 18:44:28.64

訂正。
std::move(T&)の戻り値はrvalue_ref<T>という型。

**片山博文MZ** ◆T6xkBnTXz7B0 (ｽﾌｯ Sd94-HaFh) · 2018/02/28(水) 19:01:47.21

すみません、テキトーなことを書いたので、銃殺されます。

2018/02/28(水) 19:18:07.29

実際のところヘッダファイルから std::move の定義を抜き出すとこんな感じ。

template<typename _Tp>
constexpr typename std::remove_reference<_Tp>::type&&
move(_Tp&& __t) noexcept {
return static_cast<typename std::remove_reference<_Tp>::type&&>(__t);
}

テンプレートの都合で面倒くさくなってるけど、実態としては static_cast してるだけ。

**片山博文MZ** ◆T6xkBnTXz7B0 (ｽﾌｯ Sd94-HaFh) · 2018/02/28(水) 19:24:03.59

そのstd::remove_reference<T>::typeはTから左辺値参照や右辺値参照をはずした型になるね。それに&&を付けるんだから、左辺値参照が右辺値参照になる。

2018/02/28(水) 19:25:31.22

やはり、constexprやnoexceptを付けた方が性能がいいんだな。

2018/02/28(水) 19:35:33.38

C++17 では noexcept は型の一部という扱いに変更された。
例外を投げないなら投げないと書いておかないと他のライブラリとの組合せで型エラーになったりすることもあるかもしれんぞ。

**片山博文MZ** ◆T6xkBnTXz7B0 (ｽﾌｯ Sd94-HaFh) · 2018/02/28(水) 19:43:54.33

やっぱ江添亮様ってスゲーや。

2018/02/28(水) 21:22:30.07

江添本にこの辺りのチートシートと問題集いれたら100部くらい売り上げ増えるのでは

2018/02/28(水) 21:27:43.47

江添ってあれか。ニートの時にやることないからたまたま目についたC++の仕様書を読み込んでたら
いつの間にかすごく強くなったという、ホリランみたいな。

2018/02/28(水) 21:32:34.60

おまえそれをバカにできるのか？
仕事ってそういうもんだぜ
目の前の案件のために必死こいても付け焼き刃にできることは知れてるんだよ
「ヒマ」なときに遠くを見て投機的にコツコツ努力したことが
あとで花咲くことがあるし咲かないこともある
賭に勝った者を、降りたやつがバカにできるのか？　え、おい

2018/02/28(水) 22:02:12.40

>>320
>>322
書き込むときポインタ渡しにするのは
C++には参照渡しがin/out/refのどの意味なのか表すシンタックスが現状無いから
というのが主要な動機だと思うが
inならconst T& aというのは比較的読み筋だが
T* pと書いただけだとoutなのかrefなのかやっぱりわからん…

2018/02/28(水) 22:22:45.57

>>352
outは**だろ

2018/02/28(水) 22:38:47.40

&& は、Rust のmove の事。
所有権移転。移転元が空になる

基本的に数年は、ドワンゴ江添と共に、山ごもり！
江添が空海なら、漏れは最澄w

悟りを開くまで、空海・最澄の一問一答が、延々と続くw

2018/02/28(水) 23:03:26.56

rvalue reference 自体はムーブしねぇつってるだろ。

2018/03/01(木) 02:40:44.97

&&は所有権付き参照オブジェクトのようなものだな

2018/03/01(木) 07:05:17.46

&&参照は「このオブジェクトもういらないからぶっ壊してもいいよ」というサイン
言うなれば肉屋へ行く馬車
野生のオブジェクトは誰に断る必要もないので勝手に連れてかれて解体される
家畜を渡す時は解体に同意するサイン(std::move())が必要

2018/03/01(木) 07:13:49.75

Fooクラスのunique_ptrがつまったvectorを作って、他クラスのメンバ変数にセットするときはどう渡すべき？
作った元ではもう使わないから所有権放棄していいとする

const参照渡しにして、渡された側でvectorの中身を全部std:move()して新しいvectorにつめるのが一番最初に思い浮かんだ
そんなことしなくても最近ここででてる、&&つけて渡してそのままセットすれば解決するのかな？

2018/03/01(木) 07:20:14.18

vectorを丸ごとmove付けてコンストラクタに渡せばいいよ
出来上がった後で渡したいならswapすればいい

2018/03/01(木) 08:22:01.82

なるほどー
コードにするとこんな感じかな？

std::vector<std::unique_ptr>vec_hoge;

...

Hoge hoge;
hoge.setHoge(std:move(vec_hoge))

Hoge::setHoge(vector<unique_ptr>&& vec_hoge) {
this-> vec_hoge = vec_hoge;
}

2018/03/01(木) 08:51:22.88

>>360
最後にmove必要

2018/03/01(木) 08:54:17.19

せやな。
rvalue reference は lvalue だぞ。

2018/03/01(木) 10:38:08.68

ありがとう！勉強になりました

2018/03/01(木) 22:06:37.33

>>353
ちげう

2018/03/02(金) 07:10:33.20

noexceptにtrue,falseがある理由については

#include <type_traits>

template<typename T>
void test(T t)noexcept(is_unsigned<T>){
//Tの型がunsignedの時だけは例外は投げない
}

こういう事が出来ると書いてあったけど、c++17以降も問題なく使えるだろうか？

2018/03/02(金) 07:15:24.27

is_unsigned_vだろ

なぜC++17以後で廃止になると思ったんだ？