Solidity使用编译器
一夜雨十年灯潞
发表于 2022-12-30 10:46:18
140
0
0
… note:: 这一节并不适用于 :ref:solcjs 1 ]/ L6 W+ } f8 x4 X8 a
solc 是 Solidity 源码库的构建目标之一,它是 Solidity 的命令行编译器。你可使用 solc --help 命令来查看它的所有选项的解释。该编译器可以生成各种输出,范围从简单的二进制文件、汇编文件到用于估计“gas”使用情况的抽象语法树(解析树)。如果你只想编译一个文件,你可以运行 solc --bin sourceFile.sol 来生成二进制文件。如果你想通过 solc 获得一些更高级的输出信息,可以通过 solc -o outputDirectory --bin --ast --asm sourceFile.sol 命令将所有的输出都保存到一个单独的文件夹中。
Before you deploy your contract, activate the optimizer while compiling using solc --optimize --bin sourceFile.sol. By default, the optimizer will optimize the contract for 200 runs. If you want to optimize for initial contract deployment and get the smallest output, set it to --runs=1. If you expect many transactions and don’t care for higher deployment cost and output size, set --runs to a high number.
命令行编译器会自动从文件系统中读取并导入的文件,但同时,它也支持通过 prefix=path 选项将路径重定向。比如:
::% E3 Q. ~! M" d, X% m* w
solc github.com/ethereum/dapp-bin/=/usr/local/lib/dapp-bin/ =/usr/local/lib/fallback file.sol3 n) Q4 ~2 e4 P( m7 Z
这实质上是告诉编译器去搜索 /usr/local/lib/dapp-bin 目录下的所有以 github.com/ethereum/dapp-bin/ 开头的文件,如果编译器找不到这样的文件,它会接着读取 /usr/local/lib/fallback 目录下的所有文件(空前缀意味着始终匹配)。solc 不会从位于重定向目标之外和显式指定的源文件所在目录之外的文件系统读取文件,所以,类似 import "/etc/passwd"; 这样的语句,编译器只会在你添加了 =/ 选项之后,才会尝试到根目录下加载 /etc/passwd 文件。
如果重定向路径下存在多个匹配,则选择具有最长公共前缀的那个匹配。+ H M3 \: `& B) ~
出于安全原因,编译器限制了它可以访问的目录。在命令行中指定的源文件的路径(及其子目录)和通过重定向定义的路径可用于 import 语句,其他的则会被拒绝。额外路径(及其子目录)可以通过 --allow-paths /sample/path,/another/sample/path 进行配置。
如果您的合约使用 :ref:libraries ,您会注意到在编译后的十六进制字节码中会包含形如 __LibraryName____ 的字符串。当您将 solc 作为链接器使用时,它会在下列情况中为你插入库的地址:要么在命令行中添加 --libraries "Math:0x12345678901234567890 Heap:0xabcdef0123456" 来为每个库提供地址,或者将这些字符串保存到一个文件中(每行一个库),并使用 --libraries fileName 参数。
如果在调用 solc 命令时使用了 --link 选项,则所有的输入文件会被解析为上面提到过的 __LibraryName____ 格式的未链接的二进制数据(十六进制编码),并且就地链接。(如果输入是从stdin读取的,则生成的数据会被写入stdout)。在这种情况下,除了 --libraries 外的其他选项(包括 -o )都会被忽略。
如果在调用 solc 命令时使用了 --standard-json 选项,它将会按JSON格式解析标准输入上的输入,并在标准输出上返回JSON格式的输出。
编译器输入输出JSON描述! {: m4 K) z ?$ F
下面展示的这些JSON格式是编译器API使用的,当然,在 solc 上也是可用的。有些字段是可选的(参见注释),并且它们可能会发生变化,但所有的变化都应该是后向兼容的。
编译器API需要JSON格式的输入,并以JSON格式输出编译结果。
注释是不允许的,这里仅用于解释目的。) h C! H# O; m9 R R
输入说明7 c* `5 {) z5 M9 h4 E @
… code-block:: none1 R" W. S. }5 D7 x: [
{
// 必选: 源代码语言,比如“Solidity”,“serpent”,“lll”,“assembly”等
language: "Solidity",
// 必选
sources:8 W, ~" [4 ]/ k, X
{
// 这里的键值是源文件的“全局”名称,可以通过remappings引入其他文件(参考下文)
"myFile.sol":" m5 \3 s F5 i8 W a
{( l) R) s" i' I. M# z
// 可选: 源文件的kaccak256哈希值,可用于校验通过URL加载的内容。2 O0 I9 y* |" ~0 }
"keccak256": "0x123...",, o1 l1 x/ o6 F: X
// 必选(除非声明了 "content" 字段): 指向源文件的URL。
// URL(s) 会按顺序加载,并且结果会通过keccak256哈希值进行检查(如果有keccak256的话)
// 如果哈希值不匹配,或者没有URL返回成功,则抛出一个异常。, y2 S6 @+ @3 ~
"urls":9 G! Y4 ~6 Q( Z% [
[' W, y+ `# f1 C1 L
"bzzr://56ab...",5 S5 x/ O0 @" a2 K. X5 e/ y1 G( {: K
"ipfs://Qma...",
"file:///tmp/path/to/file.sol"
]
},- ~4 V/ E7 `* L$ R
"mortal":+ k0 K: ~; @& j! r% T0 h0 ]- g5 Q
{
// 可选: 该文件的keccak256哈希值
"keccak256": "0x234...",
// 必选(除非声明了 "urls" 字段): 源文件的字面内容
"content": "contract mortal is owned { function kill() { if (msg.sender == owner) selfdestruct(owner); } }"% s5 j1 V7 {8 X
}
},4 s) [( K3 S; K$ q& D
// 可选. j& \' o0 t* ^) H( S
settings:! M5 e* z; N* E- N8 k5 j6 p
{/ K8 n5 E$ _& e* k& ]4 s/ T
// 可选: 重定向参数的排序列表
remappings: [ ":g/dir" ],& e* E) u7 j5 ?5 X: C9 a4 U
// 可选: 优化器配置4 A5 _3 R; f* x, H
optimizer: {
// 默认为 disabled7 K- X& W; m( y: T8 b* _
enabled: true,/ l! ?4 ]' W0 k- d) L
// 基于你希望运行多少次代码来进行优化。
// 较小的值可以使初始部署的费用得到更多优化,较大的值可以使高频率的使用得到优化。0 O' j! {1 i5 G* D( v; p
runs: 200
},+ F) C2 e* y6 ?
// 指定需编译的EVM的版本。会影响代码的生成和类型检查。可用的版本为:homestead,tangerineWhistle,spuriousDragon,byzantium,constantinople
evmVersion: "byzantium",/ Q$ v* {* r, R w# @ i, c
// 可选: 元数据配置
metadata: {# z1 ~2 w u6 `# g% f q
// 只可使用字面内容,不可用URLs (默认设为 false)* D$ o6 S3 S J1 E0 k! | X
useLiteralContent: true: ]& d" ~3 I5 V+ p0 R
},- Q, K* D7 B9 m- J2 m% z+ Z. u5 \
// 库的地址。如果这里没有把所有需要的库都给出,会导致生成输出数据不同的未链接对象
libraries: {0 ^3 |; `0 ^4 a
// 最外层的 key 是使用这些库的源文件的名字。
// 如果使用了重定向, 在重定向之后,这些源文件应该能匹配全局路径4 x e6 E! M( M) z+ |
// 如果源文件的名字为空,则所有的库为全局引用
"myFile.sol": {
"MyLib": "0x123123..."$ t5 u4 W( k7 K+ W9 ~7 _9 ~$ E, o
}
}$ r; L9 P! w9 {
// 以下内容可以用于选择所需的输出。
// 如果这个字段被忽略,那么编译器会加载并进行类型检查,但除了错误之外不会产生任何输出。 ^+ @, Z1 S( v8 x$ k- \
// 第一级的key是文件名,第二级是合约名称,如果合约名为空,则针对文件本身(进行输出)。
// 若使用通配符*,则表示所有合约。
//' A. k( H4 e; H9 |4 Z
// 可用的输出类型如下所示:, T) @: a W' ^/ v0 m% X- D
// abi - ABI a6 J$ K( k6 f1 U, k# M
// ast - 所有源文件的AST
// legacyAST - 所有源文件的legacy AST, Z1 y3 l; H0 i+ g0 C
// devdoc - 开发者文档(natspec)9 T$ }6 V/ t& l2 n& n3 a# L
// userdoc - 用户文档(natspec)0 |' R; j2 u5 G& ~, ^
// metadata - 元数据5 _" c# u6 T5 n6 O( `7 r+ @
// ir - 去除语法糖(desugaring)之前的新汇编格式1 @/ k9 L" `6 j# F/ {9 o
// evm.assembly - 去除语法糖(desugaring)之后的新汇编格式" n& k% X2 S" B
// evm.legacyAssembly - JSON的旧样式汇编格式
// evm.bytecode.object - 字节码对象6 [1 v* c5 q6 \) Y( ~8 w
// evm.bytecode.opcodes - 操作码列表
// evm.bytecode.sourceMap - 源码映射(用于调试)# W2 ~+ o" r; Q
// evm.bytecode.linkReferences - 链接引用(如果是未链接的对象)
// evm.deployedBytecode* - 部署的字节码(与evm.bytecode具有相同的选项)
// evm.methodIdentifiers - 函数哈希值列表
// evm.gasEstimates - 函数的gas预估量
// ewasm.wast - eWASM S-expressions 格式(不支持atm)% e9 \. s* E) z* G/ {( D* q
// ewasm.wasm - eWASM二进制格式(不支持atm)
/// w/ ^4 J( G" a4 L
// 请注意,如果使用 `evm` ,`evm.bytecode` ,`ewasm` 等选项,会选择其所有的子项作为输出。 另外,`*`可以用作通配符来请求所有内容。
//
outputSelection: {
// 为每个合约生成元数据和字节码输出。
"*": {1 \- c+ z6 W% }' |# a
"*": [ "metadata","evm.bytecode" ]* L8 K0 k9 Y6 m3 K, j1 G2 T5 M& C+ c
},4 \- B8 {+ n6 E* N
// 启用“def”文件中定义的“MyContract”合约的abi和opcodes输出。
"def": {
"MyContract": [ "abi","evm.bytecode.opcodes" ]
},* a# a/ T- Y6 _3 p* k
// 为每个合约生成源码映射输出
"*": {5 ^/ c2 P6 {9 p$ ]2 d* X
"*": [ "evm.bytecode.sourceMap" ]" ^: e0 _2 I+ _; U
},
// 每个文件生成legacy AST输出2 Q+ _ M& q& I* N) G
"*": {
"": [ "legacyAST" ], x0 @- W$ c6 z2 B/ |$ S3 }
}9 p. p4 E: V, o7 o6 x; C& z+ l! w
}' t& _) n- Q+ K: k3 w% v
}" y1 T& u' F! v1 ]: [8 h: S
}
输出说明
{
// 可选:如果没有遇到错误/警告,则不出现
errors: [
{
// 可选:源文件中的位置) A9 y4 I2 J$ b' S" A2 n
sourceLocation: {8 B# X: V3 h4 b- m2 ~' e) B
file: "sourceFile.sol",
start: 0,
end: 100' Z" g& N/ N/ r' D5 x
],( n7 _. G4 ?" N: m4 X. T2 z
// 强制: 错误类型,例如 “TypeError”, “InternalCompilerError”, “Exception”等.
// 可在文末查看完整的错误类型列表
type: "TypeError",
// 强制: 发生错误的组件,例如“general”,“ewasm”等
component: "general",
// 强制:错误的严重级别(“error”或“warning”)+ C) O- b7 N% u, q5 s
severity: "error",) n) ]" ]$ a9 ]- `- B# H9 j3 s
// 强制8 p6 a2 D" F* w3 F: k8 n$ _
message: "Invalid keyword"* h* Y6 B# a# Y8 f* `7 S. s
// 可选: 带错误源位置的格式化消息) t- M: m7 O2 j
formattedMessage: "sourceFile.sol:100: Invalid keyword"% ^5 ~# {2 b. ?+ p3 W
}5 R. q1 m1 k, a1 s
],3 D. E$ ^( f% {' T. F* \) r" e( c* p
// 这里包含了文件级别的输出。可以通过outputSelection来设置限制/过滤。9 \6 n+ P1 D! B2 \& V
sources: {9 n+ G5 U5 Y8 j, L, H3 w2 d {
"sourceFile.sol": {
// 标识符(用于源码映射)
id: 1,
// AST对象0 s( O* G1 k, _
ast: {},6 H& }& c& O O
// legacy AST 对象2 W: n' d2 @/ r6 w7 X- R
legacyAST: {}
}. Z! B) k. Z5 a$ H- j1 c- u
},
// 这里包含了合约级别的输出。 可以通过outputSelection来设置限制/过滤。% L0 Z8 E4 p( s
contracts: {% \4 H& s9 l5 T5 u% O
"sourceFile.sol": { Y3 c |/ p p' N. X
// 如果使用的语言没有合约名称,则该字段应该留空。
"ContractName": {
// 以太坊合约的应用二进制接口(ABI)。如果为空,则表示为空数组。& r: b7 W# b* C0 p
// 请参阅 https://github.com/ethereum/wiki/wiki/Ethereum-Contract-ABI, L1 v5 G9 }3 B% ~! n/ w
abi: [],4 m2 v0 \. P' S8 N: \
// 请参阅元数据输出文档(序列化的JSON字符串)
metadata: "{...}",0 K7 V1 s& l& ]: |5 H
// 用户文档(natspec). J4 [3 \$ c9 H, g
userdoc: {},, t% G, @# p! Y, f
// 开发人员文档(natspec)1 B, ~4 T, w8 K' v( [' F
devdoc: {},0 o& s+ k/ B2 K0 v
// 中间表示形式 (string)* r: V9 O% W: X1 u- \1 G* \/ j0 O
ir: "",! F5 w& F- _6 y7 P; n
// EVM相关输出$ o/ k/ n" U! D# f5 `8 M/ M
evm: {
// 汇编 (string)
assembly: "",1 N m1 r6 _5 E! s3 ~+ t$ S
// 旧风格的汇编 (object)* c/ _) ?3 Z1 ?1 R
legacyAssembly: {},
// 字节码和相关细节
bytecode: {
// 十六进制字符串的字节码( P1 s: r" j! k& z5 e* }# h+ p" ^( t
object: "00fe",# G) Z% K7 k- G: ?# U$ Z& P" R* l
// 操作码列表 (string)0 F3 [- [: j( i8 q- G' Z1 U8 \
opcodes: "",
// 源码映射的字符串。 请参阅源码映射的定义
sourceMap: "",
// 如果这里给出了信息,则表示这是一个未链接的对象
linkReferences: {
"libraryFile.sol": {
// 字节码中的字节偏移;链接时,从指定的位置替换20个字节
"Library1": [% C/ l6 ~( A$ ~: I0 F
{ start: 0,length: 20 },1 [) D, Z, B4 L" }8 }) `- I
{ start: 200,length: 20 }# G! v/ ^1 S9 \0 H- F0 w9 j
]/ {3 _! x7 Y9 U$ s9 V+ i1 P
}1 q9 Y2 N/ N: W) P
}2 e! [7 y7 n) X) H! l+ U6 Z$ }' x
},
// 与上面相同的布局
deployedBytecode: { },
// 函数哈希的列表& u- q* O! C5 y" D- |
methodIdentifiers: {
"delegate(address)": "5c19a95c"0 P8 b& ^7 x' [ }
},
// 函数的gas预估量
gasEstimates: {
creation: {
codeDepositCost: "420000",8 E, R1 n! J @0 ^
executionCost: "infinite",
totalCost: "infinite"4 l# A# j) ^- J8 P0 I( M
},
external: {
"delegate(address)": "25000"
},
internal: {
"heavyLifting()": "infinite"7 F5 J% n' H9 Y2 K$ k+ c
}. s9 @1 Y. e4 n, _7 Z0 S
}# Y7 Q9 m+ ]- G+ P/ n) u2 @8 n* r
},8 p: f+ o9 W9 z9 R- g2 ^
// eWASM相关的输出
ewasm: {$ X8 v3 F) Z& i4 I+ k
// S-expressions格式: q! ?+ T2 X. r. o! X, v8 D2 Q
wast: "",
// 二进制格式(十六进制字符串)
wasm: ""
}5 G! a. T/ V6 F N. g. }
}
}
}
}
错误类型5 h5 b- |$ h3 ^ A+ \4 {
1. ``JSONError``: JSON输入不符合所需格式,例如,输入不是JSON对象,不支持的语言等。
2. ``IOError``: IO和导入处理错误,例如,在提供的源里包含无法解析的URL或哈希值不匹配。
3. ``ParserError``: 源代码不符合语言规则。1 Q4 r: l3 F R; {. c
4. ``DocstringParsingError``: 注释块中的NatSpec标签无法解析。9 p! X. }5 H1 v6 x1 c
5. ``SyntaxError``: 语法错误,例如 ``continue`` 在 ``for`` 循环外部使用。
6. ``DeclarationError``: 无效的,无法解析的或冲突的标识符名称 比如 ``Identifier not found``。4 O, ?3 N! K+ L; o: ^# C
7. ``TypeError``: 类型系统内的错误,例如无效类型转换,无效赋值等。% X# p: W- \0 j6 F- p
8. ``UnimplementedFeatureError``: 编译器当前不支持该功能,但预计将在未来的版本中支持。
9. ``InternalCompilerError``: 在编译器中触发的内部错误——应将此报告为一个issue。
10. ``Exception``: 编译期间的未知失败——应将此报告为一个issue。; g& J! S* X3 v" ^) n
11. ``CompilerError``: 编译器堆栈的无效使用——应将此报告为一个issue。. q* T9 M( X0 K/ N; s+ X0 D
12. ``FatalError``: 未正确处理致命错误——应将此报告为一个issue。) \, E* |+ R3 o c# R/ }9 Y
13. ``Warning``: 警告,不会停止编译,但应尽可能处理。
https://github.com/etherchina/solidity-doc-cn/blob/develop/using-the-compiler.rst
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
成为第一个吐槽的人