Visual Studio 2005 中的 x64 va_list

Question

我有一个类非静态成员函数，它有可变参数，我在 64 位 Windows 上使用 64 位运行时的 Visual Studio 2005 进行编译。

void Class::Foo(void* ptr,...)
{
    va_list args;
    va_start(args,ptr);
    float f=va_arg(args,float);
    va_end(args)
}

我期待一个浮点数，我将一个浮点数传递给函数。但是当我调试时 - 我没有得到我已经通过的浮动。事实上 - 它被函数接收为 64 位双精度！我必须这样做：

double d=va_arg(args,double);
float f=(float)d;

现在我知道Win64喜欢在寄存器中传递参数，并在执行此操作时转换浮点数，va_list不应该始终在堆栈上吗？

根据 大多数参考文献，我应该有一个干净的堆栈，其中充满了传递的内容参数。

我的问题是：这是正确的行为还是错误？如果这是一个错误，是我的错误还是微软的错误？

我定义了 WIN64 和 _M_AMD64，而 WIN32 未定义。

Answer 1

我这里没有C++标准，但在这件事上它遵循C标准。 C99，6.5.2.2p7 说

如果表达式表示
被调用函数的类型是
包括一个原型，参数是
隐式转换，就像通过
分配给类型
相应的参数，取
每个参数的类型为
其声明的不合格版本
类型。 a 中的省略号表示法
函数原型声明符原因
参数类型转换之后停止
最后声明的参数。这
默认参数促销是
对尾随参数执行。

因此，对于您的浮点参数，将执行“默认参数升级”。
这些在 p6 中定义为

如果表达式表示
被调用函数的类型是
不包括原型，整数
每个都进行促销活动
参数和具有类型的参数
float 提升为 double。这些
被称为默认参数
促销活动。 [...]

因此，所有浮点数在传递给椭圆时都会转换为双精度。 VS 显然在这方面符合要求，并且错误存在于您的代码中，该代码不应在 va_arg 中使用 float 。

Answer 2

看起来这是一个 VC++ x64 bug。

修复：va_arg 函数在 Visual C++ 2005 应用程序中返回不正确的值