El comparador lógico Y (and) en C++ se expresa habitualmente como doble et &&
no como and
, siendo &&
la forma principal y and
la forma alternativa tal y como recoge el estándar C++ (traducción mía):
5.5 Símbolos alternativos.
- Se proveen símbolos alternativos para algunos operadores y puntuaciones.
En todos los aspectos del lenguaje, cada símbolo alternativo se comporta igual que su símbolo principal, excepto por su escritura. Los símbolos alternativos se define en la siguiente tabla:
| Alternativo Primario | Alternativo Primario | Alternativo Primario |
| <% { | and && | and_eq &= |
| %> } | bitor | | or_eq |= |
| <: [ | or || | xor_eq ^= |
| :> ] | xor ^ | not ! |
| %: # | compl ~ | not_eq != |
| %:%: ## | bitand & | |
Los símbolos alternativos son una opción para sistemas en que algunos símbolos no están disponibles, deberías usar la forma principal si ésta está disponible.
El comportamiento de los operadores relacionales está descrito en §7.6.9 (traducción y resaltado míos):
7.6.9 Operadores relacionales.
- Los operadores relacionales se agrupan de izquierda a derecha. [Ejemplo:
a<b<c
significa (a<b)<c
no (a<b)&&(b<c)
. —fin del ejemplo]. […].
- Los operandos convertidos deben tener tipo aritmético, enumeración o puntero. Los operadores
<
, >
, <=
y >=
devuelven verdadero o falso. El tipo del resultado es booleano.
El comportamiento del comparador lógico está descrito en §7.6.14 (traducción y resaltado míos):
7.6.14 Operador Y lógico.
- El operador
&&
agrupa de izquierda a derecha. Los operandos se convierten contextualmente a booleano. El resultado es verdadero si ambos operandos son verdaderos y falso en caso contrario. Al contrario que &
, &&
garantiza evaluación de izquierda a derecha: el segundo operando no se evalúa si el primero es falso.
- El resultado es de tipo booleano. Si la segunda expresión se evalúa, la primera expresión se secuencia antes que la segunda.
Sabiendo todo esto, analicemos tu expresión n1>n2 and n3
. Sabemos que ambos operadores se evalúan de izquierda a derecha y que ambos devuelven un valor booleano, así que sea cual sea el orden de evaluación ((n1>n2) and n3
o n1>(n2 and n3)
) acabarás comparando un valor booleano contra un entero (int
).
Los enteros son implícitamente convertibles a booleano siendo cero false
y cualquier otro valor true
. Los booleanos son implícitamente convertibles a entero siendo false
cero y true
uno.
Por lo tanto: "7 en n3
, 6 en n1
y 5 en n2
" genera la siguiente expresión:
6>5 and 7
Que se evalúa como:
true and 7
Siete es diferente de cero, por lo que también es true
:
true and true
Verdadero y verdadero es definitivamente verdadero.
Propuesta.
Usa std::max
:
#include <iostream>
#include <algorithm>
using namespace std;
int main(){
int n1,n2,n3;
cout<<"\nIngrese 3 numeros, por favor: "; cin>>n1>>n2>>n3;
cout << "\nEl mayor es: " << max({n1, n2, n3});
return 0;
}