Preguntas frequentes¶
Esta lista fue originalmente compilada por fivedogit.
Preguntas Básicas¶
Ejemplos de contratos¶
Hay algunos ejemplos de contratos por fivedogit y debe haber un test contract para cada funcionalidad de Solidity.
¿Es posible hacer algo en un bloque específico? (ej. publicar un contrato o ejecutar una transaction)¶
Las transacciones no están garantizadas a ejecutarse en el próximo bloque o en cualquier bloque futuro, ya que depende de los mineros de incluir transacciones y no del remitente de la transacción. Esto se aplica a llamadas de funciones/transacciones y trasacciones de creación de contratos.
Si quieres programar llamadas de contrato a futuro, puedes usar el despertador (alarm clock).
¿Qué es la “payload” de la transacción?¶
Esto es sólamente el data bytecode enviado junto con la solicitud.
¿Hay un decompilador disponible?¶
No hay un decompilador en Solidity. Esto es en principio posible hasta un punto, pero por ejemplo los nombres de variables serán perdidas y un gran esfuerzo será necesario para replicar el código de fuente original.
Bytecode puede ser decompilado a opcoses, un servicio que es provisto por varios exploradores de blockchain.
Los contratos en la blockchain deben tener su código fuente original publicado si serán utilizados por terceros.
Crear un contrato que puede ser detenido y devolver los fondos¶
Primero, una advertencia: Detener contratos suena como una buena idea, porque “limpiar” siempre es bueno, pero como se ve arriba, no se limpia realmente. Además, si algo de Ether es enviado a contratos eliminados, el Ether será perdido para siempre.
Si quieres desactivar tus contratos, es mejor “inhabilitarlos” cambiando algunos estados internos que hace que todas las funciones arrojen excepciones. Esto hará que sea imposible de usar el contrato y todo ether enviado será devuelto automáticamente.
Ahora para responder la pregunta: Dento de un constructor, msg.sender es el
creador. Guárdalo. Luego selfdestruct(creator); para matar y devolver los fondos.
Nótese que si importas import "mortal" arriba del contrato y declaras
contract AlgunContrato is mortal { ... y compilas con un compilador que ya lo
tiene (que incluye Remix <https://remix.ethereum.org/>), luego
kill() es ejecutado por ti. Una vez que un contrato es “mortal”, se puede
contractname.kill.sendTransaction({from:eth.coinbase}), igual que en los
ejemplos.
Guardar Ether en un contrato¶
El truco es de crear un contrato con {from:someaddress, value: web3.toWei(3,"ether")...}
Usar una función no-constante (req sendTransation) para incrementar una variable en un contrato¶
Obtener que un contrato te devuelva los fondos (sin usar selfdestruct(...)).¶
Este ejemplo demuestra como envíar fondos de un contrato a una address.
Ver endowment_retriever.
¿Puedes devolver un array o un string desde una llamada de función solidity?¶
Si. Ver array_receiver_and_returner.sol.
Lo que sí es problemático es devolver cualquier data de tamaño variable (ej. un
array de tamaño variable como uint[]) desde una función llamada desde Solidity.
Esto es una limitación de la EVM y será resuelto en la próxima versión del protocolo.
Devolver data de tamaño variable está bien cuando es parte de una transaction o llamada externa.
¿Cómo representas double/float` en Solidity?¶
Esto no es aún posible.
Es posible de iniciar un array in-line (ej. string[] myarray = ["a", "b"];)¶
Si. Sin embargo debiera notarse que esto sólo funciona con arrays de tamaño estático. Puedes incluso crear un array en memoria en línea en la declaración de devolución. Cool, ¿no?
Example:
contract C {
function f() returns (uint8[5]) {
string[4] memory adaArr = ["Esto", "es", "un", "array"];
return ([1, 2, 3, 4, 5]);
}
}
Son de confianza los timestamps (now, block.timestamp)¶
Esto depende por lo que te refieres con “de confianza”. En general, son entregados por los mineros y por lo tanto son vulnerables.
Al menos que haya un problema grave en la blockchain o en tu ordenador, puedes hacer las siguientes suposiciones:
Publicas una transacción en un tiempo X, esta transacción contiene el
mismo código que llama now y es incluída en un bloque cuyo timestamp
es Y y este bloque es incluído en la cadena canónica (publicado) en un tiempo Z.
El valor de now será idéntico a Y y X <= Y <= Z.
Nunca usa now o block.hash como una fuente aleatoria, a menos que
sepas lo que estás haciendo.
¿Puede una función de contrato devolver un struct?¶
Si, pero sólo en llamadas de funciones internal.
Si devuelvo un enum, Sólo me dan valores enteros en web3.js. ¿Cómo obtengo los valores nombrados?¶
Enums no son soportados por la ABI, sólo son soportados por Solidity. Tienes que hacer el mapping tu mismo por ahora, aunque puede que proporcionemos ayuda mas adelante.
¿Cuál es el significado de function() { ... } dentro de los contratos Solidity? ¿Cómo es posible que una función no tenga nombre?¶
Esta función es llamada “callback function” y es llamada cuando alguien sólo envía Ether al contrato sin proveer data o si alguien se equivocó e intentó llamar una función que no existe.
El funcionamiento por defecto (si no hay función fallback explícita) en estas situaciones es arrojar una excepción.
Si el contrato debiera recibir Ether con transferencias simples, debes implementar una función callback como
function() payable { }
Otro uso de la función callback es por ejemplo registrar que tu contrato recibió ether usando un evento.
Attention: Si implementas la función fallback, cuida que use lo menos gas
posible, porque send() sólo suministrará una cantidad limitada.
¿Es posible pasar argumentos a la función fallback?¶
La función fallback no puede tomar parámetros.
Bajo ciertas circunstancias, puedes enviar data. Si cuidad que ninguna
de las otras funciones es llamada, puedes acceder a la data usando
msg.data.
¿Pueden las variables de estado ser iniciadas in-line?¶
Si, esto es posible para todos los tipos (incluso para structs). Sin embargo, para arrays debe notarse que se le deben declarar como arrays de memoria estática.
Ejemplos:
contract C {
struct S {
uint a;
uint b;
}
S public x = S(1, 2);
string name = "Ada";
string[4] memory adaArr = ["Esto", "es", "un", "array"];
}
contract D {
C c = new C();
}
¿Cómo funcionan los structs?¶
¿Cómo funcionan los for loop?¶
Muy similarmente a Javascript. Aunque esto es un punto al cual debe hacerse atención:
Si usas for (var i = 0; i < a.length; i ++) { a[i] = i; }, entonces
el tipo de i será inferido sólo de 0, o sea, un tipo uint8.
Esto significa que si a tiene más de 255 elementos, tu loop no terminará
ya que i sólo contendrá valores hasta 255.
Mejor usar for (uint i = 0; i < a.length...
¿Qué set de caracteres usa Solidity?¶
Solidity es agnostico de set de caracteres con respecto a strings en el código fuente, aunque UTF-8 es recomendado. Los identificadores (variables, funciones, ...) Solo pueden usar ASCII.
¿Cuáles son algunos ejemplos de manipulación de strings básicos (substring, indexOf,, charAt, etc)?¶
Hay algunas funciones de utilidad de string en stringUtils.sol que serán extendidas en el futuro. Además, Arachnid ha escrito solidity-stringutils.
Por ahora si quieres modificar un string, (incluso cuando sólo quieres saber su largo),
debes siempre convertirlo en un bytes primero:
contract C {
string s;
function append(byte c) {
bytes(s).push(c);
}
function set(uint i, byte c) {
bytes(s)[i] = c;
}
}
¿Puedo concatenar dos strings?¶
Tienes que hacerlo manualmente por ahora.
Por qué la función de bajo nivel .call() es menos favorable que instanciando un contrato con ua vaiable (ContractBb;) y ejecutando sus funcioens (b.doSomething();)?¶
TODO: Si usar reales funciones, el compilador le dirá si los tipos de los argumentos no concuerdan, si la función no existe o no es visible y hará el empaquetamiento de los argumentos por tí.
¿El gas inutilizado es automaticamente devuelto?¶
Si y es immediato, ej. hecho como parte de la transacción.
Cuando se devuelve un valor de tipo unint, ¿es posible devolver un undefined` o un valor null?¶
Esto no es posible, porque todos los tipos usan el rango de valores totales.
Tienes la opción de arrojar un error, que también revirtirá la transacción
completa, que puede que sea una buena idea si obtuviste una situación inesperada.
Si no quieres deolver un error, puedes devolver un par:
contract C {
uint[] counters;
function getCounter(uint index)
returns (uint counter, bool error) {
if (index >= counters.length)
return (0, true);
else
return (counters[index], false);
}
function checkCounter(uint index) {
var (counter, error) = getCounter(index);
if (error) {
...
} else {
...
}
}
}
¿Los comentarios son incluídos en los contratos publicados y incrementan el gas¶
No. Todo lo que no sea utilizado para la ejecución es eliminado durante la compilación. Esto incluye, entre otras cosas, comentarios, nombres de variable y nombres de tipos.
¿Qué pasa si envías ether junto con una llamada de función a un contrato?¶
Se agrega al balance total del contrato, igual que cuando mandas ether creando un contrato.
Sólo puedes envíar ether junto con una función que tiene modificador payable,
si no, una excepción es levantada.
¿Es posible obtener una respuesta tx para una transacción ejecutada contrato-a-contrato?¶
No, una llamada de función de un contrato a otro no crea su propia transacción, tienes que mirar en la transacción general. Eso también es la razón por la que varios exploradores de bloques no muestran Ether envíado entre contratos correctamente.
¿Cuál es la palabra clave memory y qué hace?¶
La Máquina Virtual Ethereum tiene tres áreas donde puede guardar cosas.
La primera es “storage”, donde todas las variables de estado del contrato existen. Cada contrato tiene su propio storage y es persistente entre llamdas de función y bastate caro usarlo.
La segunda es “memory”, esto es usado para guardar valores temporales. Es borrado entre llamdas de función (externas) y es más barato usar.
La tercera es en el stack, que es usado para guardar pequeñas variables locales. Es casi gratis para usar, pero sólo puede guardar una cantidad limitada de valores.
Para casi todos los tipos, no puedes especificar donde deben ser gurdadas, porque son copiadas cada vez que se usan.
Los tipos donde la storage-location es importante son structs y arrays. Si, por ejemplo, pasaras estas variables en llamadas de función, su data no es copiada si puede quedar en memoria o quedar en storage. Esto significa que puedes modificar su contenido en la función llamada y estas modificaciones aún serán visibles al llamador.
Hay valores por defecto para el storage location dependiendo de que tipo de variable le concierne:
- variables de estado siempre están en storage
- argumentos de función siempre están en memoria
- variable locales siempre referencian storage
Example:
contract C {
uint[] data1;
uint[] data2;
function appendOne() {
append(data1);
}
function appendTwo() {
append(data2);
}
function append(uint[] storage d) {
d.push(1);
}
}
La función append puede funcionar en ambos data1 y data2 y sus
modificaciones serán guardadas permenentemente. Si quitas la palabra clave
storage, por defecto se usa memory para argumentos de función. Esto tiene
como efecto que en el punto donde append(data1) o append(data2) son llamadas,
una copia independiente de la variable de estado es creada en memoria y append
opera en esta copia (que no soporta .push - pero eso es otro tema). Las
modificaciones a esta copia independiente no se llevan a data1 o data2.
Un error típico es declarar una variable local y presumir que será creada en memoria, aunque será creada en storage:
/// ESTE CONTRATO CONTIENE UN ERROR
contract C {
uint someVariable;
uint[] data;
function f() {
uint[] x;
x.push(2);
data = x;
}
}
El tipo de la variable local x es unint[] storage, pero ya que
storage no es asignada dinámicamente, tiene que ser asignada desde
una variable de estado antes de que pueda ser usada. Entonces nada de
espacio en storage será asignado para x, pero en cambio funciona
sólo como un alias para variables pre existentes en storage.
Lo que pasará es que el compilador interpreta x como un pointer
storage y lo apuntará al slot de storage 0 por defecto.
Esto significa que unaVariable (que reside en slot 0
de storage) es modificada por x.push(2).
La manera correcta de hacerlo es la siguiente:
contract C {
uint someVariable;
uint[] data;
function f() {
uint[] x = data;
x.push(2);
}
}
¿Cuál es la diferencia entre bytes y byte[]?¶
bytes es en general mas eficiente: Cuando se usa como argumentos a funciones (ej
en CALLDATA) o en memoria, cada elemento de un byte[] es acolchado a 32 bytes
que derrocha 31 bytes por elemento.
¿Es posible envíar un valor mientras se llama una función que está overloaded?¶
Es una funcionalidad que falta conocida. https://www.pivotaltracker.com/story/show/92020468 como parte de https://www.pivotaltracker.com/n/projects/1189488
La mejor solución actualmente es introducir un caso de uso especial para gas y valor y simplemente re-checkear si están presentes en el punto de resolución de overload.
Preguntas Avanzadas¶
¿Cómo se obtiene un número al azar en un contrato? (Emplementar un contrato de apuestas autónomo)¶
Obtener números al azar es a menudo una parte crucial de un proyecto crypto y la mayoría de los errores vienen de malos generadores de números random.
Si no quieres que sea seguro, puedes contruir algo similar a la moneda flipper si no, mejor usar otro contrato que entrega azar, como el RANDAO <https://github.com/randao/randao>`_
Obtener un valor devuelto de una función no constante desde otro contrato¶
El punto clave es que el contrato que llama necesita saber sobre la función que intenta llamar.
Hacer que un contrato haga algo apenas es minado por primera vez¶
Usar el contructor. Cualquier cosa dentro de él será ejecutado cuando el contrato sea minado.
Ver replicator.sol.
¿Cómo se crea un array de dos dimenciones?¶
Ver 2D_array.sol.
Nótese que llenando un cuadrado de 10x10 de uint8 + creación de contrato tomó mas de 800,000
gas en el momento de escribir este contrato. 17x17 tomó 2,000,000 gas. Con un límite a
3.14 millones, bueno, hay poco espacio para esto.
Nótese que simplemente “creando” un array es gratis, los costos son en rellenarlo.
Nota2: Optimizando acceso storage puede bajar los costes de gas muchísimo, porque
32 valores uint8 pueden ser guardados en un slot simple. El problema es que estas
optimizaciones actualmente no funcionan en bucles y también tienen un problema con revisión
de límites.
Aunque, puedes obtener mejores resultados en el futuro.
¿Qué hace p.recipient.call.value(p.amount)(p.data)?¶
Cada llamada de función externa en Solidity se puede modificar de dos maneras:
- Puedes agregar Ether junto con la llamada
- Puede limitar la cantidad de gas disponible para la llamada
Esto se hace “llamando a una función de la función”:
f.gas(2).value(20)() llama a la función modificada f y por lo tanto envía 20
Wei y limitando el gas a 2 (así que esta llamada de función probablemente se quedará sin gas
y devolvera tus 20 Wei).
En el ejemplo anterior, la función de nivel bajo call se utiliza para invocar otro
contrato con p.data como carga útil y p.amount Wei se envía con esa llamada.
¿Qué pasa con el mapeo de una struct al copiar sobre una struct?¶
Es una pregunta muy interesante. Supongamos que tenemos un campo en un contrato configurado como tal:
struct user {
mapping(string => address) usedContracts;
}
function somefunction {
user user1;
user1.usedContracts["Hello"] = "World";
user user2 = user1;
}
En este caso, se ignora el mapeo de la estructura que se está copiando en la userList, ya que no existe una “lista de teclas mapeadas”. Por lo tanto, no es posible averiguar qué valores deben copiarse.
¿Cómo inicializo un contrato con sólo una cantidad específica de wei?¶
Actualmente el enfoque es un poco feo, pero hay poco que se pueda hacer para mejorarlo.
En el caso de un contract A llamando a una nueva instancia del contract B, los paréntesis tienen que ser usados alrededor de
new B porque B.value se referiría a un miembro de B llamado value.
Necesitaras asegurarte de que tienes ambos contratos conscientes de la presencia del uno al otro y que el contract B tenga un constructor payable.
En este ejemplo:
contract B {
function B() payable {}
}
contract A {
address child;
function test() {
child = (new B).value(10)(); //construct a new B with 10 wei
}
}
¿Puede una función de contrato aceptar un array bidimensional?¶
Esto no se ha implementado todavía para las llamadas externas y los arrays dinámicos - sólo se puede utilizar un nivel de arrays dinámicos.
¿Cuál es la relación entre bytes32 y cadena? ¿Por qué es que bytes32 somevar = "stringliteral"; funciona y qué significa el valor hexadecimal de 32 bytes guardado?¶
El tipo bytes32 puede contener 32 (raw) bytes. En la asignación bytes32 samevar = "stringliteral";,
la cadena literal se interpreta en su forma de byte crudo y si lo inspeccionas somevar y
ves un valor hexadecimal de 32 bytes, esto es sólo "stringliteral" en hex.
El tipo bytes es similar, sólo que puede cambiar su longitud.
Finalmente, string es básicamente idéntica a “bytes”, sólo que se asume que
para mantener la codificación UTF-8 de una cadena real. Desde que string almacena el
codificación UTF-8 es bastante caro calcular el número de
caracteres en la cadena (la codificación de algunos caracteres requiere más
que un solo byte). Debido a eso, string s; s.length no es todavía
soportado y ni siquiera indexar el acceso s[2]. Pero si quieres acceder a
la codificación de bytes de bajo nivel de la cadena, puede utilizar
bytes(s).length and bytes(s)[2] lo que resultará en el número
de bytes en la codificación UTF-8 de la cadena (no el número de
caracteres) y el segundo byte (no carácter) del UTF-8 codificado
respectivamente.
¿Puede un contrato pasar un array (tamaño estático) o una cadena o bytes (tamaño dinámico) a otro contrato?¶
Seguro. Ten cuidado de que si cruzas la memoria / límite de almacenamiento, se crearán copias independientes:
contract C {
uint[20] x;
function f() {
g(x);
h(x);
}
function g(uint[20] y) {
y[2] = 3;
}
function h(uint[20] storage y) {
y[3] = 4;
}
}
La llamada a g (x) no tendrá un efecto en x porque necesita
para crear una copia independiente del valor de almacenamiento en memoria
(la ubicación de almacenamiento predeterminada es la memoria). Por otra parte,
h (x) modifica con éxito x porque sólo pasas una referencia
y no una copia.
A veces, cuando intento cambiar la longitud de un array con ej: arrayname.length = 7; me sale un error de compilado Value must be an lvalue. ¿Por qué?¶
Puedes cambiar el tamaño de un array dinámico en almacenamiento (es decir, un array declarado en el
nivel de contrato) con arrayname.length = <some new length>;. Si consigues el
error de “lvalue”, probablemente estés haciendo una de dos cosas mal.
- Es posible que estés tratando de redimensionar un array en “memoria”, o
- Podrías estar intentando redimensionar un array no dinámico.
int8[] memory memArr; // Case 1
memArr.length++; // illegal
int8[5] storageArr; // Case 2
somearray.length++; // legal
int8[5] storage storageArr2; // Explicit case 2
somearray2.length++; // legal
Nota importante: En Solidity, las dimensiones del array se declaran al revés de la forma en que estés acostumbrado a declararlas en C o Java, pero se acceden como en C o Java.
Por ejemplo, int8[][5] somearray; son 5 arrays dinámicos int8.
La razón de esto es que T[5] es siempre un array de 5 T,
no importa si T en sí mismo es un array o no (esto no es el
caso en C o Java).
¿Es posible devolver un array de cadenas (string[]) desde una función de Solidity?¶
Todavía no, ya que esto requiere dos niveles de arrays dinámicos (string es un array dinámico en sí).
Si se emite una llamada para un array, es posible recuperar todo el array? ¿O tienes que escribir una función de ayuda para eso?¶
La función getter automática, para una variable de estado público del tipo array sólo devuelve elementos individuales. Si quieres devolver el array completo, tienes que escribir manualmente una función para hacerlo.
¿Qué podría haber sucedido si una cuenta tiene valor(es) de almacenamiento pero no tiene código? Ejemplo: http://test.ether.camp/account/5f740b3a43fbb99724ce93a879805f4dc89178b5¶
Lo último que hace un constructor es devolver el código del contrato. Los gastos de gas para esto dependen de la longitud del código y puede ser que el gas suministrado no es suficiente. Esta situación es la única donde una excepción “out of gas” no revierte los cambios al estado, es decir, en este caso la inicialización de las variables de estado.
https://github.com/ethereum/wiki/wiki/Subtleties
Después de la subejecución de una operación CREATE exitosa, si la operación devuelve x, 5 * len(x) gas se resta del gas restante antes de que se crea el contrato. Si el gas restante es menos de 5 * len(x), entonces no se resta ningún gas, el código del contrato creado se convierte en la cadena vacía, pero esto no se trata como una condición excepcional - no se producen reversiones.
¿Qué hace la siguiente extraña comprobación en el contrato de Custom Token?¶
require((balanceOf[_to] + _value) >= balanceOf[_to]);
Los números enteros en Solidity (y la mayoría de los otros lenguajes de programación relacionados con máquinas) están restringidos a un rango determinado.
Para uint256, esto es 0 hasta 2**256 - 1. Si el resultado de alguna operación en esos números
no cabe dentro de este rango, este es truncado. Estos truncamientos pueden tener
serias consecuencias, asi que codifica como el de
arriba es necesario para evitar ciertos ataques.