C++相談室 part137

2018/08/27(月) 16:02:00.94

次スレを立てる時は本文の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/

■長いソースを貼るときはここへ。■
　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/09/29(土) 14:56:25.79

しかしｱﾎのあたらしもの好きは半端ない
頭悪いｼﾛﾓﾉでも新しいものができたら使わないといけない病になってるからな
ｼﾛｳﾄに多い

2018/09/29(土) 14:58:40.21

いや、autoはともかくshared, unique, weakは危なっかしくないと思うが・・
ムーブが使えるようになってからだし
あと個人的にはcpprefjpは規格寄り過ぎてユーザー寄りじゃないと思う
cppreference.comを使うべき

2018/09/29(土) 14:59:08.11

で、こんなしょうもないことより
ﾎﾝﾄに理解しないといけない部分がすっぽりと抜けてる

2018/09/29(土) 16:42:03.70

C++ の (というかプログラミング言語の) ほとんどの機能は抽象化の道具。
ムーブもまた、見かけ上は代入っぽい抽象で扱えるものであっても
実態はもうちょっと速いコードにも出来る (可能性がある)。

>>828
そういう簡単な制御すら抽象化層に押し込められない方がよっぽど駄目。
クルクルパーだと思ってるならなおさら、
簡単な制御なら (いつも間違いなく) 出来ると期待すべきでない。
そんでもって大抵の人間はクソザコで、しょうもない間違いをする。
問題は道具で解決すべき。

2018/09/29(土) 17:03:15.96

スマポは言語の機能じゃねーよボケ

2018/09/29(土) 18:38:13.57

>>832
>問題は道具で解決すべき。
ネ申は確かＬＬ言語を創造された

2018/09/29(土) 18:45:43.26

ムーブはゼロの発見に次ぐ、人類史上における大発見と言われてるけどな。
ノーベル賞候補の一つにもなってるし。

2018/09/29(土) 18:51:41.19

std::auto_ptr<T>はもともとオブジェクトをムーブしたくて生まれたわけでは無いと思う…
確実な解放の実現が先
ムーブする仕様はあと

あとstd::auto_ptr<T>（unique_ptr<T>でも良いが）でも使わないとやってられないｼﾁｭがC++には少なくとも1つある

2018/09/29(土) 18:56:52.23

move元のオブジェクトに対するアクセスがコンパイルエラーになるんならわかるけど、そうじゃないんなら
大層な仕組みを入れなくても単に unique_ptr を言語組み込みで実装すれば済む話だったのでは？

2018/09/29(土) 19:32:03.30

お前ら江添に負けて恥ずかしくないの？

2018/09/29(土) 20:26:30.14

全然？

2018/09/29(土) 21:00:53.02

>>837
それ何が嬉しいんだ？
vector とかどうすんだよ

2018/09/29(土) 22:03:09.07

>>840
moveするのが分かってるんなら最初からvectorごとヒープに作って unique_ptr で持てばいいでしょ
中途半端にガワだけスタックに置く意味がない

2018/09/29(土) 23:45:25.50

move後の元オブジェクトを破壊っていうか破棄しようって提案もあったよ。ちょっと早くなるのだとさ。

2018/09/30(日) 00:04:13.06

>>841
ポインターならそもそも copy のコスト安いから move 要らないじゃん

2018/09/30(日) 00:20:38.65

それだったら最初から普通にﾎﾟｲﾝﾀでかけよ

2018/09/30(日) 00:57:02.37

この3冊が、神の書！

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

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

組込み開発者におくるMISRA‐C:2004―C言語利用の高信頼化ガイド、MISRA‐C研究会、2006

2018/09/30(日) 01:40:28.47

>>843
だからmoveいらないって話でしょ
C++のムーブセマンティクスがああなったのは中途半端にスタックを使うスタイルが定着してしまっていて今更ポインタ使えというのは無理があるからで、
本来は所有権の管理さえ適切に行えるようになってさえいればムーブなんか要らんよ

2018/09/30(日) 06:43:45.01

C++ Coding Standards って新品で買えないけど代わりになる書籍ありますか？

2018/09/30(日) 06:48:23.20

>>846
ポインタ使え思想はすでに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()以下の呼び出しは全部>>844になる

人類に逃げ場は無い

2018/09/30(日) 06:53:57.08

それにポインタ使え思想だと次のようなケースで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];
};

2018/09/30(日) 07:13:40.02

ちな>>849はm_bやm_cが配列であるため、配列アクセス時の添え字が定数なｼﾁｭでもない限り、JITでも間接参照回数を3以下にはできん

2018/09/30(日) 09:10:22.74

>>848
よくわからんな
848の問題はそれmoveでも一緒だよね
単にデフォルトの挙動がmoveかborrowかだけの話で、unique_ptrがたまたま前者なだけ
スマポ使えば間接参照はどうしても増えるけど、実際>>849のようなケースで特定の要素だけ所有権捨てたりしないでしょ
所有権を移動するかどうかはほぼ例外なくオブジェクト生成時点で予め分かってるんだから、その場合に限ってスマポを使えばよい
コーナーケースのために全てを複雑にする必要はない

2018/09/30(日) 09:21:04.80

>>851
>所有権を移動するかどうかはほぼ例外なくオブジェクト生成時点で予め分かってるんだから、
有り得ない仮定すぐる…
>>848なケースにおいて、オブジェクトaの生成時点というのは、
ライブラリー制作者がfunc1()を設計してビルドまで完了した後やがな…

2018/09/30(日) 09:39:54.40

>>852
自分でも分かってて揚げ足取ろうとしてるんだろうけど、コーディング時に、プログラマがオブジェクトを生成することを意図したコードを記述した時点で、な

2018/09/30(日) 09:46:24.24

>>853
いやｽﾏﾝ言い方がまずかったそういう意味ではない
確かに
>所有権を移動するかどうかはほぼ例外なくオブジェクト生成時点で予め分かってるんだから、
というのは真だが、ライブラリのインターフェースに解放が必要なオブジェクトのmoveなど認めたら有り得ないコストが生じるという話

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

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

人類に逃げ場は無い

2018/09/30(日) 09:52:25.65

>>854
だからそれmoveでも同じことだよね？
ユニバーサル参照のことを言ってるんだとしたら、あれただの型推論だぞ

2018/09/30(日) 10:03:48.10

>>855
解放が不要なオブジェクトのmoveは話がちげう
この場合、単に生ポインタ（オブジェクトのアドレス）をfunc1()に渡すのと変わらん
これはライブラリのインターフェースに現れてもコスト的には問題は無い

元レスのアンカー先>>846は>>854のコストが避けられない主張

2018/09/30(日) 10:07:31.97

いやすまん解放が不要なオブジェクトでも、所有権を移動した場合は>>854の1のコストは避けられないorz
ここは訂正

2018/09/30(日) 10:11:13.08

>>856
スマポのmoveも本体のmoveも一段間接参照が入る以外は何も変わらないって言ってるんだけど、そんなに難しい話かなあ

2018/09/30(日) 10:45:39.58

>>858
>>848、>>849は、現行C++におけるスマポのmoveと本体のmoveの優劣は問題にしていない

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

1は現行C++との比較において、間接参照回数に響く
2は現行C++との比較において、現行C++では避けられるコスト（>>854またはガベージコレクション）を無駄に背負い込むことになる

2018/09/30(日) 10:52:02.74

>>858
本体のムーブも、ムーブ出来るように書いたらカスタムなスマートポインタみたいになるから、
間接参照が入っちゃうので、なおさら同じではあると思う。

でもまあ、ムーブは抽象化の方法であって、
最終的に実行されることが同じだからなくても良いってのは暴論よね。

2018/09/30(日) 11:10:34.99

アンダースコアとドットをこの順で必ず含む string があったとして、アンダースコアからドットまでの部分文字列を切り出す処理って一行で書ける？

substr と find_first_of と find_last_of を組み合わせる方法を考えたんだが、
アンダースコアの前を削る;
ドットの後を削る;
という2行に渡るやり方しか思い付かない

2018/09/30(日) 11:15:56.30

ちな
>スマポのmoveも本体のmoveも一段間接参照が入る以外は何も変わらないって
これは現行C++においても違う違いがﾜｶﾙ男ならﾜｶﾙ

func1()からfunc2()にfunc1()の自動変数aをmoveするとして、かつfunc2()はインライン展開されるとすると、
func2()におけるaのメンバへのアクセスはfunc1()呼び出し時点でのスタックポインタ相対で一発でやれる
一方、aがスマポだったりすると、aのメンバへのアクセスの前に、func1()呼び出しの都度1回はスタックポインタ相対でaのアドレスを得なければならない

2018/09/30(日) 11:27:40.54

オブジェクト本体のメモリのコピーにかかるコストを考慮すればどっちもどっち

2018/09/30(日) 11:54:22.15

>>861
substr じゃなくて、コンストラクタ使えばいいんじゃね
string t(s.begin() + s.find_first_of('_') + 1, s.begin() + s.find_last_of('.'));

2018/09/30(日) 12:29:37.73

>>864
なるほど、ためになります

2018/09/30(日) 12:35:17.89

>>864
ふと気になったのですが、このコンストラクタの挙動って他の名前の関数で実装されてないんでしょうか？

2018/09/30(日) 12:48:58.63

>>866
assign

2018/09/30(日) 13:18:31.87

>>867
何から何までありがとうございます

2018/09/30(日) 14:15:51.90

「rustにもあるし俺らも入れなきゃ」くらいの感覚で
今までのシステムとの統合性の難しさなんかほぼ考えないで入れちゃった機能だから。
c++らしいといえばらしい感覚だけど。

2018/09/30(日) 14:22:42.56

std::basic_string::find()もイテレータを返すように他のコレクションとの統合性を尊重して欲しいよな

2018/09/30(日) 22:56:12.57

findを実行した対象とは別のstringの同じ位置に何かしたいとき
イテレータで返されるとちょっとだけ面倒
まあ大した問題でもないんだけど

2018/10/01(月) 17:20:37.02

moveセマンテックが必要になった理由を理解してないのが多くて驚くばかりだな
破壊して良い中間オブジェクトとそうじゃないのとを区別するために必要なのだよ
ポインタ使えばmove必要ないとかそういう問題じゃない

2018/10/01(月) 17:40:58.61

元はといえば禿が左辺値参照でもconstつければ右辺値を指せるという曲がった話を始めたのが
評判悪くてC++11でやっとやっとやっとやっとメスが入ったのが本当の理由

2018/10/01(月) 18:05:01.87

>>872
色んな話題が出てるので混乱してるが、ムーブ不要論を出してる側の *元々の* 主張は >>846 の通り
「ちゃんとした所有権の管理 (たぶん Rust みたいなやつのこと？) が有りさえすれば」
であって、でもそれは C++ ではもはや無理でしょということもわかった上だと思う。

2018/10/01(月) 18:05:54.55

Cにも欲しいわ
Cは参照ないから右辺値指示ポインタで

2018/10/01(月) 18:09:04.02

それを言うなら、右辺値の概念を撤廃すべきでしょ

どんな値もポインタで指すことができ、
ポインタで指すことでregister指定を解除されるという変更

2018/10/01(月) 18:12:32.93

テンポラリーオブジェクトなくすと、一回必ず厳密に生成してから仕様になるので、手間増えると思う。

2018/10/01(月) 18:40:21.84

右辺値がないと int i = 0; すら書けなくなるんだが

2018/10/01(月) 18:50:50.76

なんで？

int j;
j ^= j;
int i = j;
左辺値でも問題ないじゃん

2018/10/01(月) 18:54:00.22

>>879
苦しいねーw

2018/10/01(月) 19:00:24.21

0 以外はどうすんの。

2018/10/01(月) 19:02:25.38

> j ^= j;
はい未初期化値を使ったから未定義動作で鼻から悪魔

2018/10/01(月) 19:04:34.50

char buf[1];

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

で、i = 10 に初期化される。

2018/10/01(月) 19:05:56.72

NaNのときはxorは未定義か、そこまで考えなかったな

2018/10/01(月) 19:06:32.55

>>883
間違った。正しくは：

char buf[1];

int i = (int)(&buf[10] - &buf[0]); // i = 10 と等価。

2018/10/01(月) 19:11:01.98

そもそも=の無理やりなオーバーロードや引数に対する暗黙的なattainが問題なんだろう。
しかし元々のcのシンタックスを引き継ぎつつ、上記の問題を解決するのは不可能。

2018/10/01(月) 19:14:47.64

>>885
10
0
&buf[10]
&buf[0]
&buf[10] - &buf[0]
(int)(&buf[10] - &buf[0])

右辺値だらけ
やりなおし

2018/10/01(月) 19:19:47.07

>>881
別に？

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

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

char *j;
j = "\n";
int i = *j;
て話と何か違うの？

2018/10/01(月) 19:23:45.27

10が左辺値ならこれ認めるの？
10 = 42;

2018/10/01(月) 21:57:05.81

お前らがC++で作ったことあるものリスト化して

2018/10/01(月) 22:37:33.40

>>889
全然かまわん
int a = 10;
int b = 10;
a = 42;
こう言っているに過ぎない

2018/10/01(月) 22:42:30.92

>>878
そろそろ答えてもらおうか
なぜ右辺値がないと int i = 0; が書けないのか

2018/10/01(月) 23:15:35.29

>>874
ていうか所有権などという中途半端な概念にオブジェクトの解放を担わせるのは危険か無意味かのどっちかにしかならない
最後までオブジェクトを使いたい人と、そのオブジェクトを所有する人を
コードに所有権を明示するスタイルで一致させられるケースは少ない

希ガス

2018/10/01(月) 23:21:45.86

しかしながら右辺値参照を使うとコードを書く人がオブジェクトの所有権を意識せざるを得ない
これを抽象化といわれるとかなり違和感

※ 個人の感想です

2018/10/01(月) 23:31:19.12

結局ネストしたオブジェクトってのはどう扱おうと楽な扱いなんてできんってことなんだわ。
同期と効率と安全性を全て容易にするってのは不可能なんじゃないかね。

2018/10/01(月) 23:41:31.83

>>895
>結局ネストしたオブジェクトってのはどう扱おうと楽な扱いなんてできんってことなんだわ。
いや？
オブジェクトの所有権は最初のcallerががっちり掴んでオブジェクトを使うcallee以下は生ポでおk

全てが調和する

2018/10/01(月) 23:46:11.02

ｱﾎどもはやっと気付いたか。。。

ｺﾀｴ：最初から普通にﾎﾟｲﾝﾀで書きなさい
　　　unique_ptr、shared_ptr、weak_ptrなんか使ってるﾔﾂﾗは
　　　ｸﾙｸﾙﾊﾟｰしかいない

2018/10/01(月) 23:49:34.85

>>894
右辺値参照周りを抽象化とか言ってるアホははちみつだけだろ

2018/10/02(火) 00:39:52.22

https://ideone.com/BBhHn8

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

templateでデフォルト引数で関数を指定する場合、わざわざテンプレートパラメーターFuncにdecltype(...)しなきゃいけないのは何故？

2018/10/02(火) 01:21:04.00

https://ideone.com/JKTYpf

testは関数名だから型じゃない

2018/10/02(火) 02:10:18.78

>>894
ムーブだのなんだの言ってても、
C++ の言語機能として直接的に有るのは rvalue 参照を区別して受け取れるってだけで、
所有権の管理をキッチリやってくれるわけではない C++ の限界なんだよね。

だけど、なるべくクラス・関数の実装の中に区別を押し込めて隠す道具のひとつにはなるって話。
でも、中途半端にやるなら隠さないで見せた方がマシという論はわかる。

2018/10/02(火) 05:46:40.59

受取る関数の側を上手く作っておけば
それを使う側では所有権の移動とかそんなに気にしなくない？
rvalue だったら勝手にちょっと効率的になる (こともある) ねってだけで。

使うときに気にしなくて良いように押し込められるならやっぱり抽象化の道具って言えると思うよ。

2018/10/02(火) 06:04:33.19

>>900
ありがとう。

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

にするとエラーになるのは何故？

2018/10/02(火) 06:50:19.11

>>903
デフォルト引数からはテンプレート引数を推定できない制限がある。

2018/10/02(火) 07:00:39.49

なるほどです。

2018/10/02(火) 07:46:51.87

時々、イラつかされる制限だ

2018/10/02(火) 08:15:45.67

>>890
C++が得意なことを教えてください

2018/10/02(火) 10:26:10.74

>>902
いや呼び出す側に意識させるのが右辺値参照の目的だろ
意識しなくていいようなケースならconst参照で十分

2018/10/02(火) 10:31:03.15

冗談は顔だけにしろよ
たとえばstd::threadの右辺値参照なんぞ意識してるか？

2018/10/02(火) 13:13:32.45

一行目に何の意味があるのかわからん

**デフォルトの名無しさん** (JP 0H4f-ZVm4) · 2018/10/02(火) 15:51:55.37

割と昔からあるプログラムを見てるんですけど一つのメソッド内で
for(int i = 0; ……）{……}
for(i = 0;……）{……}

って書き方してるのをちらほら見ます
要は宣言してるんだから使い回せるだろみたいな理屈なんでしょうがビルドしようとすると当然未定義だとエラーが出ます
昔のC++だとこれがオッケーだったりしたんでしょうか？

2018/10/02(火) 15:56:06.09

そうだよ

2018/10/02(火) 16:33:18.83

c++で初心者が作れるものを教えてください

2018/10/02(火) 16:37:39.73

rogueとか作って見てはどうよ
SetConsoleCursorPositionとGetKeyStateがあれば何とかなるだろ

2018/10/02(火) 16:39:28.61

>>911
むしろ古い仕様だと後者の i を宣言しようとすると、
ひとつのスコープ内で同じ名前の変数を定義しようとした扱いになってエラーになったりした。

2018/10/02(火) 17:18:00.03

今のコンパイラでも当時の仕様に合わせるオプションはある

2018/10/02(火) 18:04:17.03

>>914
ありがとう

2018/10/02(火) 19:05:29.79

C++.でバッチ処理やbashのsedの様な機能はありますか？

2018/10/02(火) 19:11:57.50

システムコマンドを実行したいのならsystem関数
正規表現ならstd::regexクラス
ファイル名に関する様々なことはstd::filesystem::pathクラス

2018/10/02(火) 20:37:48.16

>>919
ありがとうございます
とても便利です

2018/10/03(水) 01:07:54.12

std::array を自作関数の引数に渡したいときって、サイズはハードコードしないとダメなの？

2018/10/03(水) 01:11:26.75

>>921
template <size_t t_n>
void my_func(std::array<data_t, t_n>& a)
{
...
}

2018/10/03(水) 01:18:33.15

>>922
なるほ
ありがとうございます

2018/10/03(水) 01:18:50.70

>>922
なるほ
ありがとうございます

2018/10/03(水) 03:04:58.67

>>912 >>915
ありがとうございました。やっぱそうだったんですね
しかし検索しても全然出てこないというかどう検索したら良いものか。C++98とかの時代になるんですかねぇ

2018/10/03(水) 05:02:16.81

>>925
たぶんそれより更に前の話だったと思う。

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

D&E でも言及があって、 if 文でのルールと合わせる形で修正したという話が載ってる。

2018/10/03(水) 05:31:10.20

>>916
VC++ですら廃止予定だけど
https://msdn.microsoft.com/ja-jp/library/84wcsx8x.aspx

2018/10/03(水) 05:33:04.20

ARM (The Annotated C++ Reference Manual; http://amzn.asia/d/53K2HrA ) を確認してみたら、
「初期設定文が宣言ならば、宣言された変数のスコープは for 文を囲むブロックの終わりまでである」
というような記述がある。 (要するに古い仕様)

このあたりから C++98 になるまでの間に修正したってことなんじゃないかと。