重载、可变参数函数和布尔类型

Question

以下程序可以正常编译并按预期工作。它的输出是：

1
2

#include <stdio.h>

class Foo
{
public:
  void Bar(const char* b, ...) { printf("1\n"); };
  void Bar(int a, const char* b, ...) { printf("2\n"); };
};

int main()
{
  Foo foo1;
  foo1.Bar("Test", "xx", 1, 2);
  foo1.Bar(1, "xx", "xx", 2, 2);
}

现在，如果我将第二个 Bar 函数的 int 参数更改为 bool 并将 foo1.Bar(1, "xx", "xx", 2, 2); 更改为 foo1.Bar(true, "xx", "xx", 2, 2);，那么以下行将无法编译并且我得到错误：'Foo::Bar': 2 overloads have similar conversions：

  foo1.Bar("Test", "xx", 1, 2);

没有编译的整个程序：

#include <stdio.h>

class Foo
{
public:
  void Bar(const char* b, ...) { printf("1\n"); };
  void Bar(bool a, const char* b, ...) { printf("2\n"); };
};

int main()
{
  Foo foo1;
  foo1.Bar("Test", "xx", 1, 2);  // error: 'Foo::Bar': 2 overloads have similar conversions
  foo1.Bar(true, "xx", "xx", 2, 2);
}

我不明白为什么第二种情况有歧义。

编辑

但是如果指针隐式转换为bool，为什么下面会编译？

#include <stdio.h>

class Foo
{
public:
  void Bar(const char* b) { printf("1\n"); };
  void Bar(bool a) { printf("2\n"); };
};

int main()
{
  Foo foo1;
  foo1.Bar("Test");
  foo1.Bar(true);
}

Answer 1

当您将"Test", "xx", 1, 2 与const char*, ... 匹配时，第一个参数的转换序列具有精确匹配等级，第二个到第四个是省略号转换序列。所以（完全匹配，省略号，省略号，省略号）。

当您将"Test", "xx", 1, 2 与bool, const char*, ... 匹配时，第一个参数的第一个转换序列具有转换等级；第二个是完全匹配，第三个和第四个是省略号转换序列。换句话说，（转换、精确匹配、省略号、省略号）。

精确匹配胜过转换；一切都胜过省略号（请参阅[over.ics.rank]）。因此，我们在这里有一个所谓的纵横交错的情况，其中一个函数对一个参数有更好的转换顺序，而另一个函数对另一个参数有更好的转换顺序。由于一个函数优于另一个函数的必要（但不是充分）条件是没有一个转换序列比另一个函数（[over.match.best]/1）的转换序列差，所以这两个函数都不比另一个更好。

Answer 2

这很好：

#include <stdio.h>

class Foo
{
public:
  void Bar(const char* b, ...) { printf("1\n"); };
  void Bar(bool a, ...) { printf("2\n"); };
};

int main()
{
  Foo foo;
  foo.Bar("Test");
}

这样不好：

#include <stdio.h>

class Foo
{
public:
  void Bar(const char* b, ...) { printf("1\n"); };
  void Bar(bool a, char another, ...) { printf("2\n"); };
};

int main()
{
  Foo foo;
  foo.Bar("Test", 'c');  // Ambiguous!
}

在第一种情况下，Bar() 的第一个版本显然更好。但是在第二种情况下，就不是那么清楚了，因为第一个版本对参数 1 的匹配更好，而第二个版本对参数 2 的匹配更好。

剩下的问题是：为什么使用 'int' 而不是 'bool' 可以避免歧义？答案是指针可以隐式转换为 bool 而不是 int。