La premisa básica es, siempre que sea posible usa un tipo de dato primitivo en lugar de un Objeto debido a que es el nivel más básico y por ende más eficiente.
- ¿Utilizado un objeto booleano para compararlo en un
if me dará false?
Depende con qué y cómo lo compares, sin embardo si siempre lo usas como el único miembro de la expresión te dará true. Los detalles abajo.
¿O por qué la documentacion de Gramatica y Tipos (MDN) dice que no se debe confundir con estas dos cosas?
En el texto citado se incluye un enlace a un página que en español no existe pero en inglés sí: Boolean. En esta página dice
Any object of which the value is not undefined or null, including a Boolean object whose value is false, evaluates to true when passed to a conditional statement.
La traducción sería
Cualquier objeto cuyo valor no sea undefined o null, incluyendo un objeto Booleano cuyo valor es false, evalúa a true cuando es pasado a un enunciado condicional.
A continuación unos ejemplos de esto:
// Creamos un Objeto Booleano con valor falso.
var x = new Boolean(false);
// Comparación abstracta. Devuelve Verdadero
if(x == false){
console.info('Verdadero');
} else {
console.info('False');
}
// Comparación estricta. Devuelve Falso
if(x === false){
console.info('Verdadero');
} else {
console.info('Falso');
}
// Sin realizar una comparación. Devuelve verdadero.
if(x){
console.info('Verdadero');
} else {
console.info('Falso');
}
Un primitivo Booleano y un objeto Booleano no deben confundirse debido a que JavaScript convierte el tipo de los argumentos cuando estos no son del tipo requerido, que en un if se trata de un contexto Booleano.
En se la ECMAScript 2016, sobre ConditionExpression se indica:
NOTE
The grammar for a ConditionalExpression in ECMAScript is
slightly different from that in C and Java, which each allow the
second subexpression to be an Expression but restrict the third
expression to be a ConditionalExpression. The motivation for this
difference in ECMAScript is to allow an assignment expression to be
governed by either arm of a conditional and to eliminate the confusing
and fairly useless case of a comma expression as the centre
expression.
A continuación un intento de traducir lo anterior:
NOTA La gramática para ContidionalExpression en ECMAScript es
ligeramente diferente de aquella en C y Java, donde cada una permite
que la segunda subexpresión sera una Expresión but restringe la
tercera expresión a ser una ConditionalExpression. La motivación de
esta diferencia en ECMAScript es permitir que una expresión de
asignación sea gobernada por cualquier brazo de un condicional y para
eliminar la confusión y prácticamente casa inútil de una expresión
coma como el centro de la expresión.
Más código para ayudar a enteder esto, donde se crea un Objeto Booleano con valor false y se asigna a la variable x.
// Crear el Objeto Booleano con valor false
var x = new Boolean(false);
// Comparación abstracta de x con el primitivo Booleano con valor false.
console.info(x == false); // Devuelve verdadero
// Comparación del valor de la propiedad toString() con el primitivo Booleano con valor false.
console.info(x.toString() == false); // Devuelve false
// Comparación del valor de la propiedad valueOf() con el primitivo
console.info(x.valueOf() == false); // Devuelve verdadero
// Operador ternario, en caso verdadero devolverá true, en caso contrario, devolverá false
console.info(x ? true: false); // Devuelve verdadero
En cuanto a lo que el estándar dice sobre esto, en 12.14.3 Runtime Semantics: Evaluation, se incluye el algoritmo para evaluar la exprsión, donde uno delos primeros paso es convertir a Booleano, lo cual se describe en 7.1.2 ToBoolean ( argument ), donde se indica lo siguiente:
The abstract operation ToBoolean converts argument to a value of type
Boolean according to Table 10:
Table 10: ToBoolean Conversions
Argument Type Result
Undefined Return false.
Null Return false.
Boolean Return argument.
Number Return false if argument is +0, -0, or NaN; otherwise return true.
String Return false if argument is the empty String (its length is zero);
otherwise return true.
Symbol Return true.
Object Return true.
Nótese que se indica que cuando el argumento sea de tipo objeto se devuelve true.
