为什么函数含糊不清？

Question

在g ++（v4.7.3）上编译示例代码时，出现错误：

$ g++ -std=c++11 te2b.cc
te2b.cc: In function ‘int main(int, char**)’:
te2b.cc:17:19: warning: ISO C++ says that these are ambiguous, even though the worst conversion for the first is better than the worst conversion for the second: [enabled by default]
te2b.cc:10:6: note: candidate 1: void notify(std::string, int)
te2b.cc:7:6: note: candidate 2: void notify(const char*, ...)

以下是示例代码。 不明白为什么歧义：编译器应该知道将main()中的notify()调用映射到第一个声明。 void notify(const char *fmt, ...) 。

#include <vector>
#include <iostream>
#include <unordered_map>
#include <stdarg.h>
using namespace std;
char notifyBuf[0x100000] = "\x06\x00\x00\x00" "notify""s";
void notify(const char *fmt, ...) {
    //....
}
void notify(string s, int maxSize = 0) {
    if (maxSize && (maxSize < s.size())) {
        s.erase(maxSize);
    }
    notify("%s\n", s.c_str());
}
int main(int argc, char *argv[]) {
    notify("%5d ", 89);    
    return 0;
}

有任何想法吗？ 谢谢。

Answer 1

§13.3.3[over.match.best] / p2：

给定这些定义，如果对于所有参数i，ICS _i （F1）不是比ICS _i （F2） 更差的转换序列 ，则可行函数F1被定义为比另一个可行函数F2更好的函数，然后

^（1.3） - 对于某些参数j，ICS _j （F1）是比ICS _j （F2）更好的转换序列，或者，如果不是，[...]

给定函数调用notify("%5d ", 89); 和两个重载：

void notify(const char*, ...);   // F1
void notify(std::string, int);   // F2

编译器为F1的参数提供以下隐式转换序列：

• ICS ₀ （F1） - 标准转换序列（数组到指针转换）
• ICS ₁ （F1） - 省略号转换序列

以及F2的参数的以下隐式转换序列集：

• ICS ₀ （F2） - 用户定义的转换序列（通过构造函数）
• ICS ₁ （F2） - 标准转换序列（身份转换）

因为ICS ₀ （F1）优于ICS ₀ （F2），但反过来，ICS ₁ （F2）优于ICS ₁ （F1），编译器无法在两者之间进行选择。*

---

*§13.3.3.2[over.ics.rank] / p2：

比较隐式转换序列的基本形式（如13.3.3.1中所定义）：

- 标准转换序列（13.3.3.1.1）是比用户定义的转换序列或省略号转换序列更好的转换序列，并且

- 用户定义的转换序列（13.3.3.1.2）是比省略号转换序列（13.3.3.1.3）更好的转换序列。