cpp 中的条件运算符是否评估两个操作数？答案

【问题标题】：Does conditional operator in cpp evaluate both operands?cpp 中的条件运算符是否评估两个操作数？
【发布时间】：2020-11-19 11:49:39
【问题描述】：

https://leetcode.com/problems/decode-ways/

我的解决方案：

class Solution {
public:
    int numDecodings(string s) {
        vector<int> dp(s.size(),0);
        
        for(int i=0;i<s.size();i++)
        {
            int x =0;
            if(s[i]-'0'>0 && s[i]-'0'<=9)
            {
                x = (i>0)? dp[i-1]:1;
            } 
            if(i!=0 && stoi(s.substr(i-1,2))<=26)
            {
                cout<<i<<" ";
                x = x + (i>=2 )? dp[i-2]:1;
            }    
            dp[i] =x;
        }
        return dp[s.size()-1];
       
    }
};

运行此代码会出现此错误

Line 924: Char 34: runtime error: addition of unsigned offset to 0x602000000010 overflowed to 0x60200000000c (stl_vector.h)
SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior /usr/bin/../lib/gcc/x86_64-linux-gnu/8/../../../../include/c++/8/bits/stl_vector.h:933:34

我的问题是条件运算符在 (i>=2 ) 中评估 dp[i-2] 吗？ dp[i-2]:1; 即使条件不满足？用普通的 if-else 替换它解决了我的问题。

【问题讨论】：

我建议您尝试使用您显示的代码创建一个minimal reproducible example，然后您可以轻松地使用调试器来单步调试代码并自己查看任何问题。为了帮助您，我还建议您简化复杂表达式，以便您可以看到复杂表达式中使用的中间值，以及使用if-else 而不是条件表达式。
嗯，不。 condition ? true_result() : false_result() 只评估true_result() 或false_result() 之一。但是您的问题是对运算符优先级x = x + (i >= 2) ? dp[i-2] : 1 的误解，它等同于x = (x + (i >= 2)) ? dp[i-2] : 1 - 请注意额外的一对()。如果 x 最初为非零，则 dp[i-2] 可以评估为 i < 2，这显然不是您所期望的 - 并且会给出未定义的行为。

标签： c++ if-statement operators conditional-operator

【解决方案1】：

这一行：

x = x + (i>=2) ? dp[i-2] : 1;

可能没有按照您的意愿行事。三元?:的优先级低于+，所以语句实际上变成了：

x = (x + (i>=2)) ? dp[i-2] : 1;

这意味着您正在检查x + (i>=2) 的trueness，而不仅仅是i>=2。这就是为什么即使i < 2 也可以计算dp[i-2]，因为整个表达式x + (i>=2) 仍然可能为真。

您可以通过自己添加显式括号来解决此问题：

x = x + ((i>=2) ? dp[i-2] : 1);

或者像这样重写它：

x += i>=2 ? dp[i-2] : 1;

【讨论】：

如果x 的值小于-1，该条件也将评估为真。虽然，诚然，OP 的代码永远不会有 x 否定。

【解决方案2】：

此行的评估方式并非您认为的那样。 x = x + (i>=2 )? dp[i-2]:1;

根据this page，加法运算符的优先级高于三元运算符。将三元表达式放在括号中应该会提供所需的行为。

x += ((i>=2 ) ? dp[i-2] : 1); 完成工作。即使我更改了运算符以删除多余的x，括号仍然是必需的。

【讨论】：

删除x += ((i>=2 ) ? dp[i-2] : 1); 中的附加括号不会导致任何问题。代码运行良好。
很高兴知道。我有很多次仍然需要它们。我想我使用它们是因为在我的脑海中我仍然将三元运算符视为两个运算符。