『コンパイラ・スクリプトエンジン』　相談室 2

『コンパイラ・スクリプトエンジン』　相談室 2 at TECH

418:413
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)が選ばれたことが確定

こんなイメージ…ですよね？合ってます？

次ページ

続きを表示

1を表示