[過去ログ]
C++相談室 part165 (1002レス)
上
下
前
次
1-
新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
754
:
はちみつ餃子
◆8X2XSCHEME (ワッチョイ e932-exlI)
03/17(月)09:55
ID:xz+hBXXy0(1/3)
AA×
外部リンク:timsong-cpp.github.io
外部リンク:timsong-cpp.github.io
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
754: はちみつ餃子◆8X2XSCHEME (ワッチョイ e932-exlI) [sage] 2025/03/17(月) 09:55:35.41 ID:xz+hBXXy0 オーバーロード解決のルールは大雑把には ・候補の中で実引数と完璧に型が一致するものがあればそれが選ばれる。 ・完璧な一致がないが暗黙の型変換を適用したら一致するという候補があればそれが選ばれる。 ということになってる。 実際には変換の中にも優先順位がごちゃごちゃあってかなり複雑なんだけど……。 で、組み込みの単項 + が受け取りうる型は何かというと算術型、スコープなし列挙型、またはポインタ型の三つ。 https://timsong-cpp.github.io/cppwp/n3337/expr.unary#op-7 キャプチャなしのクロージャ型は関数ポインタへの変換関数を持っている。 つまり暗黙の型変換が可能。 https://timsong-cpp.github.io/cppwp/n3337/expr.prim.lambda#6 クロージャからポインタへ暗黙の型変換をすれば単項 + に一致するからそれが選ばれる。 そういうメカニズムだと私は理解してるんだけど間違いがあったら誰か指摘してね。 http://mevius.5ch.net/test/read.cgi/tech/1698705458/754
オーバーロード解決のルールは大雑把には 候補の中で実引数と完に型が一致するものがあればそれが選ばれる 完な一致がないが暗黙の型変換を適用したら一致するという候補があればそれが選ばれる ということになってる 実際には変換の中にも優先順位がごちゃごちゃあってかなり複雑なんだけど で組み込みの単項 が受け取りうる型は何かというと算術型スコープなし列挙型またはポインタ型の三つ キャプチャなしのクロージャ型は関数ポインタへの変換関数を持っている つまり暗黙の型変換が可能 クロージャからポインタへ暗黙の型変換をすれば単項 に一致するからそれが選ばれる そういうメカニズムだと私は理解してるんだけど間違いがあったら誰か指摘してね
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 248 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.036s