va_list和省略号之间的重载分辨率因字面值而异。为什么？
我有两个重载函数，唯一的区别是最后一个参数，一种情况是 a va_list，另一种情况是省略号。我注意到选定的重载是不同的，这取决于最后一个参数是整数文字 0 还是 1。
我制作了一个简化的工作示例，如下所示，我正在尝试各种输入并发现其他一些奇怪的场景：
#include <iostream>
#include <cstdarg>
void Func(va_list /*arg*/)
{
std::cout << "void Fun(va_list);" << std::endl;
}
void Func(...)
{
std::cout << "void Fun(...);" << std::endl;
}
int main()
{
std::cout << "Func(0);" << " >> ";
Func(0);
std::cout << "Func(1);" << " >> ";
Func(1);
std::cout << "Func(-1);" << " >> ";
Func(-1);
std::cout << "Func('0');" << " >> ";
Func('0');
std::cout << "Func(' ');" << " >> ";
Func(' ');
std::cout << "Func("");" << " >> ";
Func("");
std::cout << "Func("Dummy");" << " >> ";
Func("Dummy");
std::cout << "Func(nullptr);" << " >> ";
Func(nullptr);
std::cout << "Func(0*1);" << " >> ";
Func(0*1);
std::cout << "Func(0.0);" << " >> ";
Func(0.0);
std::cout <<"int i = 0; Func(i);" << " >> ";
int i = 0;
Func(i);
std::cout <<"i = 1; Func(i);" << " >> ";
i = 1;
Func(i);
static const int j = 0, k = 1;
std::cout << "static const int j = 0; Func(j);" << " >> ";
Func(j);
std::cout << "static const int k = 1; Func(k);" << " >> ";
Func(k);
}
使用 C++14在cppshell 中编译此代码会得到以下输出：
Func(0); >> void Func(va_list);
Func(1); >> void Func(...);
Func(-1); >> void Func(...);
Func('0'); >> void Func(...);
Func(' '); >> void Func(va_list);
Func(""); >> void Func(...);
Func("Dummy"); >> void Func(...);
Func(nullptr); >> void Func(va_list);
Func(0*1); >> void Func(va_list);
Func(0.0); >> void Func(...);
int i = 0; Func(i); >> void Func(...);
i = 1; Func(i); >> void Func(...);
static const int j = 0; Func(j); >> void Func(...);
static const int k = 1; Func(k); >> void Func(...);
如您所见，一些调用解析为va_list重载，而大多数调用解析为省略号重载。
我相信这种怪异可能来自这样va_list一个事实，即通常是char*. 在 Visual C++ 中，我发现它定义vadefs.h为typedef char* va_list;. 但是，我仍然不明白这里的大多数情况下重载决议是如何工作的。
va_list和省略号之间的重载解析如何工作？- 我怎么能打电话
Func(0)解决省略号重载？
回答
在...如果没有隐式转换序列超载将仅被选择va_list。换句话说，省略号在重载解析期间始终具有最低的优先级。
由于va_list未指定的定义，通常您观察到的结果将不可移植：Func(x)可以va_list根据实现调用重载或省略号重载。一个例外是，当它自己有类型（可能是 const 限定的）时，它Func(x)总是会调用va_list重载。xva_list
如果，事实上，va_list是char*在系统上，则可能会发生一个空指针转换：换句话说，0可以隐式转换到类型的空指针char*。没有其他整数值可以隐式转换为指针值。
从 C++14 开始， even' '不应隐式转换为指针值。空指针转换仅适用于值为零的整数文字。（虽然' '有整数类型，但它不是整数文字。）这个特定版本的 Visual Studio 已经过时了。
至于您的问题“我如何调用 Func(0) 来解析省略号重载？”，好吧，您无法更改重载解析的规则。您可以做的是将省略号重载更改为模板：
template <class T>
void Func(T x);
这保证va_list只有在参数是va_list（可能是 const 限定的）时才会调用重载，并且在所有其他情况下，模板将被调用，因为它会给出完全匹配。然而，一个问题仍然存在：您可能有一些char*变量，您认为它不是 a va_list，并且将Func其作为参数调用可能会调用va_list重载，因为va_list is char*（在您的系统上）。没有办法阻止这种情况。也许你根本不应该超载Func。您可以改为使用两个单独的功能。