C++相談室 part146

**デフォルトの名無しさん** · 2019/11/07(木) 11:35:36.76

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

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

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

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

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

**デフォルトの名無しさん** · 2019/12/07(土) 01:08:17.23

>>615
余再帰だな
江添やっちまったなあ！

**デフォルトの名無しさん** · 2019/12/07(土) 01:59:52.93

>>682
ふつうの実装では、A[n]は参照しかできず
A[n] = の代入ができないという事

**デフォルトの名無しさん** · 2019/12/07(土) 05:36:21.30

>>684
｢参照｣を返せばいいだけだが、そういうことではない？
まさか｢参照｣を知らないと言うわけではないよね。

**デフォルトの名無しさん** · 2019/12/07(土) 06:10:47.12

ちょくちょく初心者質問スレに行った方が良い人までここに堂々と書き込むのが
スレを妙な雰囲気にしてる

**デフォルトの名無しさん** · 2019/12/07(土) 06:56:32.11

>>615 >>683
「余再帰」 corecursion って呼ぶのか。勉強になるわ。

江添さんのページを見てみたんだけど、
「このコードは末尾再帰になっている。」の行の前に
最初の return n * factorial(n-1) を返す関数を
末尾再帰に書き換えたコードの引用があるべきなのを
挿入し忘れたように思えるね。

・末尾再帰でないコード例を示す
・末尾再帰にするとこうなる ... コード欠落
・末尾再帰はループに書き換えられるよ
・ループにしたコード例
っていう流れで自然に読めるでしょ。

**デフォルトの名無しさん** · 2019/12/07(土) 09:42:39.92

でもこのシグネチャのfactorialのままだと末尾再帰できなくね？>>642みたいになるかと。

**デフォルトの名無しさん** · 2019/12/07(土) 11:49:45.97

>>685
たとえばbitsetを実装しようして、内部では32や64bitの整数へ保存するとして
参照だけではB[i]=1はできないかと

**デフォルトの名無しさん** · 2019/12/07(土) 11:56:48.08

最初からそうかけよ

**デフォルトの名無しさん** · 2019/12/07(土) 11:57:37.74

これのこと、毎回調べ直さないと作れない

プロキシ
実は、C++ でも、かなり無理やりですが、（見た目だけは）プロパティのようなことができたりします。とりあえず、百聞は一見にしかずということで、以下の例を見てください。

利用側、すなわち、main の中では、まるで普通の変数に対する代入・参照であるかのようなコードになっています。

このからくりは、 age の読み書きに、AgeProxy という名前の別のクラスを介することで実現します。 Age は AgeProxy 型の変数です。
AgeProxy の代入演算子（operator =）と int 型へのキャスト（operator int）を通して、 Person クラスの age 変数の読み書きをします。

ちなみに、こういう例のように、いったん別のクラスを通して値を読み書きしたりする方法を、プロキシ（proxy: 代理）と呼びます。

まあ、このパターンは、利用側の見た目は綺麗になりますが、実装は面倒ですし、実行効率もあまりよいとはいえません。
さらに言うと、プロパティを virtual 化しようとすると、この例よりもさらに複雑な実装が必要になります。

こういう感じの話を振り返った上で、改めて C# の「プロパティ」機能を見ると、便利な機能だなぁとつくづく思います。
https://ufcpp.net/study/miscprog/accessor.html

**デフォルトの名無しさん** · 2019/12/07(土) 12:00:39.08

相談じゃないなら他へ

**デフォルトの名無しさん** · 2019/12/07(土) 12:02:24.40

プロパティはコード上でフィールドのように扱えることよりもメンバとしてIDEが認識できるところに意味がある
最近はC#でもデザイナに頼らずに何でもコード上で済ませるスタイルが主流になりつつあり、プロパティの必要性は薄れている
初期化時にパラメータを纏めて渡したりするだけなら生フィールドで十分なわけだしな

**デフォルトの名無しさん** · 2019/12/07(土) 12:11:07.35

proxyで別に実行効率は下がらんよね
てかstd::vector<bool>は大昔から存在するし

**デフォルトの名無しさん** · 2019/12/07(土) 12:25:43.42

C++Builder使えばよいのでは。

**デフォルトの名無しさん** · 2019/12/07(土) 12:42:26.89

>>684, >>684
他言語での getter/setter メソッド的な事をやりたいのだろうなあと考えてみました。

例えば a[i] と書かれたら、内部データ(typename T) への参照(T&) を返すのではなく
新たに内部クラス(fields: owner, index)を用意して、そのオブジェクトを作って返すようにします。
これに代入演算子(operator =) とキャスト演算子(operator T()) を実装すれば...
・a[7] = 99; //setter
・cout << a[7]; //getter
こうやって普通にアクセスできます。メソッドを分離したお陰で、
添え字アクセスによるデータベースのupdate / select みたいな事が可能になります。

代入演算子は最低二種類必要で
Inner& operator =(const T& value); // a[i] = value
Inner& operator =(const Inner& rhs); // a[i] = a[j]
二つ目を実装しないと暗黙のコピー代入演算子が作られてしまい
a[i] = a[j]; のような代入操作は実質空文化します。(owner/indexがコピーされるだけ )

素人の思いつきですがサクっと試したら機能しました。
もっとスマートなやりかたもあるでしょう。

**デフォルトの名無しさん** · 2019/12/07(土) 12:55:02.34

意味の無い所で無駄にコードサイズを増やさなくても
普通にset/get関数で良いよ

**デフォルトの名無しさん** · 2019/12/07(土) 13:20:15.07

setterの戻り値はvoid?this参照?

**デフォルトの名無しさん** · 2019/12/07(土) 13:22:21.40

bitsetは参照返すからset(1).set(2).set(10)などと連鎖できる。

**デフォルトの名無しさん** · 2019/12/07(土) 13:35:21.54

>>672

なんだてめえパープリンの活け造りが
ぶち殺すぞ低脳野郎

ぶち殺し行ってやるから住所さらせや糞野郎

**デフォルトの名無しさん** · 2019/12/07(土) 13:36:49.02

これがC++er流の挨拶です

**デフォルトの名無しさん** · 2019/12/07(土) 13:37:29.36

>>672
真面目に糞情報しか提供できない出来損ないならすっこんでろウスノロ
とにかくぶち殺しに行ってやるから住所晒せや

**デフォルトの名無しさん** · 2019/12/07(土) 13:38:45.35

>>678
今ごろlock_guardて ID:zfbHpqVT 並の情弱かオマエww

**デフォルトの名無しさん** · 2019/12/07(土) 13:44:27.19

パープリンどころかアホの活造り ID:zfbHpqVT

パープリンどころかアホの活造り ID:zfbHpqVT

パープリンどころかアホの活造り ID:zfbHpqVT

パープリンどころかアホの活造り ID:zfbHpqVT

パープリンどころかアホの活造り ID:zfbHpqVT

出てこい知障

**デフォルトの名無しさん** · 2019/12/07(土) 13:49:37.66

そもそも10を代入して値が10にならないなら、意味的に組み込み型の整数とは違うのかもしれない。
整数ではないものを整数で代用したときに起きる問題なのかも。

**デフォルトの名無しさん** · 2019/12/07(土) 14:40:05.37

効いてる効いてるｗ
弱い犬ほどよく吠えるねえ

**デフォルトの名無しさん** · 2019/12/07(土) 15:57:37.60

>>683
江添なんて前からそんなもんだぞ。
人の間違いには厳しいが自分の間違いには逆ギレするような男だ。

**デフォルトの名無しさん** · 2019/12/07(土) 15:59:46.23

clang-cl結構いいね。

**デフォルトの名無しさん** · 2019/12/07(土) 16:00:40.56

>>707
全方面に厳しいって事？
自分にも他人にも。

**デフォルトの名無しさん** · 2019/12/07(土) 16:33:39.12

「自分の間違い(に対する指摘)には逆ギレ」ってことでしょな。

書籍として印刷・発売する前にネット公開して広く意見を求める、
「お前らタダで読ませてやるから品質向上に協力しろや」方式と考えれば
誰にも損のないやり方だと思うけどね。
少なくとも俺にとってはありがたい。

**デフォルトの名無しさん** · 2019/12/07(土) 17:24:58.21

意見を反映させる能力があればな。

**デフォルトの名無しさん** · 2019/12/07(土) 17:31:56.94

https://github.com/EzoeRyou/cpp-intro/issues

**デフォルトの名無しさん** · 2019/12/07(土) 20:57:58.81

なんかうちのVisual Studioだと
iscntrl('\t')
が非0（真）になるんだけど
これって正しい？

**デフォルトの名無しさん** · 2019/12/07(土) 21:22:47.02

表示できる文字と空白以外は全部制御文字だね

**デフォルトの名無しさん** · 2019/12/07(土) 22:13:42.05

isspace('\t')は非0（真）なので'\t'は空白のはずェ、

つかGoogle Testにかけたらこうじゃわ↓↓↓
TEST(stdlibTest, ctype) {
ASSERT_FALSE(isspace('\0'));
ASSERT_TRUE(isspace('\n'));
ASSERT_TRUE(isspace('\r'));
ASSERT_TRUE(isspace('\t'));
ASSERT_TRUE(isspace(' '));

ASSERT_TRUE(iscntrl('\0'));
ASSERT_TRUE(iscntrl('\n'));
ASSERT_TRUE(iscntrl('\r'));
ASSERT_TRUE(iscntrl('\t'));
ASSERT_FALSE(iscntrl(' '));
}

**デフォルトの名無しさん** · 2019/12/07(土) 23:02:18.90

盲目の為のロケールがあったら、ベル以外全部制御文字になるんだろか。

**デフォルトの名無しさん** · 2019/12/07(土) 23:12:25.74

0x00から0x1fまでは全部制御文字で違和感ないけど。

**デフォルトの名無しさん** · 2019/12/07(土) 23:19:02.06

printableってのは音声出力も含むのではなかろうか

**デフォルトの名無しさん** · 2019/12/08(日) 02:49:31.16

盲人のブログラマーって普通にいるんだな
なんかかっけーな

**デフォルトの名無しさん** · 2019/12/08(日) 08:37:40.25

Visual Studio 16.4オンラインアプデしたら
それまで使ってたParallel Studio2019 U5使えなくなった。
Visual C++でコンパイルできるがIntel Compilerはコンパイル失敗してしまう
それと、
プロジェクトのプロパティからIntel Compilerは選択できるんだが、
プルダウンメニューからIntel Compilerを選択できないようになった。
Parallel Studio最インスコしてもコンパイルは失敗する。2019 U5 が16.4に対応してないとかないよね?

**デフォルトの名無しさん** · 2019/12/08(日) 08:39:40.14

>>713
例によってロケール依存らしいが "C" だと
iscntrl() が真を返す値は 0x00-0x1f, 0x7f みたいね。
これまた例によって unsigned char 範囲と EOF 以外の値については未定義。

つうか、このくらいは5ちゃんねる以外から情報を探す方が
早くて確実じゃないかしら。

**デフォルトの名無しさん** · 2019/12/08(日) 13:11:02.08

C++で作ったブラウザテニスゲーム(PWA仮対応)：
https://yutakaaoki.github.io/demo_tennis/
Wasm+PWA+WebGL+"C++"

**デフォルトの名無しさん** · 2019/12/08(日) 14:09:36.54

>>722
青木さんは何をしようとしてるんですか？

**デフォルトの名無しさん** · 2019/12/08(日) 14:17:37.03

>>722
で、質問は？

**デフォルトの名無しさん** · 2019/12/08(日) 14:36:36.30

もっと早くは最速って意味ですか？
それとも速くしたいって意味ですか？

**デフォルトの名無しさん** · 2019/12/08(日) 14:56:59.55

インテリコード、ほんとに提案してくるね。
お前は次にこう書く・・・って。

**デフォルトの名無しさん** · 2019/12/08(日) 15:02:14.03

歯垢の妨げにしかならんわ

**デフォルトの名無しさん** · 2019/12/08(日) 17:09:58.86

>>723
C++ Nex という言語とそのIDEを作ってますが、マルチプラットフォームの
ツールキットも同時に作ってます。MacやiOSなどまで native 対応するのは
貧乏なので機材の関係で難しいので、wasm に対応することでひとまずは
凌ごうかと思いました。

ツールキットのソースをBSD/MIT系ライセンスで公開して、C++ Nex も
無料で使えることにして、みなさんのお力をお借りして native対応の
ツールキットに出来ればいいのですが。ひとまず、Windows/Wasm/Android
くらいまでなら対応できる目処は立ってます。iOSについては、swift
言語が出したオブジェクトファイルとリンクすることはWindows上でも
実験できそうなので、その基礎的な部分だけならMakefileなどの開発環境を
用意することはできそうです。

Mac miniがあれば、iOS native 対応も出来そうなんですが。

**デフォルトの名無しさん** · 2019/12/08(日) 17:29:31.80

基本的にネイティブ志向なんですね。

**デフォルトの名無しさん** · 2019/12/08(日) 17:29:36.52

>>728
ソースコード見せて

**デフォルトの名無しさん** · 2019/12/08(日) 17:30:50.90

ウェブアセンブラは興味あるんだけど、イマイチ情報が。

**デフォルトの名無しさん** · 2019/12/08(日) 17:32:13.08

高橋茉奈著やさしいウェブアセンブラが待たれる今日この頃。

**デフォルトの名無しさん** · 2019/12/08(日) 17:37:23.93

>>730
ライセンスは、BSD, MIT, LGPL(静的リンクしてもGPL感染しない例外あり) の
どれかにするか迷っています。

**デフォルトの名無しさん** · 2019/12/08(日) 17:43:51.77

WTFPLライセンスにしようぜ

**デフォルトの名無しさん** · 2019/12/08(日) 23:33:02.58

>>721
>"C" だと
>iscntrl() が真を返す値は 0x00-0x1f, 0x7f

ほう、そんなことが規格のどこにかいてあるのですか

**デフォルトの名無しさん** · 2019/12/08(日) 23:58:38.94

>>722
Android 4.4.2 Chromeで動作した

**デフォルトの名無しさん** · 2019/12/09(月) 01:41:27.18

ID無いのは5chの人って事？

**デフォルトの名無しさん** · 2019/12/09(月) 01:45:35.78

有料ユーザーってこと

**デフォルトの名無しさん** · 2019/12/09(月) 01:45:54.45

これ5chじゃなかったの？

**デフォルトの名無しさん** · 2019/12/09(月) 02:33:36.15

そうなんだ。

**デフォルトの名無しさん** · 2019/12/09(月) 02:41:32.17

>>739
なかの人はID付かないのかなって。

**デフォルトの名無しさん** · 2019/12/09(月) 08:06:32.09

>>735
C++ の規格が引用してる C の規格じゃないかな。

質問のつもりで書いてるなら、あまりに態度が悪い気がするし、
「その投稿の内容は間違ってる」と主張したいなら、
もっと直接的・具体的に間違ってるという根拠を示すべきだと思うよ。

**デフォルトの名無しさん** · 2019/12/09(月) 09:58:16.97

>>736
ありがとう。

**デフォルトの名無しさん** · 2019/12/09(月) 17:54:07.48

>>742
デタラメぬかしておいて根拠を求められたら示せないばかりか
オマエこそデタラメである根拠を出せとか、さすがですね

**720** · 2019/12/09(月) 18:35:46.39

自己レスです

Visual Studio 16.4では
Intel Parallel Studio 2019 u5は動かないようです。
16.3に戻せないし
どーしよー

https://software.intel.com/en-us/forums/intel-c-compiler/topic/840467

**デフォルトの名無しさん** · 2019/12/09(月) 19:45:24.14

POSIXには明確にCロケールの定義が書かれていた。

**デフォルトの名無しさん** · 2019/12/09(月) 20:19:32.09

>>745
今のVSの最新版は人柱仕様であり、検証無しでプロダクション用をアップデートしてはいけません
勉強になったねー

**デフォルトの名無しさん** · 2019/12/09(月) 21:02:54.27

昔からVSはそんなもんだ。
てかc++コンパイラなんて全部そんなもんだ。

**デフォルトの名無しさん** · 2019/12/09(月) 21:45:50.54

>>745
リンク先に回避策があるって書いてあるやん

**デフォルトの名無しさん** · 2019/12/09(月) 21:53:17.84

>>746
それはCの規格と必ずしもイコールではないがな。

**デフォルトの名無しさん** · 2019/12/09(月) 22:32:03.14

どういうことですか。

**デフォルトの名無しさん** · 2019/12/09(月) 23:24:28.11

POSIX には ISO C には無い追加の定めがあり、したがって
POSIX にある定めは必ずしも ISO C 一般に言えることではないということです。

**デフォルトの名無しさん** · 2019/12/09(月) 23:30:20.36

わかったはもうこれからはstd::isspace()とstd::iscntrl()を使うは

**デフォルトの名無しさん** · 2019/12/09(月) 23:43:16.79

メンバ変数にstd::listを使うと移動コンストラクタがnoexceptに出来ないのですが。
こんな時はどうするのでしょう。

**デフォルトの名無しさん** · 2019/12/09(月) 23:58:06.53

メンバのstd::listをポインタにする

**デフォルトの名無しさん** · 2019/12/09(月) 23:59:06.89

>>754
まず何を見て「出来ない」と言っているのかを明らかにします。

**デフォルトの名無しさん** · 2019/12/10(火) 00:04:16.84

https://ja.cppreference.com/w/cpp/container/list/list
僕はいつもここを見ます。

**デフォルトの名無しさん** · 2019/12/10(火) 00:06:34.29

std::swapの特殊化がnoexceptです。
これを使いますか。

**デフォルトの名無しさん** · 2019/12/10(火) 00:08:47.32

引数無しのコンストラクタがnoexceptじゃないから無理でした。

**デフォルトの名無しさん** · 2019/12/10(火) 00:37:17.09

そもそも noexcept にする必要性が不明だし、呼び出してる関数が
全部 noexcept じゃなくても std::list 実装を限定してよかったり、特定実装での
bad_alloc ＝即死の不都合が必要性と釣り合うなら noexcept にすることはできるし、
最大限の移植性も bad_alloc の通知も noexcept もすべて本当に必要なら
>755 でポインタって答えも出てるのに。

**デフォルトの名無しさん** · 2019/12/10(火) 00:41:00.11

自動でnoexceptに成らないなら、自分で望みのnoexceptの定義すりゃ良いだろうに
部品が例外投げるなら内部でcatchして適切に処理すればいい

**デフォルトの名無しさん** · 2019/12/10(火) 00:43:28.28

https://github.com/isocpp/CppCoreGuidelines
これです。

**デフォルトの名無しさん** · 2019/12/10(火) 07:32:12.43

>>761
正論

**デフォルトの名無しさん** · 2019/12/10(火) 19:05:35.05

途中でcコード通るとか何らかの理由があるんだろう。

**デフォルトの名無しさん** · 2019/12/11(水) 13:14:22.35

ある一つの変数に対してstd::threadで作成したプロセスは値を更新し続けて、メイン関数の方では値を読み続ける場合は排他処理する必要はありませんか？
メイン関数の方は必要なときだけ値が読めればいいので読みこぼしは無視していいです

**デフォルトの名無しさん** · 2019/12/11(水) 13:19:53.65

>>765
変数が std::atomic<T> でなければ排他制御の必要があります。

**デフォルトの名無しさん** · 2019/12/11(水) 13:21:20.19

>>765
atomicでないとだめ。プリミティブな型でもあやしい。
りーどらいとろっくするがよい。

**デフォルトの名無しさん** · 2019/12/11(水) 13:23:21.98

基本型かつ確実にレジスタでなくメモリに書き出されているならそうだね
std::atomcを使うのが無難
その条件ならmemory_order_relaxedを指定すればバリアのオーバーヘッドは避けられる
面倒だけどね

**デフォルトの名無しさん** · 2019/12/11(水) 13:35:45.33

質問者じゃないけど
読みこぼしとかタイミングによるズレが問題ないとしても排他制御なしに読み書きする時点で未定義動作だからNG
って認識でおk？

**デフォルトの名無しさん** · 2019/12/11(水) 13:46:34.56

はい。
https://timsong-cpp.github.io/cppwp/n4659/intro.multithread#intro.races-20
> The execution of a program contains a data race if it contains two
> potentially concurrent conflicting actions, at least one of which is
> not atomic, and neither happens before the other, except for the
> special case for signal handlers described below. Any such data race
> results in undefined behavior.

**デフォルトの名無しさん** · 2019/12/11(水) 14:00:16.36

言語仕様はそうだろうけど
x86なら実際は多くの場合バリア不要だったりするから
最終的にどういうinstructionになっているのか知っておくと理解が深まる

**デフォルトの名無しさん** · 2019/12/11(水) 15:24:29.91

x86系CPUで普通のメモリへの読み書きで順番が入れ替わる可能性があるのは write => read だけ

これ以外だったり同期が必要なければ
排他制御は不要

もちろん、
一連のデータリードでデータの一貫性が必要であれば一貫性確認の仕組みなり排他制御なりは当然必要だし、
コンパイラが読み書きを省略する可能性のあるコードであれば
volatileを付けるなど、省略を防ぐ必要はある

ymmレジスタを使えばアトミックな読み書きが出来るので
256bit以内なら一貫性も保てる

マルチコアARMの場合は
DMB命令を入れておけば確実

パフォーマンスに問題が無い箇所であれば、
移植性の為にも、素直にC++の排他制御を入れておこう！

**デフォルトの名無しさん** · 2019/12/11(水) 15:42:23.89

お前らRustに移行とか考えたりするの？

**デフォルトの名無しさん** · 2019/12/11(水) 17:37:57.91

>>773
個人的には絶対に移行したくないと思っている。

**デフォルトの名無しさん** · 2019/12/11(水) 17:42:08.10

どっちもやったらええがな

**デフォルトの名無しさん** · 2019/12/11(水) 18:13:18.74

>>771
質問されたような簡単な場合であっても、少なくとも、80386系CPUでも、
物理CPUを2つ積んでいるようなマシンだと、色々な配慮が必要。
一つの理由は、CPUキャッシュが外部メモリに反映されていない場合が
あるため。
もう一つは、値の変化のタイミングがコードに書いた通りで無い事があり、
僅かにタイミングがずれることで、「すれ違い」現象の様なことが
おきることがある。これが起きると、変数の値をフラグ的に利用して
厳密に何かをやりたい場合に非常に致命的な問題を生じてしまうことがある。
これを避けるには、80386の設計者は、XOR交換命令を使うことを想定
していたらしい。
2つのスレッドでデータをやり取りする場合には色々と注意が必要で、
普通はデータが準備できたかどうかをCreateEvent(),SetEvent(),
WaitForSingleEvent()などで待機して処理するのが基本。

**デフォルトの名無しさん** · 2019/12/11(水) 18:17:08.59

>>776
スマン。XOR交換命令ではなく、xchg命令だった。

**デフォルトの名無しさん** · 2019/12/11(水) 18:20:46.73

goよりかはrustの方が全然マシやと思うぞ
最近go案件振られること多いけどC言語触ってるみたいで好きになれんわ～

**デフォルトの名無しさん** · 2019/12/11(水) 18:30:30.06

>>776
xchgはsequential consistencyが必要な場合だよ
今回のように単にatomicにread/writeできればいいだけなら不要
お前さんも含めてよくわからん人は使わないのは正解

**デフォルトの名無しさん** · 2019/12/11(水) 18:36:33.88

>>779
正直言って、俺は、lock, xchg, mfence, prefetch,
キャッシュ制御付き(?)mov各種(大量)
に付いてはちゃんと理解出来てないことは認める。

**デフォルトの名無しさん** · 2019/12/11(水) 18:38:56.23

MFENCE
PREFETCH
MOVNTDQA
LFENCE(?)
XCHG
LOCK prefix
WC Memory

↑沢山あるけど、よく分からない。
xchgもちゃんと理解できてない。

**デフォルトの名無しさん** · 2019/12/11(水) 18:39:59.12

MFENCE, LFENCE, SFENCE。

服のサイズみたいだ。分からん。