Manejo de errores

Clase 11 de 21 • Curso de Introducción a Solidity

Ernesto García

teacher•

Manejo de errores

assert: Se utiliza para pruebas, compara dos valores
revert: Es un error que regresa todas las modificaciones de estado realizadas durante la ejecución de la función. Recibe por parámetro un mensaje de error
require: Es una variación del revert que recibe por parámetro una expresión booleana y revierte si esta expresión es falsa.

Cabe destacar que cualquier consumo de gas ejecutado hasta el momento de un revert se debe pagar, porque el cómputo fué utilizado

Carlos Rodríguez

student•

Gran aporte como siempre @Ernesto.

Jimmy Buriticá Londoño

student•

Modificadores

Usando un if

modifier IsOwner() {
    if (msg.sender != owner) revert();
    _;
}

Usando require()

modifier IsOwner() {
    require(msg.sender == owner, "El usuario no es el creador del contrato");
    _;
}

Luis Alejandro Vera Hernandez

student•

Se aprecia mejor la diferencia

Luis Alejandro Vera Hernandez

student•

En este blog explica con ejemplos y descripciones el uso para cada uno de estos tipos de manejo de errores. Aqui una pequena parte traducida:

Utilice require ():

Validar las entradas del usuario, es decir. require (entrada <20);
Validar la respuesta de un contrato externo, es decir. require (external.send (cantidad));
Validar las condiciones estatales antes de la ejecución, es decir. require (block.number> SOME_BLOCK_NUMBER) o require (balance [msg.sender]> = amount)
Generalmente, debe usar require con mayor frecuencia
Generalmente, se utilizará hacia** el comienzo** de una función.

Utilice revert ()

Maneja el mismo tipo de situaciones que require (), pero con una lógica más compleja.
Si tiene algún flujo lógico anidado complejo if / else, puede encontrar que tiene sentido usar revert () en lugar de require ().

Utilice assert ()

Compruebe si hay desbordamiento / subdesbordamiento, es decir. c = a + b; assert(c> b)
Compruebe invariantes, es decir. assert (este.balance> = totalSupply);
Validar el estado después de realizar cambios
Prevenir condiciones que nunca deberían ser posibles.
Por lo general, probablemente usará assert con menos frecuencia.
Generalmente, se utilizará hacia el final de una función.

Salvatore Josue Trimarchi Pinto

student•

Este curso está bien estructurado, felicitaciones.

Dedison Stiven Peña Soto

student•

Hola! el curso está excelente. ¿En solidity existe algo similar al try-catch? para que en caso de que exista un error se pueda definir una serie de acciones y no solo mostrar un mensaje.

Nilson Diaz

student•

Hey ! , Si existe el bloque try-catch , y su uso esta mas enfocado a cuando intancias un contrato o haces una llamada a una funcion de un contrato externo.

Te dejo dos links donde puedes ver su implementacion a detalle :

Sebastian Perez

teacher•

Como bien dice Nilson, existe y están muy buenos los enlaces compartidos, no voy a agregar mucho más que tener en cuenta que no funcionan como los usamos en los lenguajes convencionales ya que van a detectar excepciones en llamadas externas y no en código interno.

JAVIER SANTIAGO SALGADO

student•

En esta clase tuve un problema, Remix me dejo de guardar los archivos, ¿Le ha pasado a alguien?¿Como lo solucionaron?

Sebastian Perez

teacher•

Hola Javier, a veces Remix puede tener problemas con la sesión y la solución lamentablemente es borrar las cookies para el sitio y ahí se soluciona. La buena noticia es que puedes descargar tus contratos desde la portada de remix (Hay una opción de Download) y luego de descargarlos puedes borrar las cookies y así no perder tu espacio de trabajo.

Abidan Triguero Calle

student•

RESUMEN CLASE 11: MANEJO DE ERRORES

Assert: permite evaluar un valor. Es utilizado principalmente para las pruebas de contratos.
Revert: interrumpe la ejecución de una función y revierte todos los cambios realizados hasta el momento.
Require: evalúa una condición y en caso de no cumplirla ejecuta un revert. Puede mostrar un mensaje.

REMIX:

Errores.sol

// SPDX-License-Identifier: GLP-3.0

pragma solidity >=0.7.0 <0.9.0;

contract Errores {

    address private owner;

    constructor() {
        owner = msg.sender;
    }

    function Suma(uint numero1, uint numero2) public view esOwner() returns (uint) {
        return numero1 + numero2;

    }

    modifier esOwner() {
        require(msg.sender == owner, "El usuario no es el creador del contrato");
        _;
    }

}

Carlos Rodríguez

student•

Buen resumen @Abidan.

alejandro navarro dimas

student•

Hola! tengo la siguiente pregunta: require acepta condicionales con varios operadores logicos ? ej: require(condicion1 AND condicion2)

Sebastian Perez

teacher•

Hola Alejandro, sí, es correcto. Require admite como parámetro una condición booleana pero la misma puede ser combinación de dos o más como bien mencionas. Recuerda utilizar el operador && en vez de la palabra AND.

Jorge Fidel Zubieta Choque

student•

// SPDX-License-Identifier: GPL-3.0

pragma solidity >=0.7.0 <0.9.0;

contract Errores { address private owner;

constructor() {
	owner = msg.sender;
}

function Suma(uint numero1, uint numero2) public view EsOwner() returns (uint) {
	return numero1 + numero2;
}

modifier EsOwner() {
// REQUIRE -> es lo que requerimos que s cumpla -> que el sender sea el mismo == que el owner!
	require(msg.sender == owner, "El usuario no es el creador del contrato");
	_;
}

}

Carlos Rodríguez

student•

Buena esa @Jorge.

LUIS FERNANDO ESPINOSA HERRERA

student•

Profesor Sebastián Leonardo Perez tengo un lio con REMIX IDE no me funcionan los triggers o el autocompletado no se como se llama realmente y eh tratado todo cookies borrar el navegador y volver a instalarlo.

Visual Studio Code funciona https://ibb.co/9gc2thb

REMIX IDE no funciona https://ibb.co/ZX7xfFT

sabes a que se deba o alguno de la comunidad

Sebastian Perez

teacher•

Hola Luis, lamentablemente Remix no tiene un buen soporte para el autocompletado. Va "aprendiendo" en base a los contratos que ya tengas, pero no tiene una ayuda contextual completa como lo tiene Visual Studio

David Isaac Orué Bazán

student•

Hola! Estoy realizando este contrato a modo de práctica pero el "require" no me estaría funcionando igual que al profe, porque al momento de realizar la suma con otra "account" realiza la suma y no me salta el mensaje "El usuario no es el creador del contrato". Al ser nuevo en esto tampoco veo mi error o el error facilmente. Agradezco su tiempo!

// SPDX-License-Identifier: GPL-3.0

pragma solidity >=0.7.0 <0.9.0;

contract Errores {
    
    address private owner;
    
    constructor() {
        owner = msg.sender;
    }
    
    function Suma(uint numero1, uint numero2) public view EsOwner() returns (uint) {
        return numero1 + numero2;
    }
    
    modifier EsOwner() {
        require(msg.sender == owner, "El usuario no es el creador del contrato");
        _;
    }
    
}

Este es el código que escribí basándome en la clase. Espero su ayuda!

Sebastian Perez

teacher•

El codigo está correcto, chequea que estés efectivamente utilizando una cuenta distinta a la que hizo el deploy del contrato

David Isaac Orué Bazán

student•

Genial Profe Sebas! El error que me marcás es el que estaba teniendo! Muchas gracias por tu tiempo! Genial las clases!

Charl Barrera

student•

El constructor solo se inicializa cuando se hace el deploy? Quiere decir que los contract solo se instancian 1 vez? y cada vez que un usuario utiliza el programa realmente esta utilizando esa misma instancia? si NO es así, como esta funcionando la validación del modifier? "msg.sender == owner"

Omar Francisco Herrera Ortiz

student•

Así es como funciona, el valor del owner se guarda una única vez

Paleo Paleo

student•

HOLA COMO ESTAS QUISIERA SABER A QUE TE REFERIS CUANDO DECIS QUE VA A TENER UN COSTO, LO REPETISTE EN MODULOSN ANTERIORES TMB. GRACIAS HASTA LUEGO

David Santiago Puerta Betancur

student•

Tal vez se pude referir a que al publicar o realizar acciones de los smart contracts, estos requieren un coste para poderse integrar a la red de etherium.

Agostina Yakoby Moris

student•

Como va, es como dice David. Cada operación que hagamos sobre la red real de ethereum tiene un costo. Ese costo es el GAS. Y el gas se paga con WEI (que es una fracción de ethers. Es decir, sale dinero real).

Jesus M Cocaño Diaz

student•

Por lo que eh entendido, el require es mejor que el revert pero ¿Hay algunos usos en especifico donde sea mejor revert?

Nilson Diaz

student•

Hey ! pues la verdad no le veo muchas ocasiones mas que cuando tengas muchas validaciones con if/else anidados (unos dentro de otros) ahi pues revert podria resultar conveniente

Te comparto un articulo donde se explica bien cada uno --> Revert, Assert, and Require in Solidity

Sebastian Perez

teacher•

Sería muy raro utilizar un revert a secas salvo cuando se quiere interrumpir intencionadamente el flujo de una función. El require es siempre una mejor opción ya que podemos evaluar una condición antes de revertir

Carlos Rodríguez

student•

Esta clase fue super importante, de verdad, el manejo de errores es esencial en los contratos inteligentes. Tomen nota, apliquen las recomendaciones del teacher y sean MUY descriptivos.