gpt4 book ai didi

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

转载 作者:行者123 更新时间:2023-12-04 12:19:16 25 4
gpt4 key购买 nike

我有两个重载函数,唯一的区别是最后一个参数,在一种情况下是 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.htypedef char* va_list; .但是,我仍然不明白这里的大多数情况下重载决议是如何工作的。
  • 重载解析如何在 va_list 之间工作和省略号?
  • 我怎么调用Func(0)解决省略号重载?
  • 最佳答案

    ...只有在没有隐式转换序列到 va_list 时才会选择重载.换句话说,省略号在重载解析期间始终具有最低的优先级。
    自定义va_list未指定,通常您观察到的结果将不可移植:Func(x)可以拨打 va_list重载或省略号重载取决于实现。唯一的异常(exception)是 Func(x)将始终调用 va_list过载时 x本身有类型 va_list (可能是 const 限定的)。
    如果,事实上,va_listchar*在您的系统上,可能会发生空指针转换:换句话说,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根本。您可以改为使用两个单独的功能。

    关于c++ - va_list 和省略号之间的重载分辨率因字面值而异。为什么?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/67793445/

    25 4 0
    Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
    广告合作:1813099741@qq.com 6ren.com