C++相談室 part152

**デフォルトの名無しさん** · 2020/07/12(日) 13:42:20.13

https://mevius.5ch.net/test/read.cgi/tech/1589424805/

**デフォルトの名無しさん** · 2020/08/17(月) 02:55:30.59

というか他人が思ったことに対してダウト～っていうセンスに痺れるわ

**デフォルトの名無しさん** · 2020/08/17(月) 05:56:47.89

>>102
strcmp的なやつとは話にならねえ

**デフォルトの名無しさん** · 2020/08/17(月) 07:50:57.12

strcmp的なやつって笑える表現だな

a="templateにはまって一日つぶす";
b="templateがロクに使えなくて一日つぶす";
ここでstrcmp(a,b)が偽になる以上どういう意図のなのか説明が必要だろ

＞言語の基本をしっかり固める
とはまったく逆の事をしてることに気づけ

**デフォルトの名無しさん** · 2020/08/17(月) 08:11:11.90

へーえ、おまえさんとこではstrcmp(a, b)がint(0)を返すのか
ユーザーがあまりにも馬鹿過ぎると標準ライブラリまでバグるとは知らんかったわ

**デフォルトの名無しさん** · 2020/08/17(月) 16:39:05.57

strcmpてのは三値を返すんだから0が真で非０が偽

◆QZaw55cn4c · 2020/08/17(月) 19:38:46.36

>>107
普通は零が偽、非零であればなんでも真、なんですけど

**デフォルトの名無しさん** · 2020/08/17(月) 19:41:49.25

>>107
無茶苦茶言わないで、そこは「strcmp(a,b)==0が偽」の書き間違いだと認めるぐらいしようぜ。

**デフォルトの名無しさん** · 2020/08/17(月) 19:49:37.18

揚げ足とりこそC++erの本懐よ

**はちみつ餃子** ◆8X2XSCHEME · 2020/08/17(月) 20:13:14.96

strcmp を定義するのは言語仕様なんやから
あえて言語仕様と異なる用語を使うんなら
その適用範囲 (プロジェクト単位？) と共に定義を明文化するのは最低限の要求やろ。
当事者が合意した範囲内でなら一見して変な用語でも使うのは好きにすりゃええ。
たとえばハードウェアに近い部分なら負論理がソースコード上に露骨に現れることだって無いとは言いきれん。

ただそれは特殊な例を総合的に見てあえて奇妙な用語を使った方が良くなる場合にとる選択肢であって、
「三値を返すんだから」というようわからん理屈では正当化でけへんし、
言語のスレとしては許容でけへんわ。

**デフォルトの名無しさん** · 2020/08/17(月) 20:18:38.27

急にバリバリの関西弁でどないしたんや

**デフォルトの名無しさん** · 2020/08/17(月) 20:25:51.22

個人的には整数のサイズにこだわるときは
#include <cstdint>
してint8_tとか使ってるなぁ

**デフォルトの名無しさん** · 2020/08/17(月) 21:37:15.36

そもそも3値な時点でbooleanの真偽かどうか議論すること自体無意味

**デフォルトの名無しさん** · 2020/08/17(月) 22:07:28.50

真偽値じゃないものを真偽値扱いしてもエラーとして検出されない、根が深い問題なんだよな。
型が無いB言語に末代まで祟られているとも。

**はちみつ餃子** ◆8X2XSCHEME · 2020/08/17(月) 23:56:15.69

整数の暗黙の型変換はそれなりに上手くいってると思うけど
bool が整数型扱いってのがいきすぎた一般化だったのかもな。

**デフォルトの名無しさん** · 2020/08/18(火) 00:15:03.69

学術の巨大掲示板群 - アルファ・ラボ ttp://x0000.net
数学物理学化学生物学天文学地理地学
IT 電子工学言語学国語方言など

VM + ASM を書いた (C#, DX) * x86 ではない!
simulationライブラリで純粋な関数式プログラミングをする
UIライブラリ (C#, 2D) を作ったよ
連続と離散を統一した！
4Dエンジン
matrixのライブラリ
ある強力なFor関数
SQLライブラリ

VM + ASM のダウンロード
ttp://up.x0000.net/files/TSimulang.zip

**デフォルトの名無しさん** · 2020/08/19(水) 03:53:13.32

45歳こどおじ高卒無職歴約10年
10年以上前にIT系業界にいたが主にPC保守やユーザサポートをトータルしても10年くらい
コード開発の実務は30代の頃VB約3ヶ月でばっくれ
30代の頃エクセルVBA約3ヶ月でばっくれ
両方超ブラックだった
なんか疲れて実家帰ったらいつの間にか10年経ってた

暇なんで趣味で勉強してみた
2年前くらいに3ヶ月ほどjavaとpythonとc++
各言語のpaizaでC問題全部回答B問題10問くらい解けたからもうやってない
ガチで就職探したけど当然無くて諦めて勉強もやめてた

んでまた競プロサイトで練習始めたんだけど結局アルゴリズム意味不明で詰んだ感じ
暇なんで暇つぶしの惰性で練習してる感じ

こんなレベルで就職あるかな？
無職10年は適当にバイトしてたとかでごまかすコミュ力はあると自負してるつもり
こんな新人来られてもやっぱ迷惑だよね
てか俺が採用担当だったら絶対に採用しない

死んだほうが良いかな？
転生してやりなおしたい

**デフォルトの名無しさん** · 2020/08/19(水) 06:19:51.21

マ板でどうぞ

**デフォルトの名無しさん** · 2020/08/20(木) 05:04:54.05

if (!strcmp(a, b)) goto hell;

**デフォルトの名無しさん** · 2020/08/20(木) 11:16:03.05

hell終わるど

**デフォルトの名無しさん** · 2020/08/23(日) 16:03:07.43

例えば、
x<1 || y>3
と書いた場合、人間なら、この < や > は、大小比較をする比較演算子だと
思うでしょうが、コンパイラにとっては、1 || y を実引数とするところの
template展開だと勘違いする可能性があります。
どうやってこれを区別しているのでしょうか？

**デフォルトの名無しさん** · 2020/08/23(日) 16:05:12.45

どちらかというと
< <>, <> >
みたいなときに
<<>, <>>
って書くと期待通りに動かないのが面倒だと思う

**デフォルトの名無しさん** · 2020/08/23(日) 16:08:14.77

x がtemplate名であるかどうかを検査するのでしょうか？

**デフォルトの名無しさん** · 2020/08/23(日) 16:18:37.58

pure C で、構文ツリーを作りたいとき、出現してきた名前トークンがどう宣言されて
いるかを知らなくても、構文ツリーを作れてしまいます。
ところが、もし、xがtemplateの名前として宣言されているかどうかを知らなければ、
< が、比較演算なのが、template引き数の始まりを示す括弧なのかの区別が
付かないのであれば、そうはいかなくなります。

pure C の場合:
　構文ツリーを作る ---> ツリーの中にある中の名前の宣言を調べ、種類を見る。
で済んだところが、C++の場合、下手すれば、
　構文ツリーを作る際に、出現した名前の宣言も逐次、調べる。
ということになります。

**デフォルトの名無しさん** · 2020/08/23(日) 16:40:37.67

その場合、トークンとしての'<'が比較演算子なのかテンプレートの括弧なのかは区別しないで
構文解釈の結果として文脈によって決定するのが常套手段だろうね。
https://github.com/antlr/grammars-v4/blob/master/cpp/CPP14.g4

>ところが、もし、xがtemplateの名前として宣言されているかどうかを知らなければ、
>< が、比較演算なのが、template引き数の始まりを示す括弧なのかの区別が
>付かないのであれば、そうはいかなくなります。

そうならない仕様にはしているはず。
どうしても区別がつかない部分は前にtemplateキーワードを置く必要があるとか。

**デフォルトの名無しさん** · 2020/08/23(日) 17:11:53.76

>>126
>その場合、トークンとしての'<'が比較演算子なのかテンプレートの括弧なのかは区別しないで
>構文解釈の結果として文脈によって決定するのが常套手段だろうね。
ここは、x<・・・> の x がtemplate名かどうかを区別できるところの
意味解析の段階ではなく、本当に構文解析の段階ですか？

**デフォルトの名無しさん** · 2020/08/23(日) 17:21:37.10

xがtemplate名かどうかは識別子の辞書を見たらﾜｶﾙ
辞書の中身はその時点までのソースコードの内容と
言語規格上の定義（形式言語ではなく、自然言語で書かれた仕様）に依存するから
言語の「意味」に依存するところがあるからこれを意味解析に含めるかどうかは議論の余地があるが、
普通のコンパイラ屋のマインドとしては
識別子の辞書を見てxが（例えば）template名であると判明したら
xがtemplate名xという「字句」であるという前提の下に字句解析した結果を文法パーサに入力するので
構文解析の範疇だと思われ

**デフォルトの名無しさん** · 2020/08/23(日) 17:23:59.45

>>128
昔読んだコンパイラの本には、これまでに行われた宣言の情報を参照するのは、
意味解析だ、とあったと記憶しています。
逆に、それが意味解析でないのなら、何が意味解析になるのでしょうか。
「解析」ですから、コード生成では有りませんし。

**デフォルトの名無しさん** · 2020/08/23(日) 17:26:01.74

それよか
std::vector<std::string>>　x("Hello");
と書いたら
std::vector<std::string> >　x("Hello");
とコンパイラに解釈させるという方がよっぽど凶悪
これこそ構文の意味を知らねば「>>」という単一の字句なのか、「>」という字句2個なのか
定まらないという意味で字句解析→文法解析の流れをぶち壊しにしてくれる

**デフォルトの名無しさん** · 2020/08/23(日) 17:28:17.74

>>129
構文解析、でええやん？
>>130みたいな凶悪なケースと違って
辞書の参照、というただ1点のチートだけやれば、
BNFで形式的に完全に表せる世界に持ち込める

**デフォルトの名無しさん** · 2020/08/23(日) 17:29:06.23

訂正orz
誤： >>130みたいな凶悪なケース
正： >>129みたいな凶悪なケース

**デフォルトの名無しさん** · 2020/08/23(日) 17:31:18.68

訂正2、。n_
>>130　正：
std::vector<std::vector<std::string>>　x("Hello");
と書いたら
std::vector<std::vector<std::string> >　x("Hello");
とコンパイラに解釈させる方がよっぽど凶悪

**デフォルトの名無しさん** · 2020/08/23(日) 17:39:05.76

>>131
C++の場合、辞書の参照も簡単では有りません。
namespaceや、クラススコープの名前などが複雑に絡み、
スコープ演算子を使った、修飾名などがあり、
Q1::Q2::Q3::name<xxx>
のような場合がありますが、
ややこしいのは、実際に template を展開してみないことには、nameがどういう識別子
なのかも分からない事があることです。例えば、
aaa<xxx>::bbb<yyyy>::name < 5, 5 > y

と有った場合、name が変数名なのか、template 名なのかによって、
< が template 引き数の始まりなのか、比較演算子なのかが決まる可能性があります。

ただ、この場合、> の後に名前トークン y が来ていますが、template展開だと
すると、この並びは恐らく、必ず間違いであるはずで、比較演算子でしか
合法にはならないと思います。

**デフォルトの名無しさん** · 2020/08/23(日) 17:40:50.98

いつもの人か

**デフォルトの名無しさん** · 2020/08/23(日) 17:49:20.95

>>127
どのテンプレートが使われるかの判断は意味解析だろうけど、テンプレートの使用か
比較式かの区別は構文解析段階で確定するはずだがね。
で、両方に解釈できるケースは基本的に非templateとみなすことになっていて、そこで
テンプレートを使用したいならばtenplateキーワードを追加する。

**デフォルトの名無しさん** · 2020/08/23(日) 18:14:03.07

>>136
>両方に解釈できるケースは基本的に非templateとみなすことになっていて、
それだと構文解析時のBNFの当てはめ時点でバックトラックしているように読めてしまうま、
そのような方式は、テンプレート定義が入れ子になったときバックトラック回数が指数関数的になりかねないから近畿

実際はそんなことはせずに、「name」というテンプレートの定義が辞書にあれば、「name」とかかれたソースコードの部分が
<テンプレート名>という字句として文法パーサに入力される、という方式で実現しており、
字句解析→文法解析、の一本道が保たれているはず（つまりは>>128のやり方

>>134
辞書の参照が難しい、と仰せなのですが
識別子のスコープを辞書の階層化で表現するのは常套手段であってコンパイラの教科書にも書いてある
（と思う）のでそんなに難しい話とはみなすことはできない（希ガス

**デフォルトの名無しさん** · 2020/08/23(日) 18:17:01.07

※ 個人の感想です

**デフォルトの名無しさん** · 2020/08/23(日) 19:31:26.00

<=>演算子はどうなん

**デフォルトの名無しさん** · 2020/08/23(日) 20:00:57.91

面白そうな議論だけど忙しくて参加できない（泣

**デフォルトの名無しさん** · 2020/08/23(日) 21:32:54.31

C++の文法は複雑すぎて構文解析と意味解析を分離できないのは有名な話
例によってBoostさんがそれを最大限に悪用してるのも有名な話
https://dechimal.hatenadiary.com/entry/20090216/1234793122

**デフォルトの名無しさん** · 2020/08/24(月) 09:07:54.59

構造体へのファイル読み込みについて、悩んでいます。

今まで#pragma pack(x)を使用して、構造体にパディングが入らないようにしていたのですが、これ以外にパディングが入らないようにする方法はあるのでしょうか？

移植性の面からpragma禁止、かつ暗黙アラインメント禁止(自分でパディングを入れる)という指示がありました。

**デフォルトの名無しさん** · 2020/08/24(月) 09:12:28.05

メンバ１つずつ個別に入出力
C++はそれがしやすい

**デフォルトの名無しさん** · 2020/08/24(月) 09:14:54.89

エンディアン問題は１バイトずつ入出力することで解決できる

**デフォルトの名無しさん** · 2020/08/24(月) 10:43:50.34

自分でパディングを入れる方が、明確。
解釈の余地がなくなるから

構造体へのファイル読み込みって、
構造体には、文字列のポインターがあるだけだろ

可変サイズの文字列の実メモリは、構造体内には確保しないだろ

**デフォルトの名無しさん** · 2020/08/24(月) 10:50:48.29

そもそもの話の流れの趣旨とは無関係
struct hoge {
char mojiretsu[0];
} hage;

で malloc するときに
struct hoge *p = (struct hoge *)malloc(sizeof(struct hoge) + length + 1);

**デフォルトの名無しさん** · 2020/08/24(月) 11:20:42.08

>>142
バイト単位で読み込んで自分でメンバーに格納
てか移植性云々なら入出力部分を切り出しとけよと思うが…

**デフォルトの名無しさん** · 2020/08/24(月) 11:25:15.19

C++的には構造体の中の物理的な配置に依存しない設計をするのが本筋
ostream& operator << (ostream&, your_struct const&);
istream& operator >> (istream&, your_struct&);

**デフォルトの名無しさん** · 2020/08/24(月) 11:51:04.72

ありがとうございます。とても参考になります。
パッと見て理解できないこともありますが、一つ一つ勉強します。

「入出力部分を切り出し」については、知識不足でイメージもできない状態なのですが、入社したらそうなっているのかも？と心構えというか、理解しておきたいと思います。

**デフォルトの名無しさん** · 2020/08/24(月) 12:08:08.35

>>142
自分でパディングいれろ、という指示なんだから自分パディング入れればいいんでしょ？
方法は明確じゃん
まぁお前の質問の仕方が悪いってことね

まずやることはコンパイラのパディングのルールを確認してどういう条件で暗黙パディングが入るか理解すること
理解できたら自分でダミーのメンバ追加して暗黙パディングが入らないようにする
gcc/clangだったら-wpaddedで暗黙パディングが検出できるはず
念のためstatic_assertとoffsetofを使ってすべてのメンバーで期待通りのオフセットであること保証しておくといい
おまけでstatic_assertとsizeofで期待通りの構造体のサイズであることも

こういうのが多数あるんだったら、別途ツール使って構造体のソースは自動生成するようにすべき
あとpragma packは(レイアウトによって)実行時にオーバーヘッドが生じるってことも勉強しとくといい

**デフォルトの名無しさん** · 2020/08/24(月) 12:32:35.65

すみません。質問を正しく説明できるように気をつけます。

私が質問したかったのは、「パディングの入れ方」ではなく、「そもそもパディングが入らないようにする方法はないだろうか」ということでした。
パディングの入れ方については既に理解しているのですが、入るとやや都合が悪い状況です。
「暗黙アラインメント禁止(自分でパディングを入れる)」と書いてしまったことで質問内容がブレてしまい、良くなかったと反省しております。

また、詳しくアドバイスをしていただきありがとうございます。

**デフォルトの名無しさん** · 2020/08/24(月) 13:32:36.10

#pragma pack(1)
も禁止？

**デフォルトの名無しさん** · 2020/08/24(月) 14:16:40.36

>>151
「そもそもパディングが入らない方法」がpragma packであって、それが禁止されてんでしょ？
言われた通りに明示的にパディング入れな
何か方法があったとしてもチーム開発しているときに、妙な小細工は嫌われる

**デフォルトの名無しさん** · 2020/08/24(月) 14:23:21.21

「#pragmaは禁止」とあったので、そうだと判断しています。

もしこれが必ずしも#pragma pack(1)も禁止というわけではないなら、一度担当者に確認してみようと思います。

**デフォルトの名無しさん** · 2020/08/24(月) 14:33:52.11

>>153
ありがとうございます。
そのようにしようと思います。

様々なアドバイスをいただき、私の考え方や疑問に思う部分が誤っていたと感じました。
これからはもっと広い視野で考えられるように頑張ります。

**蟻人間** ◆T6xkBnTXz7B0 · 2020/08/24(月) 14:38:21.49

#include <pshpack1.h>

**デフォルトの名無しさん** · 2020/08/24(月) 20:32:07.30

環境依存しない方法なんてないよ
int, short, longのバイト数すら環境依存なんだから
環境依存が嫌ならC++使うこと自体が間違い

**デフォルトの名無しさん** · 2020/08/24(月) 20:39:16.80

#include <cstdint>知らなさそうだね

**デフォルトの名無しさん** · 2020/08/25(火) 00:20:38.83

明示的にパディング入れる方がかえって小細工になったりして…
パディング前：
struct Foo {
　int16_t m_someWord;
　// ここに明示的にパディングを入れる
　int32_t m_someDoubleWord;
　int16_t GetSomeWord() const { return m_someWord; }
};

明示的パディング後(1)：
struct Foo {
　int32_t m_someWordＩｎDWord; // 32 bit境界に隙間無くパディング入ったやたー！
　int32_t m_someDoubleWord;
　int16_t GetSomeWord() const { return (m_someWordInDoubleWord >> 16); } // OOPS!　欲しい16 bitの位置がホストのエンディアン次第で変わるorz
};

明示的パディング後(2)：
struct Foo {
　uint8_t m_someWordＩｎBytes[4]; // 32 bit境界に隙間無くパディング入ったやたー！今度はしくじらないのですよ
　int32_t m_someDoubleWord;
　int16_t GetSomeWord() const { return ((uint16_t)m_someWordInBytes[1] << 16) | (uint16_t)m_someWordInBytes[0]; } // |||ＯＴＬ
};

**デフォルトの名無しさん** · 2020/08/25(火) 07:35:37.57

int16_tが欲しいのに他の型使ったらそりゃ。

**デフォルトの名無しさん** · 2020/08/25(火) 09:32:18.95

逆だな。
C言語を使うといくらでも環境依存のものを作れそうな気持ちにさせる

**デフォルトの名無しさん** · 2020/08/25(火) 09:50:55.63

環境非依存て聞こえはいいけど色んな機種の機能の積集合でできることだかんな

**デフォルトの名無しさん** · 2020/08/25(火) 10:21:10.89

Unix文化とWindows文化の違いがあって、
Unixでは、OSよりもC言語によって、ハードウェアの違いを吸収する思想だった。
この思想では、バイナリ互換ではなく、ソース互換を目指し、
異なるOSやCPUに対しても、Cのソースを再コンパイルして対応しようとした。

一方、Windows文化では、最初から互換性のあるCPUを使うことが前提であり、
OSがCPU以外のハードウェアの違いを吸収することで、バイナリレベルで互換性を
維持する思想であった。
この思想では、異なるOSやCPUをターゲットにすることは想定されていない変わりに、
ハードウェアの違いは、互換性のある(単一の)OSをハードウェアに乗せることに
よって吸収しようとした。

なので、GNUやgccなど、Unix文化からきたプログラムでは、徹底的に#ifなどで
場合分けして互換性を維持しようとしているのに対し、Windowsから来たプログラム
ではそのような場合分けはしていない。

また、Unix文化でも、#if によってソースを場合分けすることで対応していることが
ほとんどで、何の場合分けも無いソースで対応できている訳ではない。

**デフォルトの名無しさん** · 2020/08/25(火) 11:00:39.10

[要出典]

**デフォルトの名無しさん** · 2020/08/25(火) 11:11:45.82

htons とか ntohl とか最強

**デフォルトの名無しさん** · 2020/08/25(火) 12:41:01.28

C++を検索するときの技で上手い方法ありますか？
ググる、アマゾン、図書館での検索など
勉強しようとしても検索できないです

**デフォルトの名無しさん** · 2020/08/25(火) 12:45:40.95

コンパイラーのエラー文で投げたら大抵その言語で釣れると思うけどなぁ

**デフォルトの名無しさん** · 2020/08/25(火) 12:56:51.05

ぐぐるときは
hoge -ruby -java -javascript -php -sejuku -techacademy -teratail

**デフォルトの名無しさん** · 2020/08/25(火) 13:08:39.95

−ヤフーゴミ袋

**デフォルトの名無しさん** · 2020/08/25(火) 13:10:33.24

>>166
検索して出てきた情報を理解するための基礎的な力が無いんじゃね？
ググれば何でも即解決できるわけではないよ
愚直にC++の入門書を買って順を追って系統立てて、C++の基本的な概念や用語を理解していく必要がありそう
もしかすると、C++より前に他の言語でそれをやってプログラミングの基本的なところから土台を踏み固めておかないとダメかも

**デフォルトの名無しさん** · 2020/08/25(火) 13:25:38.78

「勉強」がどのレベルなのか分からないとなんとも言えない
直感で言うとC++の入門書なんでもいいから一冊買ってやりなさい

**はちみつ餃子** ◆8X2XSCHEME · 2020/08/25(火) 13:56:10.27

>>166
俺も >>170 に同意だわ。
基礎的な考え方が身に付いてないと個別の説明を見ても意味わからん。
検索するにしたって検索に適当な語句を選択するだけの知識は要るしな。

用語は大事。
概念を分割して定義を積み重ねるのが体系化だし、
定義は用語の定義として現れることが多い。
用語がわかると色々わかる。

**デフォルトの名無しさん** · 2020/08/25(火) 14:26:43.50

「C++」で検索ができないんだが
PCの設定がダメなのかな
これから情報を得るために検索くらいしたいんだけど
本買いたくても出てこない
図書館へは行ったけどC++は貸出中で予約も数件入ってるらしい
+のフォントが変なのか？

**デフォルトの名無しさん** · 2020/08/25(火) 14:29:17.40

>>168
-qiitaが抜けてる

**はちみつ餃子** ◆8X2XSCHEME · 2020/08/25(火) 14:32:45.54

>>173
俺の手元だと、グーグルでもアマゾンでも C++ で検索できてるがなぁ……。
ダブルクォートで囲って "C++" にしたらより確実に C++ が含まれるページが検索される。

**デフォルトの名無しさん** · 2020/08/25(火) 14:43:38.93

twitter は、C++ や C# を検索できない。"C++" や "C#" としても駄目。
なので、cpp OR cplusplus とすると良いと言われているが、
個人的には、これは、twitter を作った人の C++ や C# を弱まらせるための策略
だと思っている。

**デフォルトの名無しさん** · 2020/08/25(火) 14:49:20.21

なんか流れにしれっとキチガイ混じっとるな

**デフォルトの名無しさん** · 2020/08/25(火) 14:50:58.98

アメリカはそういう国で、
彼らは、自分のためなら何をやっても文句は言わせない的な心持でいる。

**デフォルトの名無しさん** · 2020/08/25(火) 14:57:06.54

>>176
ありがと
cplusplusで検索できました

**デフォルトの名無しさん** · 2020/08/25(火) 15:16:32.29

勘違いで御高説垂れてた奴ｗｗｗｗ

**デフォルトの名無しさん** · 2020/08/25(火) 20:28:52.64

何故かyahooでリアルタイム検索ではC++で検索できる

**デフォルトの名無しさん** · 2020/08/25(火) 23:48:37.58

シープラプラとか
チンチンブラブラみたいな名前付けやがって
たぬき砲でいいよなもう

**デフォルトの名無しさん** · 2020/08/25(火) 23:56:18.23

Cよりもちょっと背伸びした意識高い系狙ってみましたみたいなキモいネーミングセンス

**デフォルトの名無しさん** · 2020/08/26(水) 00:15:37.56

>>183
ちょっとどころじゃねーよ馬鹿
お前みたいな低能にはC++は無理

**デフォルトの名無しさん** · 2020/08/26(水) 00:16:50.63

あーキモい(ﾟ〇ﾟ)キモい

**はちみつ餃子** ◆8X2XSCHEME · 2020/08/26(水) 01:00:49.72

キーッ！もういい！ (駄洒落)

**デフォルトの名無しさん** · 2020/08/26(水) 01:32:11.23

CRTP(奇妙に再帰したテンプレートパターン)ってどんなときに使うの？
template <class Derived>
struct Base {
static void interface() {
...
Derived::static_interface();
...
}
};
struct Hoge : Base<Hoge> {
static void static_interface() { ... }
};
通常の継承とは依存関係が逆になってるというのはわかるけど
具体的にどんなケースで便利なのかいまいちピンとこない．．．

**デフォルトの名無しさん** · 2020/08/26(水) 02:37:52.45

速度重視のときじゃないかな。
ATL/WTLがCRTP使ってると思ったけど。
メリットとデメリットを比べるとデメリットが上回ってるような気がするな。
ぼくは構文解析器の合成にCRTPを使いましたが、合成の頻度が非常に少ないので、使った感じです。

**デフォルトの名無しさん** · 2020/08/26(水) 02:49:00.89

仮想関数の代わりにCRTPを使うと呼び出しコストが無くなる・・・的な使い方で、便利にはならないと思う。

というより、めんどくさくなるだけ。

**デフォルトの名無しさん** · 2020/08/26(水) 07:05:25.59

なるほどどうしてもパフォーマンスが気になるときに使うものって感じですかね

**デフォルトの名無しさん** · 2020/08/26(水) 10:20:21.13

というより、動的な多態は不要だが静的な多態が必要で、
かつ派生クラスの型情報がどうしても必要なときに使うもんだと思う
クラステンプレートであれこれやってるうちに必要な場面が出てくるかと

**デフォルトの名無しさん** · 2020/08/26(水) 11:43:55.11

学術の巨大掲示板群 - アルファ・ラボ ttp://x0000.net
数学物理学化学生物学天文学地理地学
IT 電子工学言語学国語方言など

VM + ASM を書いた (C#, DX) * x86 ではない!
simulationライブラリで純粋な関数式プログラミングをする
UIライブラリ (C#, 2D) を作ったよ
連続と離散を統一した！
4Dエンジン
matrixのライブラリ
ある強力なFor関数
SQLライブラリ

VM + ASM のダウンロード
ttp://up.x0000.net/files/TSimulang.zip

**デフォルトの名無しさん** · 2020/08/26(水) 13:51:37.26

派生クラスの型情報を静的に使うというのはstatic_castでのダウンキャストだな

**デフォルトの名無しさん** · 2020/08/26(水) 18:43:05.84

Derivedを引数にとる比較演算子を生成するみたいなことは継承だと無理そう。

**デフォルトの名無しさん** · 2020/08/26(水) 19:52:17.80

基底と言いつつテンプレートでガッツリ派生型の名前が入ってるわけで
他の派生型を持つ基底を一括してコンテナに入れるとかできないしあまり意味を感じないな

**デフォルトの名無しさん** · 2020/08/26(水) 23:36:52.30

そもそもポリモ目的でやるもんじゃないでしょ
基底クラスは結局全部別モンになるわけだし
ボイラープレートコードをまとめたクラスをミックスインするときに使うもの

**デフォルトの名無しさん** · 2020/08/27(木) 06:37:57.11

>>195
basic_iosとios_baseみたいにテンプレート化する必要のある部分と不要な部分に分けるとか

**デフォルトの名無しさん** · 2020/08/28(金) 17:02:52.88

関数へのポインタが、メンバ変数に有る場合、例えば、
class CXxx {
public:
　　void (*pfn)(int a);
　　void (*pfn)(float b);
};
の様な場合、
pXxx->pfn(5);
pXxx->pfn(10.0f);
とした場合に、関数呼び出しに使われる関数ポインタが自動的に選択されるでしょうか？
つまり、関数ポインタについても、関数と同様な「オーバーロード解決」が行われますか？
そもそも、上の様なクラスは、定義時にエラーになるでしょうか？

**デフォルトの名無しさん** · 2020/08/28(金) 17:09:28.47

自分で動かしてから質問しろよ

**デフォルトの名無しさん** · 2020/08/28(金) 17:09:34.31

同じ名前のデータメンバーをふたつ定義してるからアウト

**デフォルトの名無しさん** · 2020/08/28(金) 17:26:26.84

>>198
それコンパイル通るかやってみ

**デフォルトの名無しさん** · 2020/08/28(金) 17:41:13.83

ここに質問するより少ない手数で試せるだろうに何やってんだろうね