并集浮动和整数

Union float and int

本文关键字：整数      更新时间：2023-10-16

我有点困惑。在开发一个基于预定义参数的函数时，根据其类型将所需的确切参数传递给sprintf函数，我发现了非常奇怪的行为（类似于"This is%f%d example"，typeFloat，typeInt）。

请查看以下剥离的工作代码：

struct Param {
 enum { typeInt,    typeFloat   } paramType;
 union {
    float f;
    int i;
 };
};
int _tmain(int argc, _TCHAR* argv[])
{
 Param p;
 p.paramType = Param::typeInt;
 p.i = -10;
 char chOut[256];
 printf( "Number is %dn", p.paramType == Param::typeInt ? p.i : p.f );
 printf( "Number is %fn", p.paramType == Param::typeInt ? p.i : p.f );
 return 0;
}

我的预期输出是printf( "Number is %dn", p.paramType == Param::typeInt ? p.i : p.f );

Number is -10

但它实际上打印了

Number is 0

我在初始化Param p之后放置了一个断点，尽管p.paramType被定义为typeInt，但if的实际输出是-10.0000。检查p.f会得到一些未定义的值，而p.i也会显示-10。但观察窗口中的p.paramType == Param::typeInt ? p.i : p.f评估为-10.000000。

我添加了第二个printf，将其打印为浮动，现在输出为

Number is 0
Number is -10.000000

那么为什么会发生这种情况呢？这可能是Visual Studio中的一个错误吗（我使用的是VS2012）？

更新：

std::cout<< (p.paramType == Param::typeInt ? p.i : p.f);

给出了-10的正确值。

这是因为表达式p.paramType == Param::typeInt ? p.i : p.f的结果类型始终是float（根据paramType的不同，只有值不同），但第一个格式字符串需要一个整数。

以下内容应该如您所期望的那样工作：

printf("Number is %dn", (int)(p.paramType == Param::typeInt ? p.i : p.f));

cout版本为您提供了预期的输出，因为插入的表达式的类型（float）是自动推导的，因此它将其格式化为浮点。它本质上与您的第二个printf相同。

问题有两个方面。首先，它与printf()有关。不要在C++代码中使用printf()。原因与第二个问题有关。printf()不具有类型安全性。它不知道你给它什么类型。

第二个原因是类型的工作方式。三元if语句总是返回一个float，因为这是最合适的类型。由于int可以隐式转换为float，因此不会发生任何"坏"情况（除非您要打开各种"额外"警告）。所以p.i被转换为float，但你告诉printf()期待int。因此，会出现未定义的行为。您的程序不会崩溃，但它不会给您带来您所期望的结果。

相关文章：