为什么条件/三元运算符的结果可能与某些 c++ 类型中的 if-else 语句不同？

Question

这是我的代码：

// defs
string untrusted_ip;
const char * get_env (const char *name, const char *envp[]);
string User::getCommonname(void);
void User::setStatusFileKey(string);
void User::setKey(string);

// 1
                if( get_env ( "untrusted_ip", envp ) !=NULL ){
                    newuser->setStatusFileKey(newuser->getCommonname() +string ( "," ) + untrusted_ip + string ( ":" ) + get_env ( "untrusted_port", envp ) );
                    newuser->setKey(untrusted_ip + string ( ":" ) + get_env ( "untrusted_port", envp ) );
                }else{
                    newuser->setStatusFileKey(newuser->getCommonname() +string ( "," ) + untrusted_ip);
                    newuser->setKey(untrusted_ip);
                }
                
// 2
                newuser->setStatusFileKey(newuser->getCommonname() +string ( "," ) + untrusted_ip + get_env ( "untrusted_ip", envp ) != (const char*)NULL ? string ( ":" ) + get_env ( "untrusted_port", envp ) : string("") );
                newuser->setKey(untrusted_ip + get_env ( "untrusted_ip", envp ) != (const char*)NULL ? string ( ":" ) + get_env ( "untrusted_port", envp ) : string("") );

修改自https://salsa.debian.org/debian/openvpn-auth-radius/-/blob/master/radiusplugin.cpp#L446

块 1 和 2 似乎相等，但 1 按预期工作，而 2 不工作（似乎没有执行，因为未触发断点）。

这两个代码块之间的核心区别是什么？

此外，只有条件运算符中的get_env ( "untrusted_ip", envp ) != (const char*)NULL可以通过编译，而if( get_env ( "untrusted_ip", envp ) !=NULL )是可能的。 原因是什么，这两个问题有关联吗？

PS 我正在使用 gcc/g++ 10.2.1

Answer 1

这是一个运算符优先级问题。

加法运算符+的优先级高于!= ，因此表达式等效于（稍微重写以使其更易于理解）：

auto result = newuser->getCommonname() +string ( "," ) + untrusted_ip + get_env ( "untrusted_ip", envp );

newuser->setStatusFileKey(
    result != (const char*)NULL 
    ?
    string ( ":" ) + get_env ( "untrusted_port", envp )
    :
    string("") );

这是许多情况之一，其中条件表达式不仅使代码更难阅读和理解，而且还会出错。

if else版本更容易阅读、理解和更正。