Je résolvais un problème de mouvement d'un évêque sur un échiquier. À un moment de mon code, j'ai eu la déclaration suivante:<pre class="lang-cpp prettyprint-override"><code>std::cout << (abs(c2-c1) == abs(r2-r1)) ? 1 : 2 << std::endl; </code></pre>Cela génère l'erreur suivante:<blockquote> <pre><code>error: invalid operands of types 'int' and '<unresolved overloaded function type>' to binary 'operator<<' </code></pre></blockquote>Cependant, j'ai corrigé instantanément cette erreur en incluant une variable supplémentaire dans mon code:<pre class="lang-cpp prettyprint-override"><code>int steps = (abs(c2-c1) == abs(r2-r1)) ? 1 : 2; std::cout << steps << std::endl; </code></pre>Comment fonctionne l'opérateur ternaire et comment son type de retour est-il déterminé (comme le compilateur l'appelait <code><unresolved overloaded function type></code>)?

Selon <a href="https://en.cppreference.com/w/cpp/language/operator_precedence">cppreference</a> :<blockquote> Lors de l'analyse d'une expression, un opérateur qui est répertorié sur une ligne du tableau ci-dessus avec une priorité sera lié plus étroitement (comme par des parenthèses) à ses arguments que tout opérateur qui est répertorié sur une ligne plus en dessous avec une priorité inférieure. Par exemple, les expressions <code>std::cout << a & b</code> Et <code>*p++</code> Sont analysées comme <code>(std::cout << a) & b</code> Et <code>*(p++)</code>, et non comme <code>std::cout << (a & b)</code> ou <code>(*p)++</code>. Les opérateurs qui ont la même priorité sont liés à leurs arguments dans le sens de leur associativité. Par exemple, l'expression <code>a = b = c</code> Est analysée comme <code>a = (b = c)</code>, et non comme <code>(a = b) = c</code> En raison de l'associativité de droite à gauche de l'affectation, mais <code>a + b - c</code> Est analysé <code>(a + b) - c</code> et non <code>a + (b - c)</code> en raison de l'associativité de gauche à droite de l'addition et de la soustraction. La spécificité d'associativité est redondante pour les opérateurs unaires et n'est présentée que pour être complète: les opérateurs de préfixe unaires associent toujours de droite à gauche (<code>delete ++*p</code> Est <code>delete (++(*p)))</code> et les opérateurs de suffixe unaires associent toujours de gauche à droite (<code>a[1][2]++</code> Est <code>((a[1])[2])++</code>). Notez que l'associativité est significative pour les opérateurs d'accès membres, même s'ils sont regroupés avec des opérateurs de suffixe unaires: <code>a.b++</code> Est analysé <code>(a.b)++</code> et non <code>a.(b++)</code>. La priorité de l'opérateur n'est pas affectée par la surcharge de l'opérateur. Par exemple, <code>std::cout << a ? b : c;</code> Est analysé comme <code>(std::cout << a) ? b : c;</code> Car la priorité du décalage arithmétique vers la gauche est plus élevée que l'opérateur conditionnel. </blockquote>

Comment le type de retour d'un opérateur ternaire est-il déterminé?

Je résolvais un problème de mouvement d'un évêque sur un échiquier. À un moment de mon code, j'ai eu la déclaration suivante:

std::cout << (abs(c2-c1) == abs(r2-r1)) ? 1 : 2 << std::endl;

Cela génère l'erreur suivante:

error: invalid operands of types 'int' and '<unresolved overloaded function type>' to binary 'operator<<'

Cependant, j'ai corrigé instantanément cette erreur en incluant une variable supplémentaire dans mon code:

int steps = (abs(c2-c1) == abs(r2-r1)) ? 1 : 2;
std::cout << steps << std::endl;

Comment fonctionne l'opérateur ternaire et comment son type de retour est-il déterminé (comme le compilateur l'appelait <unresolved overloaded function type>)?

c++ternary-operatoroperator-precedence

7 août 2019Meraj al Maksud

Selon cppreference :

Lors de l'analyse d'une expression, un opérateur qui est répertorié sur une ligne du tableau ci-dessus avec une priorité sera lié plus étroitement (comme par des parenthèses) à ses arguments que tout opérateur qui est répertorié sur une ligne plus en dessous avec une priorité inférieure. Par exemple, les expressions std::cout << a & b Et *p++ Sont analysées comme (std::cout << a) & b Et *(p++), et non comme std::cout << (a & b) ou (*p)++.
Les opérateurs qui ont la même priorité sont liés à leurs arguments dans le sens de leur associativité. Par exemple, l'expression a = b = c Est analysée comme a = (b = c), et non comme (a = b) = c En raison de l'associativité de droite à gauche de l'affectation, mais a + b - c Est analysé (a + b) - c et non a + (b - c) en raison de l'associativité de gauche à droite de l'addition et de la soustraction.
La spécificité d'associativité est redondante pour les opérateurs unaires et n'est présentée que pour être complète: les opérateurs de préfixe unaires associent toujours de droite à gauche (delete ++*p Est delete (++(*p))) et les opérateurs de suffixe unaires associent toujours de gauche à droite (a[1][2]++ Est ((a[1])[2])++). Notez que l'associativité est significative pour les opérateurs d'accès membres, même s'ils sont regroupés avec des opérateurs de suffixe unaires: a.b++ Est analysé (a.b)++ et non a.(b++).
La priorité de l'opérateur n'est pas affectée par la surcharge de l'opérateur. Par exemple, std::cout << a ? b : c; Est analysé comme (std::cout << a) ? b : c; Car la priorité du décalage arithmétique vers la gauche est plus élevée que l'opérateur conditionnel.

9 août 2019Meraj al Maksud