Ich habe mit konstanten Variablen in einem Vertrag gearbeitet
contract X{
uint constant var1=now;
uint var2=now;
function checkConstant() returns(uint,uint){
return (var1,var2);
}}
Ich habe mich jedes Mal gewundert, wenn ich anrufe checkConstant(..), dass der Rückgabewert von var1unterschiedlich war, der Wert von var2jedoch gleich war.
Wenn ich also eine Variable als konstant deklariere, verstehe ich nicht, warum sie jedes Mal initialisiert wird, wenn eine Funktion aufgerufen wird. Idealerweise sollte sie zum Zeitpunkt der Vertragsbereitstellung einen Anfangswert erhalten und diesen Wert während der gesamten Vertragslaufzeit beibehalten.
Dies funktioniert wie dokumentiert, obwohl es nicht intuitiv ist, wird der Grund schnell klar:
Zustandsvariablen können als konstant deklariert werden [...] Dies bewirkt, dass der Compiler keinen Speicherplatz für diese Variablen reserviert und jedes Auftreten durch ihren konstanten Wert ersetzt wird.
Details dokumentiert in TIB (Today I Burnt) 0.01 ETH Using Constant State Variables In A Solidity Contract .
Die Verwendung einer konstanten Zustandsvariablen führt zu unerwarteten Ergebnissen, zum Beispiel:
uint256 public constant PRESALE_START_DATE = now;
uint256 public constant PRESALE_END_DATE = PRESALE_START_DATE + 15 minutes;
uint256 public constant OWNER_CLAWBACK_DATE = PRESALE_START_DATE + 20 minutes;
Die Variablen:
PRESALE_START_DATE will ALWAYS have the current time value
PRESALE_END_DATE will ALWAYS have a date 15 minutes in the future
OWNER_CLAWBACK_DATE will ALWAYS have a date 20 minutes in the future
Mustervertrag unter 0xe67907329dafd1ff826523e3f491bec8733f7376 . Aktualisieren Sie die Seite und Sie werden sehen, wie diese konstanten Variablen aktualisiert werden. SENDEN SIE KEINE GELDMITTEL AN DIESEN VERTRAG
Ich habe Problem Nr. 76 erstellt – Bitte fügen Sie eine Warnung über die Verwendung konstanter Zustandsvariablen in Sicherheitstechniken und Tipps für Ethereum-Kontrakte hinzu .
Ein paar andere Beispiele, bei denen die Konstante nicht konstant ist.
pragma solidity ^0.4.8;
contract Test {
bytes32 public constant MY_DATE = keccak256(now);
function check() constant returns (bytes32) {
return MY_DATE;
}
}
Aus dem Kommentar von @TjadenHess unten:
pragma solidity ^0.4.8;
contract Test {
address public constant MY_ADDRESS = msg.sender;
function check() constant returns (address) {
return MY_ADDRESS;
}
}
address constant owner = msg.sender...initial value for constant must be compile-time constant. This will fail to compile with the next breaking version changeBetrachtet man den Bytecode, so ist die TIMESTAMP-Anweisung selbst der konstante Wert. Dies ist sinnvoll, da konstante Werte als Literale (inline mit dem Bytecode) kompiliert werden. Die Verwendung einer Zustandsvariablen weist stattdessen den Wert von nowwährend der Konstruktion zu und behält diesen Wert bei.
contract constTest
{
uint constant public constNow = now;
uint constant public ffff = 0xffff;
uint public stateNow = now;
}
Demontage vonuint constant public constNow = now;
...
104 JUMPDEST
105 TIMESTAMP
106 DUP2
107 JUMP
...
Verglichen mit einem wörtlichen Wert inconstant ffff = 0xffff;
....
155 JUMPDEST
156 PUSH2 ffff
159 DUP2
160 JUMP
....
Die effektive Problemumgehung besteht darin, eine Zustandsvariable anstelle einer Konstante zu verwenden, wenn Sie mit der now/ TIMESTAMP-Anweisung arbeiten.
Roland Köfler
Prashant Prabhakar Singh
Roland Köfler
calldie Funktion ohne Transaktionen ausführen und den Rückgabewert erhalten können. Aber bei Transfer ist das natürlich etwas ganz anderes.Gor