03/02/23 16:27
>>417
ありがとう。ええと、それですと
void A(int);
void A(string);
int B(int);
string B(string);
bool B(bool);
A(B("XXX"));
で、Aの時点で、期待する型はintとstring
Bに入ったら、boolでは無いことがわかる。しかしintとstringのどちらかは区別が付かない
ということで両方を候補に入れ、Bもやはりintとstringを期待して、
で定数の解析に入ったら、定数はstring
Bに戻って、B(string)が選ばれたことが確定
Aに戻って、A(string)が選ばれたことが確定
こんなイメージ…ですよね？合ってます？