C++中a?:b连写形式运算符的含义是什么？

你看到的a ?: b写法，属于GNU C/C++扩展的简写语法，不属于ISO标准C++的规定内容。

核心等价逻辑 #

这种写法和标准三元运算符a ? a : b的业务逻辑完全等价，但存在关键差异：左操作数a只会被求值一次。
对应你给出的代码片段，实际执行流程是：

• 首先调用avdInfo_getSystemImagePath(m_avd)，拿到返回的char*类型路径指针
• 对这个指针做真值判断：非空指针对应逻辑真，空指针（NULL/nullptr）对应逻辑假
• 如果判断为真，直接用这个指针构造外层的std::string，不会执行后续的avdInfo_getSystemInitImagePath函数
• 如果判断为假（也就是第一个函数返回了空指针），才会调用avdInfo_getSystemInitImagePath(m_avd)，用它的返回值构造std::string

关键注意事项 #

• 兼容性限制：该语法仅能在支持GNU扩展的编译器（如GCC、Clang）下正常编译；如果使用MSVC，或是在GCC/Clang中开启严格标准模式（禁用GNU扩展），会直接触发语法报错
• 求值安全优势：如果按照标准三元运算符手写等价逻辑avdInfo_getSystemImagePath(m_avd) ? avdInfo_getSystemImagePath(m_avd) : avdInfo_getSystemInitImagePath(m_avd)，在第一个函数返回非空值时，会重复调用两次avdInfo_getSystemImagePath，既浪费性能，也可能因为函数的副作用引发逻辑问题，?:的简写形式完全避免了这个问题
• 真值判定规则：逻辑判断的标准和普通三元运算符完全一致，即左操作数隐式转换为bool后的值决定选择哪个分支，对于你代码里返回char*的两个函数，刚好匹配业务场景中「优先读取主系统镜像路径，读取失败（返回空）就回退到初始化镜像路径」的需求

内容的提问来源于stack exchange，提问作者Gatonito