Advertencia de remezcla: no se especificó visibilidad, violar el patrón de controles-efectos-interacción, la mutabilidad del estado de la función se puede restringir a puro: ¿se puede ignorar?

En general

Puede dejar que se ejecute el código, ignorando las advertencias del compilador, pero siempre es bueno no hacerlo. La mayoría de las veces, las advertencias del compilador le advierten sobre algo que puede causar un error en su código. En comparación con los errores del compilador, la diferencia es que su código es sintácticamente correcto, por lo tanto, puede compilarse, pero puede generar problemas, especialmente cuando alguien intenta hacer algo que no espera que hagan los demás.

Las advertencias del compilador indican cosas que pueden causar problemas o pueden tener efectos no deseados que el programador no conocía.

Puede encontrar una buena lectura sobre esto aquí , y también puede consultar esta pregunta . Y lo más importante, lea las consideraciones de seguridad de los documentos de Solidity. ¡Eso puede salvar tu vida!

De todos modos, el compilador no es tan inteligente como usted y reclama lo que le falta en declaraciones de Note:la siguiente manera:

Nota: Actualmente, este análisis estático no considera los modificadores.

A veces, estas notas pueden indicar las ocasiones en que puede ignorar estas advertencias con seguridad.

Ejemplo

Una advertencia de error que ha mencionado es:

browser/TestContract 8.sol:15:3 Advertencia: No se especificó visibilidad. Predeterminado a "público":

Digamos que tienes function A(uint val) {}. Desea que se use solo dentro del contrato debido a algunas validaciones previas que debe hacer (Esto es solo un ejemplo;)). Y si la función se llama sin validación, eso puede causar algunas ejecuciones no deseadas. Y el único uso de function Aes usarlo dentro de algunas otras funciones dentro del contrato.

pragma solidity ^0.4.0;

contract Example {


    function A(uint val) {
       //do something with val 
    }

    function B(uint val){
        //validation of val
        A(val);
    }

}

Ahora, si mantiene el contrato como el anterior, ya function A()que también está configurado como público de forma predeterminada, cualquier persona que use su contrato puede usarlo function Acon cualquier uintvalor y eso puede causar problemas. Pero si tenía el modificador de acceso function Adeclarado como private, este problema no aparecerá ya function Aque no se puede acceder públicamente. Y como su requisito también es usar function Asolo dentro de las otras funciones dentro del contrato, también se logra su objetivo.

Como cuando no se declara ningún modificador de acceso, el compilador asume que una función es pública y le advierte que está configurando la función para que sea pública y le pide que verifique si realmente debería ser pública. En el caso anterior, recibirá advertencias con respecto a las funciones y la configuración function Apara que sea privado y function Bpúblico eliminará las advertencias porque ahora el compilador sabe que está haciendo function Bpúblico y function Aprivado intencionalmente.

pragma solidity ^0.4.0;

contract Example {


    function A(uint val) private {
       //do something with val 
    }

    function B(uint val)public {
        //validation of val
        A(val);
    }

}

La advertencia sobre function Bla configuración pública es un tipo de advertencia que puede ignorar con seguridad ya que su intención también es la misma, pero la advertencia sobre function Aes algo que realmente debe considerar.

lo que sugiero ,

• no ignorar la advertencia, sino revisarlas y verificar si realmente importan, cómo espera que se comporte el código e intentar resolverlas.

• intente usar la última versión del compilador (atm 0.4.17), ya que las versiones estables más nuevas tienden a tener menos errores y más funciones (por lo tanto, genera nuevas advertencias).

Información sobre otras advertencias que recibe

browser/TestContract 8.sol:100:3 Advertencia: la mutabilidad del estado de la función se puede restringir a puro

Puede consultar esta respuesta y esta pregunta con respecto a la introducción viewy el puretipo de funciones.

Violación potencial del patrón de controles-efectos-interacción en TestContract.testFunction (dirección):

Esto es por no seguir el patrón de Comprobaciones-Efectos-Interacciones como se describe aquí en los documentos. Consulte la función que recibe esta advertencia y siga el patrón definido en los documentos para evitar la advertencia.

Y según el código que se encuentra en el enlace que publicó, creo que la closeSale()advertencia probablemente debería deberse a que el compilador asume que puede haber una posibilidad de reingreso , ya que está llamando al evento miembro LogSaleClosed(uint256 issuedSupply, uint256 restrictedTokens)después de las interacciones con el contrato de token.

Lo que puedo sugerir es tener ese evento dentro del contrato token. Puede ver aquí la vulnerabilidad de reingreso. Solo dice que si el código incorrecto allí permite que otro contrato retire dinero varias veces porque cambian las acciones de la variable de estado después de enviar la transacción, lo que puede llevar algún tiempo dejando que el otro contrato llame a la misma función varias veces porque mantiene el msg.sendervalor distinto de cero hasta la transacción se ejecuta. Si ve el código bueno allí, primero se establece shares[msg.sender]en cero primero. Dado que usted es quien desarrolló esto, conoce el flujo de eventos esperados y puede estar seguro de que no ocurrirá una nueva entrada, es seguro ignorarlo.

Test.transferFrom(address,address,uint256): Potencialmente debería ser constante pero no lo es. Nota: Actualmente, este análisis estático no considera los modificadores.

Lo que significa constante es que no estaría cambiando el estado. Esa no es una variable de estado cambiada. Entonces, normalmente, esas funciones se denominan funciones constantes y se definen con la palabra clave de constante. Puedes leer esto .

Entonces, si sus funciones no cambian ninguna variable de estado, puede declararlas constantes. La solidez te está recordando esto.

browser/TestContract 8.sol:100:3 Advertencia: la mutabilidad del estado de la función se puede restringir a puro

Respuesta: Las funciones se pueden declarar puras, en cuyo caso prometen no leer ni modificar el estado.

. http://solidity.readthedocs.io/en/develop/contracts.html#pure-functions