Ordre d'exécution pour un si avec plusieurs conditions

Dans une instruction if avec de multiples conditions, est le second conditionnelle exécutée que si le résultat de la première est clair?

exemple:

if(i>0 && array[i]==0){
}

Si je swap les conditions d'une erreur peut se produire pour des valeurs négatives de moi, mais de cette façon, pas d'erreur de segmentation se produit. Puis-je être sûr que cela fonctionne toujours ou ne avoir avoir à utiliser les instructions if imbriquées?

InformationsquelleAutor mrks | 2010-03-16
  1. 79

    Ce type d'évaluation est appelée de court-circuit.
    Une fois que le résultat est 100% clair, il ne veut pas continuer à évaluer.

    C'est en fait une commune de la technique de programmation.
    Par exemple, en C++, vous verrez souvent quelque chose comme:

    if (pX!=null && pX->predicate()) { bla bla bla }

    Si vous avez changé l'ordre des conditions, vous pourriez être l'invocation d'une méthode sur un pointeur null et de s'écraser. Un exemple similaire en C serait d'utiliser le terrain d'un struct lorsque vous avez un pointeur vers cette structure.

    Que vous pourriez faire quelque chose de similaire avec ou:

    if(px==null || pX->isEmpty()} { bla bla bla }

    C'est aussi l'une des raisons pour laquelle il est généralement une bonne idée pour éviter les effets secondaires dans une condition if.

    Par exemple, supposons que vous avez: 

    if(x==4 && (++y>7) && z==9)

    Si x est 4, puis y sera incrémenté indépendamment de la valeur de z ou y, mais si x n'est pas 4, il ne sera pas incrémenté à tous.

    • +1. La peine de mentionner, une exception à des effets secondaires dans une condition if est la vérification d'erreur les valeurs de retour: if (function_that_returns_neg_on_error(param1, param2) < 0) { perror("function"); return -1;}
    InformationsquelleAutor Uri
  2. 30

    Les opérateurs && et || garantir que la partie gauche de l'expression sera entièrement évalué (et tous les effets secondaires appliquée) avant le côté droit est évalué. En d'autres termes, les opérateurs introduisent un point de séquence.

    En outre, si la valeur de l'expression peut être déterminé à partir de la lhs, rhs n'est pas évalué. En d'autres termes, si vous avez une expression comme x && y, et x prend la valeur 0 (faux), alors la valeur de l'expression est fausse, indépendamment de y, alors y n'est pas évalué.

    Cela signifie que les expressions comme x++ && x++ sont bien définies, depuis && introduit un point de séquence.

    InformationsquelleAutor John Bode
  3. 16

    De projet 3485 (n3485.pdf) clairement indiqué que

    5.14 Logique ET l'opérateur [expr.journal.et]

    logical-and-expression: 
      inclusive-or-expression
      logical-and-expression && inclusive-or-expression
    1. Le && opérateur de groupes de gauche à droite. L'
      les opérandes sont à la fois contextuelle converti bool (Clause 4). L'
      le résultat est vrai si les deux opérandes sont true et false sinon. Contrairement à
      &, && garanties de gauche à droite de l'évaluation: le deuxième opérande n'est pas
      évalué si le premier opérande est faux.
    2. Le résultat est un booléen. Si l'
      la seconde expression est évaluée, chaque valeur de calcul et de côté
      effet associé à la première expression est séquencée avant chaque
      la valeur de calcul et des effets secondaires associés à la deuxième
      expression.
    InformationsquelleAutor Shiplu Mokaddim