三元运算符将 class-扩展宏应用于两个操作数

Question

我使用 Microsoft Visual C++ 2010 和 Windows 7.

我有 DataDecoder class 来解码一些数据。在这里：

template< typename T >
class DataDecoder
{

private:

    T lpData;

public:

    DataDecoder() { lpData = NULL; }
    DataDecoder( T lpSource ) { lpData = (T)DecodeStaticData(lpSource); }
    ~DataDecoder() { if(lpData) free(lpData); }
    operator T() { return lpData; }
};

这个 class 完美运行。我还有这个宏：

#define _STR_A(x) DataDecoder<char*>(x)

它也很完美。但是我的代码中还有另一种结构：

LPVOID lpAdditionalData = NULL;
LPSTR lpTemp = lpAdditionalData ? _STR_A("SOMEDATA") : NULL;

此时奇怪的事情开始发生了。首先，我在 DecodeStaticData() 中得到 NULL 参数。但事实并非如此：_STR_A() 仅适用于有效参数。然后我决定看看反汇编：

0011843A  cmp         dword ptr [lpAdditionalData],0  
00118441  je          WinMain+172h (118462h)  
00118443  push        offset string "SOMEDATA" (124068h)  
00118448  lea         ecx,[ebp-0C2Ch]  
0011844E  call        DataDecoder<char *>::DataDecoder<char *> (117770h)  
00118453  or          dword ptr [ebp-0C14h],1  
0011845A  mov         dword ptr [ebp-0C34h],eax  
00118460  jmp         WinMain+18Ch (11847Ch)  
00118462  push        0  
00118464  lea         ecx,[ebp-0C28h]  
0011846A  call        DataDecoder<char *>::DataDecoder<char *> (117770h)

如您所见，class 构造函数在两种情况下都被调用，对于 "SOMEDATA" 和 NULL 也是如此！

这是正确的行为吗？我该如何处理？

更新： 我打开了对文件的预处理，这是我看到的：

LPSTR lpTemp = lpAdditionalData ? DataDecoder<char*>("SOMEDATA") : 0;

所以，这不是预处理器问题。

Answer 1

与任何表达式一样，涉及条件运算符的表达式必须具有类型。表达式 c ? a : b 不能神奇地具有在运行时间根据 c 的值更改的类型 - a 的类型有时，[= 的类型13=] 其他时候。相反，如果 a 和 b 是不同的类型，则有复杂的规则通过尝试将一个强制转换为另一个的类型来确定整个表达式的最终类型。

在您的情况下，DataDecoder<char*>(x) 不能被强制转换为 NULL 的类型，但是 NULL 可以通过用户被强制转换为 DataDecoder<char*> -定义转换 DataDecoder<char*>(NULL)。这就是你观察到的。

三元运算符将 class-扩展宏应用于两个操作数

Ternary operator applies class-expanding macro to the both of operands

c++

class

visual-c++

macros

ternary-operator