C++相談室 part141

**デフォルトの名無しさん** · 2019/02/22(金) 03:07:43.52

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

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

前スレ
C++相談室 part137 (正しくはpart138)
http://mevius.5ch.net/test/read.cgi/tech/1535353320/
C++相談室 part139
https://mevius.5ch.net/test/read.cgi/tech/1538755188/
C++相談室 part140
https://mevius.5ch.net/test/read.cgi/tech/1547326582/

このスレもよろしくね。
【初心者歓迎】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

**デフォルトの名無しさん** · 2019/03/22(金) 19:08:02.11

その機能自体への好悪もあるか知れないけど、
「導入されたからには直ちに覚えて使わないのは罪悪」あるいは
「使わない奴は学習能力の劣る無能、使わないのでなく使えないんだろ」
みたいな、新機能の押し付けが嫌がられてるって部分もあるんでないかな。

**デフォルトの名無しさん** · 2019/03/22(金) 19:19:05.75

実行時おじさん

**デフォルトの名無しさん** · 2019/03/22(金) 19:21:05.55

>>576
関数型持ち出すやつが、c++のconstexprの持ち上げたらいかんだろ
関数型はそんなキーワードなしに部分評価するだけで実現できんだから

**デフォルトの名無しさん** · 2019/03/22(金) 19:23:25.37

Googleの結論
Think twice before using template metaprogramming or other complicated template techniques;
think about whether the average member of your team will be able to understand your code well enough
to maintain it after you switch to another project, or whether a non-C++ programmer or someone casually browsing the code base will be able to understand the error messages or trace the flow of a function they want to call.

https://google.github.io/styleguide/cppguide.html#Template_metaprogramming

**デフォルトの名無しさん** · 2019/03/22(金) 19:26:07.13

【定数型プログラミングの掟】
> 「ブッ殺す」と心の中で思ったならッ!その時スデに行動は終わっているんだッ!

**デフォルトの名無しさん** · 2019/03/22(金) 19:31:22.14

でも終わったときめちゃくちゃ疲労してるんやで

**デフォルトの名無しさん** · 2019/03/22(金) 20:21:58.70

>>580
それ逆効果じゃね
Google社員でも使いこなせない機能を使いこなす俺スゲェwww

◆QZaw55cn4c · 2019/03/22(金) 21:54:10.43

>>534
＞コンパイル時レイトレーシング
……

**デフォルトの名無しさん** · 2019/03/22(金) 21:57:31.87

コンパイル時C++コンパイルをやったら尊敬する

**デフォルトの名無しさん** · 2019/03/22(金) 22:28:07.22

正規表現のコンパイルならありかもしれないw

**デフォルトの名無しさん** · 2019/03/22(金) 22:42:15.38

自分の知らない概念を勉強するって意味ならlispのマクロでも覚えたほうがはるかに有意義なんだが
そうしないだよね。
なぜならそれじゃ老害にマウントできないから。
まあそういうクソみたいな思想のやつが年取って老害化するんだけど。

**デフォルトの名無しさん** · 2019/03/22(金) 23:22:27.03

>>545
コンパイル時に決定していることしかできませんよ
コンパイル時に3の階乗を計算して、ドヤってるやついるけど、それなら6ってタイプしとけよw

**デフォルトの名無しさん** · 2019/03/22(金) 23:29:13.79

でもそれがLALR(1)パーサーを生成するなら？

**デフォルトの名無しさん** · 2019/03/22(金) 23:36:46.32

コンパイルに時間かかるから、その間暇つぶしに裏でレイトレーシングして遊んでんのかと思った

**デフォルトの名無しさん** · 2019/03/23(土) 00:40:56.99

デイトレーシングってストーカーのことだっけ。

**デフォルトの名無しさん** · 2019/03/23(土) 06:55:12.12

>>580
「同じプロジェクトで働く他の仲間はアホかもしれない、
あなたの仕事を引き継ぐ奴はボンクラかもしれない、
だから難しい機能を使うのは自重しましょう」って感じか？
一見「あなただけは特別な存在です」と言ってるように見えて、
実は現場の全社員を見下してるような文面だなぁ。
「技巧に走るより素直な書き方をしろ」って趣旨は分かるんだけど。

>>588
参加者の順列で生じるパターンの状態を記録する配列の要素数、
しかも参加者数は変更の可能性あり(コンパイル時には確定する)、
という場合なら contexpr の階乗関数を仕込む意味はありそうね。

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

長年プログラムの保守やってるの見るとその通りだが

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

constexpr指定するだけのことが技巧的なのか知らなかった
I/Oや動的メモリと関係なさそうなところに脳死で適当に付けておくだけでいいのに

**デフォルトの名無しさん** · 2019/03/23(土) 08:35:25.57

霞ヶ関文学は禁止ってこった。

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

基本的に新機能は分かりやすく書きやすくするためのものなんだけどな

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

数学への回帰と先祖返りじゃないの
分かり易くなるんじゃない、難しくなるんだよ

**デフォルトの名無しさん** · 2019/03/23(土) 13:37:38.67

template<typename Item>
Item Fool::InsertItem(const Item& item)
{
　//なにがしかの処理
　item.c_str()...
}

こんなコード見かけると吐き気がするわ
c_str()を持つ型しか使えないじゃん
なんのためにtemplate使ってんだよｗ

**デフォルトの名無しさん** · 2019/03/23(土) 13:47:58.81

c_strを持つ型に限定したいから問題無いけど。

**デフォルトの名無しさん** · 2019/03/23(土) 13:49:44.59

何か変か？
c_strを持っているクラスのみを想定しているんじゃないの
本当はSFINAEで消すべきかも知れないけど

**はちみつ餃子** ◆8X2XSCHEME · 2019/03/23(土) 13:50:21.13

>>598
だからコンセプトの導入が悲願とされてるんだよ。

**デフォルトの名無しさん** · 2019/03/23(土) 14:34:53.50

>>598
程度のはsfinaeでいいんだけどね

**デフォルトの名無しさん** · 2019/03/23(土) 14:56:23.90

basic_stringの特殊化に限定するなら文字型を受け取るだけでいいと思うんだけど

**デフォルトの名無しさん** · 2019/03/23(土) 15:01:12.26

>>598
constexprでコンパイル時に特定のメソッドがあるか調べられないの？

**デフォルトの名無しさん** · 2019/03/23(土) 15:03:42.82

それは型の情報だから、すでに言われてるようにメタプログラミングでsfinae使って調べるしかない

**デフォルトの名無しさん** · 2019/03/23(土) 15:55:31.24

吐き気がするだけで済んでいるのなら御の字。

**デフォルトの名無しさん** · 2019/03/23(土) 16:15:35.83

アレルギーが重症化すると辺境で難癖付けて騒ぎ出したりテンプレート指定すると何故か生産性が落ち出したりするからな

**デフォルトの名無しさん** · 2019/03/23(土) 17:08:18.78

pythonみたいにエラーメッセージ表示してくれるだけで大分マシになると思うんだけどな

**デフォルトの名無しさん** · 2019/03/23(土) 18:52:42.53

そうなんだよね
1500行のエラーメッセージの代わりに「itemのメンバ関数c_str()が見つかりませんでした」ってコンパイラが言ってくれてたら
ここまでテンプレートは嫌われなかった

**デフォルトの名無しさん** · 2019/03/23(土) 18:54:43.76

だからgoのコード生成系のアプローチのがマシってことなんだが馬鹿は脳内でしかビルドしないから通じない訳だ。

**デフォルトの名無しさん** · 2019/03/23(土) 19:11:19.55

これからは定数型プログラミングの時代。

**デフォルトの名無しさん** · 2019/03/23(土) 19:15:22.30

>>609
それはC++20でコンセプト入ったら実現されるはず(ライブラリ側で対応する必要あるけど

**デフォルトの名無しさん** · 2019/03/23(土) 19:18:48.99

過去の話をしてるのに未来の話で返されてもな

**デフォルトの名無しさん** · 2019/03/23(土) 19:22:34.86

エラーメッセージがわかりにくいなら、VC++を使うべき。

**デフォルトの名無しさん** · 2019/03/23(土) 19:26:46.49

過去のことなんかどうでもいい
未来だけ見て生きていこう

**デフォルトの名無しさん** · 2019/03/23(土) 19:30:40.79

>>613
コンセプトは最近出てきた概念じゃないぞ
C++11が0xとか呼ばれてた頃から言われてた話

**デフォルトの名無しさん** · 2019/03/23(土) 21:03:26.04

>>614
vcはバグだらけで使い物にならない

**デフォルトの名無しさん** · 2019/03/23(土) 21:40:53.85

>>598
嫌なら実体化しなければ良いんじゃ…
仮にFooのインスタンスを生成したとしても、Foo::InsertItem()を呼ばなければFoo::InsertItem()は実体化されないはず…

**デフォルトの名無しさん** · 2019/03/23(土) 22:45:17.73

今思えばC++0xのコンセプト案はいろいろ酷かったな
あのまま入らなくてよかった

**デフォルトの名無しさん** · 2019/03/23(土) 23:17:20.42

コンセプトマップだとかコンセプトを満たすことを自己申告しなきゃいけないだとか
傍目に見て正直意味わからんかった

**デフォルトの名無しさん** · 2019/03/23(土) 23:51:54.14

Axiomはとてもいいと思ったが、消えたのだな・・・

**デフォルトの名無しさん** · 2019/03/23(土) 23:53:58.85

>>588
フーリエ変換の係数みたいなものは実行時には定数だけれど、事前に計算式で計算しておきたくはなる。
でもまあ普通に考えればビルド構成の問題だわな。
なぜコンパイラに無理やり突っ込むかと言えばまともにビルド構成を考える能力がないからっていうね。

**デフォルトの名無しさん** · 2019/03/23(土) 23:54:27.98

axiomさんは契約アトリビュートとして生まれ変わったのだ

**デフォルトの名無しさん** · 2019/03/24(日) 00:40:12.28

C++の複雑さはオナニー的なところがある

**デフォルトの名無しさん** · 2019/03/24(日) 01:38:06.52

コンパイル時に決定してることしかできないなら、コード書く必要あるか？
1+2しか計算できないんだろ、2+3の結果が欲しかったら、コンパイルし直しｗ

**デフォルトの名無しさん** · 2019/03/24(日) 02:05:19.27

狭義のアルゴリズム（有限ステップで終わる）を記述する分にはそれで十分
無限ループを含む手続きを記述したかったら無限再帰すればええ
と考えればメモリが無限にあればコンパイルが終わるまでに任意の処理ができる

**デフォルトの名無しさん** · 2019/03/24(日) 02:07:46.29

定数型プログラミングでコンパイラを創ろう。

**はちみつ餃子** ◆8X2XSCHEME · 2019/03/24(日) 02:16:59.70

コンパイル時に畳み込んで定数にした方がよいかどうかはコンパイラの最適化で頑張って欲しい話で、
それで足りない、さらなるチューニングが必要なときの記法が統一的だったらうれしいねっていう程度の話じゃないかな。
普段からそんなにコンパイル時計算を意図したりはしないよ。

**デフォルトの名無しさん** · 2019/03/24(日) 02:25:38.27

P言語でC++中間コードを生成するスクリプトを書けばいいじゃない。
swigみたいな。
カスタムコンパイルやカスタムビルドはそのためにある。

**デフォルトの名無しさん** · 2019/03/24(日) 02:33:38.88

ヤック、レック相当をメタプログラミングで実現することができるのではないか。
スピリチュアルな方向性ではなく。

**はちみつ餃子** ◆8X2XSCHEME · 2019/03/24(日) 02:50:04.22

PEG 相当のことを実現しているライブラリとしては Qi があるけど、
Yacc みたいに LALR をやってくれるのは知らないなぁ。
出来るのかな？

**デフォルトの名無しさん** · 2019/03/24(日) 03:13:50.09

>>628
個人的には、メタプログラミングで定数値のパラメータ作るのに構造体でメタプログラミングする必要が無くなったのはconstexprにかわしゃ

**デフォルトの名無しさん** · 2019/03/24(日) 03:16:29.85

ごめん間違って送信した、
constexprに感謝してるw
あとビット演算とか整数値の計算する関数もconstexprつけときゃテンプレートパラメータに渡せるし
高速化は二の次だと個人的には思ってる

**デフォルトの名無しさん** · 2019/03/24(日) 03:23:59.40

STLあっての私たち。

**デフォルトの名無しさん** · 2019/03/24(日) 03:30:27.34

STLって遅くて使えなくない

**デフォルトの名無しさん** · 2019/03/24(日) 03:32:16.98

確かに遅いね。

**デフォルトの名無しさん** · 2019/03/24(日) 03:37:58.18

テンプレートメタプログラミングは永久機関。

**デフォルトの名無しさん** · 2019/03/24(日) 05:16:54.07

STLにCStringを入れて欲しい

**デフォルトの名無しさん** · 2019/03/24(日) 05:41:26.93

嫌です

**デフォルトの名無しさん** · 2019/03/24(日) 05:51:09.56

男なら全部char[]

**デフォルトの名無しさん** · 2019/03/24(日) 06:09:08.25

sprintf_s()と_cuntof(array)がどこの環境でも標準で使えるならchar[]も悪くない選択肢ではある

**デフォルトの名無しさん** · 2019/03/24(日) 08:26:16.35

boost spiritはコンパイルが糞遅いし、何か間違えると何処が原因かさっぱりわからんし、
実用には程遠かったな。テンプレートでここまでできるという一発芸的な。

**デフォルトの名無しさん** · 2019/03/24(日) 09:20:48.36

テンプレートメタプログラミングって元々はアンチパターンとして提出した例だったんだけどね。
本当に愚者というのは度し難いというか。。

**デフォルトの名無しさん** · 2019/03/24(日) 09:21:19.70

CStringをこの世から完全に消し去って欲しい
せめてbasic_stringと互換性のあるインターフェースを持たせてからフェードアウトして欲しかった

**デフォルトの名無しさん** · 2019/03/24(日) 09:23:21.86

CStringT::Format()系関数は、sprintf()系関数を2回呼ぶので冗長。
利用バッファサイズを事前に指定できないことが原因。

**デフォルトの名無しさん** · 2019/03/24(日) 09:27:05.22

>>643
だから天井人がお前ら下々に分かるレベルにしてやるよってことで様々な改良が加えられてるんだよなあ
それでもまだ分からないとなったらどこまでレベルを下げればいいんだってなって頭抱えちゃうよ

**デフォルトの名無しさん** · 2019/03/24(日) 10:26:38.44

CStringってなに？

**さまよえる蟻人間** ◆T6xkBnTXz7B0 · 2019/03/24(日) 10:31:25.24

CStringは、Windows用のC++のクラスライブラリ、MFCの文字列クラス。

**デフォルトの名無しさん** · 2019/03/24(日) 10:45:02.21

>>645
冗長って言われても一度パースしないと必要サイズはわからんからしょうがないだろ
まあ1KB程度のバッファー持って処理中に足りなくなったらパースし直すとかでもいいとは思うが

**デフォルトの名無しさん** · 2019/03/24(日) 10:47:24.53

便利さを求めるならなんかフレームワーク使えよ
軽さを求めるならchar配列でゴリゴリ書けよ

**デフォルトの名無しさん** · 2019/03/24(日) 10:52:30.12

性能も利便性も標準より低いフレームワークさん・・・

**デフォルトの名無しさん** · 2019/03/24(日) 11:06:49.87

>>649
素直にsnprintf()のように最大バッファサイズを指定するオーバーライド関数を追加すべきでしょ。
CStringT::Format()関数を呼び出す側は、あらかじめサイズを予想できる状況にあることが多い。

**デフォルトの名無しさん** · 2019/03/24(日) 11:52:04.64

>>646
天上人のつもりなのがそもそもの問題なんだがな。。
最近の標準委員は明らかにプログラム組んでなさそうな連中が決めてるような感じだし。
c++なんかは顕著だがそういうマウントの取り合いによる新機能拡充が一番現場を疲弊させてるっていうことを
なんでわからんかね。

**デフォルトの名無しさん** · 2019/03/24(日) 11:52:05.81

MFCが出来た頃のstd::stringはそりゃまあ酷いシロモノだったんじゃ
あまりCStringを責める気にはなれん

**デフォルトの名無しさん** · 2019/03/24(日) 11:55:08.60

いくらリリース時に型がすべて決まってるはずと言ったってDRYはそれなりに大事だろ

**デフォルトの名無しさん** · 2019/03/24(日) 12:01:45.23

>>653
標準化委員会の議論とまともに論理的な議論のできない5chを同一レベルで扱うなよ

**デフォルトの名無しさん** · 2019/03/24(日) 12:05:08.13

しかし旧石器時代にSTLが作られたことを思うと、オーパーツと言ってよいのではないか。
数学的に洗練されたこの美しさ。
古代人は数学が得意だったのでは。

**デフォルトの名無しさん** · 2019/03/24(日) 12:09:06.38

>>654
まあそれはある
でもstlが普及してからも互換性が全くないまま終了したので負債になってしまったのは悲しい

**デフォルトの名無しさん** · 2019/03/24(日) 12:09:46.38

それにしてもiostreamの醜さよ。

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

>>652
C言語に毒された老害かよw
欲しけりゃ自分で実装しろよ

**デフォルトの名無しさん** · 2019/03/24(日) 12:46:47.36

>>648

>>647 はそんなの百も承知で書いてると思うが

**さまよえる蟻人間** ◆T6xkBnTXz7B0 · 2019/03/24(日) 12:47:06.43

<strsafe.h>を知らない人が多いのか？

**デフォルトの名無しさん** · 2019/03/24(日) 12:55:26.69

>>657
そうか？
全然そんなことないと思うぞ

MFCのはもっと酷かったからそれよりマシかなって程度

**デフォルトの名無しさん** · 2019/03/24(日) 12:57:50.08

>>660
簡単だから当然、実装はする。
下手にバッファサイズを測る手間をかけるくらいならバッファサイズを渡せという話。
バッファサイズを渡せば速度が通常のCStringT::Format()より30～40%ほど改善するんだから、公式でも採用してもらいたいという趣旨。

**デフォルトの名無しさん** · 2019/03/24(日) 13:07:04.34

gccとvcでは vsnprintf()の挙動が違う。va_listの内部実装が異なるからだろう。
gccの場合、同じva_listを使ってvsnprintf()を複数回呼び出すと…

**デフォルトの名無しさん** · 2019/03/24(日) 13:26:03.77

続きはCMのあとで！！

**デフォルトの名無しさん** · 2019/03/24(日) 13:42:15.21

>>664
どうせ弄るなら、va_listとか旧世紀の遺物つかわなくても、templateの可変長引数を使って１から作り直した方が良い。

**デフォルトの名無しさん** · 2019/03/24(日) 13:44:34.27

va_listを他の関数に渡した後で、va_startで初期化せずに再使用するのは未定義動作
何が起きても文句は言えないしコンパイラごとに挙動が違うのは当然というものだ

**デフォルトの名無しさん** · 2019/03/24(日) 13:55:44.10

string_viewはどうだろうか？

**デフォルトの名無しさん** · 2019/03/24(日) 13:56:05.38

>>668
それはつまり、gccではCStringT::FormatV()相当の実装が困難ということを意味している。
バッファサイズを自分で渡す仕様が最適解ということ。

**デフォルトの名無しさん** · 2019/03/24(日) 13:59:03.55

>>664
そんな旧態依然のインターフェイス欲しけりゃ自分でやれやってことだろ

**デフォルトの名無しさん** · 2019/03/24(日) 14:13:40.53

それにつけてもostringstreamの醜さよ。

**デフォルトの名無しさん** · 2019/03/24(日) 14:40:52.61

streamサイコー<<<<<<

**デフォルトの名無しさん** · 2019/03/24(日) 14:51:51.49

clang++使ってみたら、std::async使えない・・・
さすが、フリーだな

**デフォルトの名無しさん** · 2019/03/24(日) 14:52:15.46

clang++使ってみたら、std::async使えない・・・
さすが、フリーだな

**デフォルトの名無しさん** · 2019/03/24(日) 16:30:35.16

>>672
何処がひどいですか？