c++ - va_list 和省略号之间的重载分辨率因字面值而异。为什么？

Question

我有两个重载函数，唯一的区别是最后一个参数，在一种情况下是 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('\\0');" << " >> ";
    Func('\0');
    
    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);    
}

在 cppshell 中编译此代码使用 C++14 给出以下输出:

Func(0); >> void Func(va_list);
Func(1); >> void Func(...);
Func(-1); >> void Func(...);
Func('0'); >> void Func(...);
Func('\0'); >> 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)解决省略号重载？

Answer 1

...只有在没有隐式转换序列到 va_list 时才会选择重载.换句话说，省略号在重载解析期间始终具有最低的优先级。
自定义va_list未指定，通常您观察到的结果将不可移植:Func(x)可以拨打 va_list重载或省略号重载取决于实现。唯一的异常(exception)是 Func(x)将始终调用 va_list过载时 x本身有类型 va_list (可能是 const 限定的)。
如果，事实上，va_list是 char*在您的系统上，可能会发生空指针转换:换句话说，0 可以隐式转换为类型 char* 的空指针。 .没有其他整数值可以隐式转换为指针值。
从 C++14 开始，甚至 '\0'不应隐式转换为指针值。空指针转换仅适用于值为零的整数文字。 (尽管 '\0' 具有整数类型，但它不是整数文字。)此特定版本的 Visual Studio 已过时。
至于您的问题“我如何调用 Func(0) 来解析省略号重载？”，好吧，您无法更改重载解析的规则。您可以做的是将省略号重载更改为模板:

template <class T>
void Func(T x);

这保证了 va_list仅当参数为 va_list 时才会调用重载(可能是 const 限定的)并且在所有其他情况下，模板将被调用，因为它将给出完全匹配。然而，一个问题仍然存在:你可能有一些 char*变量，您认为它不是 va_list ，并调用 Func以它为参数可以调用 va_list过载自 va_list 是 char* (在您的系统上)。没有办法阻止这种情况。也许你不应该重载 Func根本。您可以改为使用两个单独的功能。