C++相談室 part147

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

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

前スレ
C++相談室 part146
https://mevius.5ch.net/test/read.cgi/tech/1573094136/
このスレもよろしくね。
【初心者歓迎】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/ (日本語)

STLつかうと一気に実行ファイルサイズが10倍に?！

環境によるだろ。
俺はBorland-C++5.6.2に -D_RTLDLL オプションを指定して、極力
ランタイムを使用するようにして使っているが、例えばstd::vectorを
使っても使わない時と比べ10Kほどしか増えない

すげえ。ダイナミックリンクしといてファイルサイズが増えないとかいってるよ。この人。

↑え？だってお前、普通ダイナミックリンクするだろ？
"ダイナミックリンク"す・れ・ば、ファイルサイズ**増えないです**

**デフォルトの名無しさん** · 2020/01/25(土) 21:25:16.13

まぁデバッグの手法としてなくはない
ただその手のものは既存のものが腐るほどあるからそれ使った方がいい

◆QZaw55cn4c · 2020/01/25(土) 22:50:36.48

>>694
＞するしかない？
ええ、するしかないと思いますよ

>>695
＞何のために new をグローバルオーバーロードしてるの？
無論 delete と対になっているかどうかをチェックするためですよ、こういうのは自分では出来ていると思っていても時々お漏らししてしまいますからね
まあ、C++11 以降は手抜きして make_shared することを覚えてしまってずいぶんと時間が経ちましたが、それでも生ポを使うときは new/delete をオーバーロードしますね
https://mevius.5ch.net/test/read.cgi/tech/1434079972/51 line.143～150

◆QZaw55cn4c · 2020/01/25(土) 22:53:24.31

>>696
昔の borland c++ にはまさしくそのための、なんていうんだったんでしたっけ、そういうコンパイルスイッチがあって便利に使っていましたが、
今評価版を入手すると、それは clang ベースに変更されて、その機能がなくなってしまったんですよね…

◆QZaw55cn4c · 2020/01/25(土) 23:01:38.28

>>698
思い出した、bcc32 CodeGuard でしたっけ

**デフォルトの名無しさん** · 2020/01/25(土) 23:17:56.01

>>697
それなりにプログラマ経験あるんだと思ってたけどmallocの中身知らないとはね
別にメモリ確保のsyscall直接使ってもいいんだぞ
むしろnewをリプレースしたい場合ってページ単位で処理したいときとかでしょ

ちなみにこれはデバッグで使うのも有用だぞ
unmapしてるところにアクセスしたらその時点で例外で止まるから原因特定が容易
まぁそんなの自前でやる前にValgrindでも使えって話だけど

**はちみつ餃子** ◆8X2XSCHEME · 2020/01/25(土) 23:24:58.70

>>697
アプリケーションの層ではアロケータを書く機会はまずないから
やったことないのは別にいいけど、
さすがに new の本質はメモリの割り当てだってのはわかってて欲しいわ。

◆QZaw55cn4c · 2020/01/25(土) 23:28:27.92

>>700
＞それなりにプログラマ経験あるんだと思ってたけどmallocの中身知らないとはね
専ら win32api でやっているので、：：HeapAlloc(：：GetProcessHeap(), ...) とか：：HeapFree(：：GetProcessHeap(), ...) だとは考えていましたし、数年前はそう置き換えていたこともありました。

＞unmapしてるところにアクセスしたらその時点で例外で止まるから原因特定が容易
これは初耳です。よろしければ、もう少しキーワードだけでいいので羅列していただけませんか

◆QZaw55cn4c · 2020/01/25(土) 23:33:20.09

>>701
それはおそらく大丈夫だと思います

**デフォルトの名無しさん** · 2020/01/25(土) 23:36:38.54

関数で切り出すのは入出力がはっきりするというメリットはあるが
ループの内と外の依存性が高い場合に内を無理矢理関数分けすると
シグネチャに入力引数と出力引数（参照渡し）がぞろぞろ並ぶことになって
それはそれでお勧めしない
（関数の意味も不明確になりがちやし…

**デフォルトの名無しさん** · 2020/01/25(土) 23:52:12.30

>>702
そうだよwindowsならそのあたりだよ
あとVirtualAllocね

> ＞unmapしてるところにアクセスしたらその時点で例外で止まるから原因特定が容易
> これは初耳です。よろしければ、もう少しキーワードだけでいいので羅列していただけませんか

new/deleteのたびにページ単位で確保・解放するんだよ
それこそVirtualAllocで
だから重いよ
そうするとdangling pointerでヒープ壊される問題があった場合、
壊しにいったら即セグフォルで止まるからデバッガつなげれば犯人特定できる

**デフォルトの名無しさん** · 2020/01/26(日) 00:43:59.41

>>686
そんな職場は大変だぞ
構造体だからって、triviallycopyableを満たさないクラスをわざわざvoidポインタに格納して、memcpyしたり
クラスをわざわざmallocしてコンストラクタ、デストラクタ飛ばしたり
const属性をキャストでわざわざ消して値変えられたり

**デフォルトの名無しさん** · 2020/01/26(日) 01:31:21.14

ベターCなどとほざく連中がいかに馬鹿で愚かで有害かがよくわかる

**はちみつ餃子** ◆8X2XSCHEME · 2020/01/26(日) 01:32:21.70

まあそんなやつは C もまともに使えてなかったりするんだけどな。

**デフォルトの名無しさん** · 2020/01/26(日) 01:44:39.85

中途半端にc++を持ち込んで現場を荒らすやつもいるからね
>>706 の状況はそういうところで見たことある
別にc++が書けるのがえらいわけじゃない
質の良いプロダクトをきっちり仕上げられる奴がえらい
まわりがc++わからないメンバーならcで書くか、
c++が必要というなら十分にチームでトレーニング行ってからだ

**はちみつ餃子** ◆8X2XSCHEME · 2020/01/26(日) 01:48:04.74

C から段階的に学んでいける (業務を止めずに) って D&E には書いてあるけど、
今の C++ じゃもう無理だと思うわ。

**はちみつ餃子** ◆8X2XSCHEME · 2020/01/26(日) 01:48:23.93

C++ は C++ としてそこそこの訓練はいるよな。

**デフォルトの名無しさん** · 2020/01/26(日) 02:05:13.00

はちみつ餃子がでてくると、どうもこんな時間に腹が減ってきていかん

**はちみつ餃子** ◆8X2XSCHEME · 2020/01/26(日) 02:10:39.45

食えばいいじゃん。

**デフォルトの名無しさん** · 2020/01/26(日) 05:01:35.24

>>674
gotoの使い方を知らないと大変だね

**デフォルトの名無しさん** · 2020/01/26(日) 07:41:47.19

>>683
禿4を少しは見習っていただきたい。

**デフォルトの名無しさん** · 2020/01/26(日) 10:01:19.30

>>706
それは問題。
でも、STLべったりのC++は Cとの書き方の乖離が激しすぎて、もはやCの冠を被ってほしくない。

**デフォルトの名無しさん** · 2020/01/26(日) 10:06:55.53

>>714
関数切り出しできないと大変だね。(特に周りの人たちが。)

**デフォルトの名無しさん** · 2020/01/26(日) 10:47:19.67

>>716
CはCらしく、C++はC++らしく使えばよろしい
CをPascalっぽく使うやつとかすげー迷惑なのと同じ

**デフォルトの名無しさん** · 2020/01/26(日) 10:53:32.15

>>716
えっ？

　　　C#

**デフォルトの名無しさん** · 2020/01/26(日) 10:56:24.48

テンプレートメタプログラミングはC++らしいとも思うけど全然別の言語になっている気がしないでもない

◆QZaw55cn4c · 2020/01/26(日) 11:09:29.56

>>705
情報ありがとうございます
::VirtualAlloc() 系は書いてあることが難しい上に、ばっちゃの遺言「::HeapAlloc() を使え」もあって敬遠していましたが、ここで教えてもらったのもなにかの縁だからデバッグ用に試行してみようと思います

win32api の criticalsection と signal でやっていた（何かがまずくてstarvationに悩まされていました）のも
C++11 になって pthread が大幅に規格に取り込まれた以上、
C++11 の上からの mutex・cond 派に切り替えようか、とか、C++11 になってスタイル変更を考え中です

**デフォルトの名無しさん** · 2020/01/26(日) 11:32:39.48

>>701
マウント失敗乙

**デフォルトの名無しさん** · 2020/01/26(日) 11:33:18.98

>>717
ループを抜ける為に関数を分けるようなアホと一緒に組むと大変だ

**デフォルトの名無しさん** · 2020/01/26(日) 11:41:25.57

確かに大変だね
if breakしてる複合文を関数にするときにreturnとか言い出すやつは
longjmpだろうがって

**デフォルトの名無しさん** · 2020/01/26(日) 12:03:53.99

>>720
実際、別言語だと思う。
C++はtemplateや演算子のオーバーライドを使えば、ほぼ別言語をみなせるようなものを上に載せられる設計になっているので。
STLを使いまくるプログラミングの書き方だと、もはやCとは何の関連性もなくなってしまっている。

**デフォルトの名無しさん** · 2020/01/26(日) 12:09:22.76

>>723
ループ抜け出すぐらいでそんな苦労するようなコードになってるなら
関数で抜け出すのが当然だろカスが。
いくら脳みそ足らなくてもgoto擁護のために無理筋言ってるってことにそろそろ気づけ。

**デフォルトの名無しさん** · 2020/01/26(日) 12:12:08.41

どんな苦労？

**デフォルトの名無しさん** · 2020/01/26(日) 12:13:10.43

ネストするなら別のプログラムに切り分けましょう。
シェルから呼び出せばいいのです。

**デフォルトの名無しさん** · 2020/01/26(日) 12:18:30.55

>>725
もともとCってマクロで何でもやりたい放題の言語だぞ
http://www.pro.or.jp/~fuji/computerbooks/c/c.modula2.html

**デフォルトの名無しさん** · 2020/01/26(日) 12:39:03.45

>>727
｢gotoダメ！絶対！教｣の戒律を破ることじゃないかな。きっと身を裂かれるほどの苦しみなんだろうw

**デフォルトの名無しさん** · 2020/01/26(日) 12:50:28.18

いったん収まったと思ったら
また goto の話開始してて草
アスペ特融の拘りと言われても仕方がないな

**デフォルトの名無しさん** · 2020/01/26(日) 13:01:54.18

goto以外の話題を提供できないお前が悪い。

**デフォルトの名無しさん** · 2020/01/26(日) 14:36:31.44

gotoの話で叩きのめされたやつが話題を変えたいのはわかったよ(ﾆﾔﾆﾔ

**デフォルトの名無しさん** · 2020/01/26(日) 17:07:41.56

>>729
たしかにCもマクロを使えば結構何でも出来る。
だが、マクロを多用すると分かりにくくなるとも言われていたし、使い方によっては、ソースコードが全く別言語のようになってしまうことも知られていた。
それと同様の現象がSTLにおいては起きる事態になってしまっている。

**デフォルトの名無しさん** · 2020/01/26(日) 17:09:16.11

もっとマクロをリッチにしてほしい

**デフォルトの名無しさん** · 2020/01/26(日) 17:19:16.84

>>734
なってねえよ
おまえさんにはSTLがIOCCCに見えるのか

慣れの問題と言いたいがおまえさんは極端すぎ
一種の病気だ

**デフォルトの名無しさん** · 2020/01/26(日) 17:21:00.68

>>736
STLの作者は、自分では分かり易くしようとしているようでいて実際には逆に分かりにくくしてしまっている。

**デフォルトの名無しさん** · 2020/01/26(日) 17:22:57.37

STLは神がかってるけどな。
あの時代によく設計できたな。

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

>>735
自分で好きなようにプリプロセッサを実装すればいいんじゃね？

**デフォルトの名無しさん** · 2020/01/26(日) 17:25:09.27

>>737
その分かりにくいの主語は、世間一般ではなくお前個人なんだろ。

**デフォルトの名無しさん** · 2020/01/26(日) 17:33:33.23

>>739
互換性

**デフォルトの名無しさん** · 2020/01/26(日) 17:42:50.97

>>738
だよな

Cではmemsetやqsortにvoid*というリスキーなことをせざるを得なかったのを
関数テンプレートで型情報をきちんと面倒見るようにできたし
リニアサーチがない等のCライブラリの不備も解消した

そこに気付かないやつはプログラマとしての資質を問われる

**デフォルトの名無しさん** · 2020/01/26(日) 17:50:07.66

>>738, >>742
あのな、STLは設計構想から含めると十年から数十年かかってんだよ
それだけよく考え抜かれたものが優れてないわけがない
これ何回も書いたんだけどな

「最新仕様追ってる俺スゲー」したいだけの奴の希望的観測はもうこりごりだわ

**デフォルトの名無しさん** · 2020/01/26(日) 17:53:28.80

最新仕様とか書いたらSTLが最新？とか言われそうなんで先に言っとくけど
マクロ(プリプロセス時メタプログラミング)を貶してテンプレートは持て囃すのはダブスタってことなんで誤解なきよう

**デフォルトの名無しさん** · 2020/01/26(日) 17:53:53.15

ただ俺としては右辺値参照の発見にノーベル賞を授与するべきだと思うんだよな。
これ人類史上でも大きな発見じゃないかと思うんだよな。

**デフォルトの名無しさん** · 2020/01/26(日) 17:58:05.42

おれは真逆の感想
仕様が汚すぎる

**デフォルトの名無しさん** · 2020/01/26(日) 17:58:55.41

右辺値参照というよりmove全般のことね

**デフォルトの名無しさん** · 2020/01/26(日) 18:01:03.32

>>743
742だが、おまえさんは俺が何がわかっていないと言いたいんだ？
どっかの馬の骨が何回書いたかなんて興味ねえが
当たり前のことをドヤられる意味がわからんぞ

**デフォルトの名無しさん** · 2020/01/26(日) 18:05:34.93

STLにノーベル文学賞なんてオサレだと思わないか。

**デフォルトの名無しさん** · 2020/01/26(日) 18:05:38.96

>>746
同感

そもそも左辺値参照にconstをつけたら右辺値を指せるなんて
珍妙なルールが招いた禍根を何とかする苦肉の策が右辺値参照だかんな

今ふり返って見るとconstなしの左辺値参照でもテンポラリを束縛できて
それを禁止したい場合のキーワードがあればよかったんだと思う

**はちみつ餃子** ◆8X2XSCHEME · 2020/01/26(日) 18:23:11.21

>>745
互換性を失わない形で性能にも寄与するのはすごい思い付きだと私も思った。
スマートポインタが充実する方向で良くなると思っていたので、
まさか参照を区別する形でコピーを避けるとは思いもよらなかった。

だけどなぁ……。結局は後付けなんだよね。
互換性を捨てられないという制約の中ではこれ以上ない発明ではあっても、色々と不満はあるよ。
ムーブ自体は言語のコアに組み込まれた機能ではないから
ムーブ後の抜け殻をうっかりいじってもコンパイラは黙って通しちゃうし。

ムーブできるようにしようとすると実質としてはポインタの入れ替えになるから、
各クラス向けにカスタマイズしたスマートポインタを書いてるみたいなもんだ。
本来ならそんなのコンパイラの最適化で頑張ってなんとかすべきことだろ。
言語処理系の敗北の証にすら見える。

いや、良いとは思ってるんだよ。
間違いなく rvalue 参照は素晴らしい発明で、 C++ をより良くした。
でもまあいいことばかりでもないよねっていうちょっとした愚痴。

**デフォルトの名無しさん** · 2020/01/26(日) 18:23:51.73

STL使って混乱する状況てどんな時だ？

**デフォルトの名無しさん** · 2020/01/26(日) 18:26:11.67

構造体/クラスを戻り値にするっていう発想が無かった時代からのつぎはぎ拡張だから

**デフォルトの名無しさん** · 2020/01/26(日) 18:51:03.98

そもそも構造体を=でコピー出来るのが始まりだからな
配列は=でコピーできないのにな
その辺一貫性なかった>C言語

**はちみつ餃子** ◆8X2XSCHEME · 2020/01/26(日) 19:06:02.54

>>754
配列は (その先頭要素を指す) ポインタに型変換されるルールを入れてしまったので
それと辻褄の合う形には出来なかったんだと思う。

**デフォルトの名無しさん** · 2020/01/26(日) 19:07:43.07

もしCが
構造体を参照するとポインタ相当になります
引数で渡すときも&つけなくても勝手にポインタになります
コピーするときはmemcpyしてください
って仕様だったらC++はどうなってたんだろうな
色々まずいことになるのは確か

**デフォルトの名無しさん** · 2020/01/26(日) 19:09:16.84

↑ただ、モダンな言語はむしろそういう仕様なんだよな
その代わりGCがあるが

しかし、それはそれで不便なのであった

**デフォルトの名無しさん** · 2020/01/26(日) 19:23:48.53

>>744
おまえさんは
#define STR char* //と、
typedef char* STR; //の違いが
わかってなさそうに見えてしまうが
違うよな？

コンパイラでないものによる字面の読み替えと
コンパイラによる意味の読み替えを
区別するのはダブスタか？

**デフォルトの名無しさん** · 2020/01/26(日) 19:38:43.16

>>758
そういうのじゃなくて、>>734に対して>>736書いたよな？
慣れ、ってのはわからんでもないがSTLの成功にはっちゃけて何でもテンプレートでどうにかする
今の風潮は俺もどうかと思うので。
もちろんマクロでメタプログラミングするよりは遥かに楽だけど、方向性としては同じようなもんだろ

**デフォルトの名無しさん** · 2020/01/26(日) 19:41:08.78

というかVCだとプリプロセスだけ済ませたソース見れるから、
時にテンプレートよりデバッグ楽かもしれない

**デフォルトの名無しさん** · 2020/01/26(日) 19:59:37.02

>>759
質問に答えてないな
字面の読み替えは評判悪く
意味の読み替えが広く受け入れられているのは
ダブスタか？

**はちみつ餃子** ◆8X2XSCHEME · 2020/01/26(日) 20:00:29.28

マクロを殺すためにどんだけ苦労してきたと思ってんだよ。

**デフォルトの名無しさん** · 2020/01/26(日) 20:01:26.51

またマクロの話かよ
ほんとロートルばっかだなここ

**デフォルトの名無しさん** · 2020/01/26(日) 20:04:02.76

>>762
ほんこれ

**デフォルトの名無しさん** · 2020/01/26(日) 20:07:19.94

>>761
それをダブスタとは思わないし言ってもないんだが

>>762
だったら尚のこと歴史に学べよ

**デフォルトの名無しさん** · 2020/01/26(日) 20:10:54.84

>>765
744で言っているが？

**デフォルトの名無しさん** · 2020/01/26(日) 20:15:22.55

>>766
アンカーぐらいちゃんと付けろよボケ

＞そこに気付かないやつはプログラマとしての資質を問われる
これは>>734に対する発言だよな？
俺じゃなくてお前が相手の発言を矮小化してバカにしてると気付け

**デフォルトの名無しさん** · 2020/01/26(日) 20:21:38.11

>>767
734と俺の問題は
おまえさんと俺の問題とは別だ
話を逸らすな

744の発言をおまえさんは貫くのか撤回するのか
立場を明らかにせよ

**デフォルトの名無しさん** · 2020/01/26(日) 20:22:20.72

どんだけ都合のいい脳味噌してんだこいつ

**デフォルトの名無しさん** · 2020/01/26(日) 20:33:02.73

どんな脳味噌と見て貰っても結構だ

744のダブスタ発言をおまえさんは貫くのか撤回するのか
立場を明らかにせよ

**デフォルトの名無しさん** · 2020/01/26(日) 20:36:39.76

マクロとテンプレートが同じとかワロ。

**デフォルトの名無しさん** · 2020/01/26(日) 20:37:56.09

Cと違うことを理由にC++を否定する奴たまにいるけど何なん？
なんでCを使わないんだ？

**デフォルトの名無しさん** · 2020/01/26(日) 20:40:10.44

お前の都合のいい解釈(プリプロセス時ではなく型の文脈の問題までマクロでどうにかしていたのをtypedefやテンプレートに置き換える)を
そもそもダブスタとは言ってないんで貫くと取ってもらっていいが
それより>>759-760に対する回答はまだなの？

**デフォルトの名無しさん** · 2020/01/26(日) 20:43:00.84

>>771
メタプログラミングとして見るとやってることは一緒なんだが
言語としての出来不出来は別として(個人的には>>735に同意

**デフォルトの名無しさん** · 2020/01/26(日) 20:46:23.65

C言語にこそ、UnifideCallSyntax必要だと思うのだけど、入らないかねー。
関数オーバーロードと一緒に入ったらクラスなんかいらねっ。

**デフォルトの名無しさん** · 2020/01/26(日) 20:47:29.34

c++の専門家の皆さんに質問ですが

using F = int(int)

のように戻りの型(引数の型) の形式で関数型を書けるようになったのってどのc++からなの？
あとこれを書ける場所ってusingとtemplate以外にある？

**デフォルトの名無しさん** · 2020/01/26(日) 20:50:40.79

>>773
> プリプロセス時ではなく型の文脈の問題までマクロでどうにかしていた

プリプロセス以外でマクロでどうにかするって意味がわからない
よって「ダブスタとは言ってない」の意味も俺には（おそらく、ここの誰にも）通じてない

744のダブスタ発言をおまえさんは貫くのか撤回するのか
立場を明らかにせよ

**デフォルトの名無しさん** · 2020/01/26(日) 20:58:53.64

相手に嫌な思いをさせたいだけの議論は辞めろ気持ち悪い
プリプロセス時の問題に遭遇したことが無いのならお前の方が資質に欠けるし経験も足りてない
>>734の言うことも俺の言う事もそら理解出来んだろう
話にならんよ

**デフォルトの名無しさん** · 2020/01/26(日) 21:03:26.54

c++11以降において「マクロをリッチにする」ってことの代替が
テンプレート、constexpr をリッチにするって方向だろう。
正しい方向だとは思わんが、方向性なり答えはうちだしてはいる。

**デフォルトの名無しさん** · 2020/01/26(日) 21:11:06.46

それはそれとしてプリプロセス時プログラミングもやりやすくして欲しいってだけのことだよ
(現実的に叶うとは思ってないが)

**デフォルトの名無しさん** · 2020/01/26(日) 21:11:40.73

ワロリン。

**デフォルトの名無しさん** · 2020/01/26(日) 21:18:05.50

Qtみたいに独自のプリプロセッサ作ればいいのでは

**デフォルトの名無しさん** · 2020/01/26(日) 21:19:49.89

c++の専門家の皆さま教えて下さい

auto a = +[](int b) { return b;};

このaの型は何ですか？
困っているので秒速でお願いします

**デフォルトの名無しさん** · 2020/01/26(日) 21:36:53.40

>>778
間違いを認めることができない未熟者には
嫌な思いからも学ぶべき教訓があるんだよ

やめてくれえ、気持ち悪いいい、それで？
命令口調では許してやらんぞ

**デフォルトの名無しさん** · 2020/01/26(日) 21:37:51.54

私事ですまんが
明日早いんでそろそろ失礼する

**デフォルトの名無しさん** · 2020/01/26(日) 21:39:54.66

ワロタ

**デフォルトの名無しさん** · 2020/01/26(日) 21:46:54.67

よかったなｗ

**デフォルトの名無しさん** · 2020/01/26(日) 21:54:18.57

まともな反論できんのならはよ寝ろ

**蟻人間** ◆T6xkBnTXz7B0 · 2020/01/26(日) 21:59:37.91

>>783 int型。

---
君たちひまそうだね。暇だったら、こっちのソースでも見てくれないか？
https://github.com/katahiromz/ImagePocke/blob/master/ImagePocke.cpp

C++/Win32で書いてるんだけど。
ここからドロップした画像ファイルを表示可能にする予定。
画像読み込みにGDI+を使う予定。

**デフォルトの名無しさん** · 2020/01/26(日) 22:27:38.20

静かになったなw

>>789
関数ポインタ
ttps://wandbox.org/permlink/zLH8pFOt3tLJhujk

**デフォルトの名無しさん** · 2020/01/26(日) 22:46:48.37

ラムダに+をつけると関数ポインタになるなんてcppreferenceにもないけど常識なの？

**デフォルトの名無しさん** · 2020/01/26(日) 22:55:11.25

そうなんだよね
この仕様がどこで決められてるものかがよくわからない
ぐぐったら
ttps://stackoverflow.com/questions/18889028/a-positive-lambda-what-sorcery-is-this
というのが見つかってなんか built-in overload らしいんだけど
結局のところ関数オブジェクトに対する仕様がどこに書かれているのかよくわからない
でもわりとよく使ってる

**はちみつ餃子** ◆8X2XSCHEME · 2020/01/26(日) 23:01:50.07

>>791
・キャプチャしている変数がないクロージャは関数ポインタに変換可能であり、関数ポインタが必要なところでは暗黙に型変換される
・クロージャに単項 + を適用することはできない (ので関数ポインタに型変換してから解釈される)

という合わせ技によって関数ポインタになる。
(キャプチャしてる変数があるときは変換できないよ)

**デフォルトの名無しさん** · 2020/01/26(日) 23:05:52.70

関数オブジェクトには関数ポインタへの暗黙の変換が存在して
operator+(T*)がそれ自身を返すからということね

**デフォルトの名無しさん** · 2020/01/26(日) 23:09:35.82

まじで？
たまたまできるってことなのか
なんか今後使うのためらうわw