If the viable set is nonempty and there is no best match, then the call is ambiguous.

• 如果可行集合非空且没有最佳匹配，则调用有二义性。