选择重载函数以实现当前范围内的函数声明与函数调用中提供的参数的最佳匹配。 如果找到合适的函数，则调用该函数。此上下文中的“Suitable”具有下列含义之一：
找到完全匹配项。
已执行不重要的转换。
已执行整型提升。
已存在到所需参数类型的标准转换。
已存在到所需参数类型的用户定义的转换（转换运算符或构造函数）。
已找到省略号所表示的参数。
编译器为每个参数创建一组候选函数。 候选函数是这样一种函数，其中的实参可以转换为形参的类型。
为每个参数生成一组“最佳匹配函数”，并且所选函数是所有集的交集。 如果交集包含多个函数，则重载是不明确的并会生成错误。 对于至少一个参数而言，最终选择的函数始终是比组中的所有其他函数更好的匹配项。 如果不是这样（如果没有清晰的胜者)，则函数调用会生成错误。
考虑下面的声明（针对下面的讨论中的标识，将函数标记为 Variant 1、Variant 2 和 Variant 3）：
Fraction &Add( Fraction &f, long l ); // Variant 1
Fraction &Add( long l, Fraction &f ); // Variant 2
Fraction &Add( Fraction &f, Fraction &f ); // Variant 3
Fraction F1, F2;
请考虑下列语句：
F1 = Add( F2, 23 );
前面的语句生成两个集：
集 1：其第一个参数的类型为 Fraction 的候选函数 |
集 2：其第二个参数可转换为类型 int 的候选函数 |
|---|---|
Variant 1 |
Variant 1（可使用标准转换将 int 转换为 long） |
Variant 3 |
|
集 2 中的函数是具有从实参类型到形参类型的隐式转换的函数，在这些函数中，有一种函数的从实参类型到其形参类型的转换的“成本”是最低的。
这两个集的交集为 Variant 1。 不明确的函数调用的示例为：
F1 = Add( 3, 6 );
前面的函数调用生成以下集：
集 1：其第一个参数的类型为 int 的候选函数 |
集 2：其第二个参数的类型为 int 的候选函数 |
|---|---|
Variant 2（可使用标准转换将 int 转换为 long） |
Variant 1（可使用标准转换将 int 转换为 long） |
请注意，这两个集之间的交集为空。 因此，编译器会生成错误消息。
对于参数匹配，具有 n 个默认参数的函数将视为 n+1 个单独函数，并且每个函数均具有不同数量的参数。
省略号 (...) 用作通配符；它与任何实参匹配。 如果您未极其谨慎地设计重载函数集，这可能导致产生许多不明确的集。
备注
重载函数的多义性无法确定，直到遇到函数调用。此时，将为函数调用中的每个参数生成集，并且可以确定是否存在明确的重载。这意味着，多义性可保持在您的代码中，直到它们由特定函数调用引发。