NEO 编译器支持的 C# 特性6 U: Y& ]: M6 X3 w1 r M
使用 C# 开发智能合约时,你无法使用 C# 的全部特性。会存在一些限制以及不支持的功能,这些限制的根源,来自于 NeoVM 和 Dotnet IL 的差异性。
因为 NeoVM 更加精简,所以我们只能将有限的 C# / dotnet 特性编译为 AVM 文件。
关于类型2 b" t e5 B `
NeoVM 有几种基本类型:
而从 AVM 代码中能直接产生的基本类型只有:
C# 的基本类型有0 o' c2 R6 K: |9 X4 O6 P
因为虚拟机层次基本类型的差异,使得 C# 基本类型并不能完全支持,使用中会有一些特殊情况。
C# 整数类型的支持
Int8 int16 int32 int64 uint8 uint16 uint32 uint645 [, F: M. Q' Z6 `
因为 NeoVM 只有一种 Integer,底层实现是 BigInteger,比 C# 的范围要大,所以这些整数类型均可使用。
一种数值类型 VARINT,在底层实现时表现为 BigInteger 类型。
另外对 C# 的 BigInteger 也可以支持:
ulong total_neo = 200;2 i1 ?. T- x* X% {9 F C- z
BigInteger ico_neo = 300;0 L( B8 P1 M* S" C6 ?+ q
BigInteger balance_neo = total_neo - ico_neo;
ulong value = 150;
需要注意在将数值类型转型为更小的类型时,编译为 AVM 之后并不会截断数值(byte)(ulong)" d% \0 m! V* K7 i2 c
对所有整数类型支持数学运算符 + - * / % 加减乘除余:, [6 W5 U6 `7 ^
var a1 = abc + 1;
var a2 = abc - 1;
var a3 = abc * 1;6 k# G) w% H9 d6 I8 m: Y
var a4 = abc / 1;2 I) s; j/ R4 s* I9 H9 z( M
var a5 = abc % 2;
对所有整数类型支持逻辑运算 大于、大于等于、小于、小于等于、等于、不等于:
if (a1 > a2) ;
if (a2 = a2) ;
if (a1
支持整数的自增操作符:" n8 v% O( W" [& }
int k = 100;3 R" d- }1 q% I2 N8 {. e" w' `
for (int j = 0; j , |+ L' l3 |3 g0 ?7 @8 ]! M
C# 浮点类型的支持
不支持
C# bool 类型的支持
基本支持,底层行为和 INT 类似,false 为 int 0。* y7 M8 B. l3 j; I
C# char string 类型的支持
不完全支持,由于在 NeoVM 层次,string 也是作为 bytearray 处理,和 C# 中的 string 是不同的,编译到 AVM 的 string 实际是它的 UTF8 编码的 bytearray,请勿使用任何 string 高级处理函数,仅将 string 作为一种特殊类型处理。
尤其不要使用 string 处理中文。1 x; s) Q) j4 E/ J) l' A" b3 J
string ss3 = "ab";
ss3 += "c";
var ss = "abcdef";+ Z( F! o3 m3 k6 t4 ]! v/ m
var b2 = ss.Length;
var c = ss + "abc";
var d = ss.Substring(1, 2);
支持针对 bytes 操作的 string 的连接,取长度,截取操作,在英文处理时与 C# string 相同,不支持处理中文。
另外,由于没有其它类型格式化为 string 的支持,所以 “abc”+1.ToString() 与 C# 结果不同。7 H3 ]9 N9 h$ |8 F! o0 l% Z% I6 n
char 类型作为整数支持。
C# class 和 结构体的支持4 W6 H) E7 Q, u" E) v
支持 C# class 和结构体定义。9 v }0 v5 T( b7 P# [$ \
public class info- ^4 a! F% K) |3 G
{
public byte[] a;
public byte[] b;5 g" r$ C ^' z" b: h. W/ Q% p
}/ |% o% b& U6 l$ h: c8 P# m8 p
不支持在其中自定义成员函数,使用 APPCALL 之类特性的 extern 成员函数例外。
不支持自定义构造函数,使用 OPCALL 特性的 extern 构造函数例外。0 m* H5 j6 c& G) e7 n" U- Q( x
C# 数组的支持
数组支持,行为基本和 C# 一致。
Byte[] 例外,因为 byte[] 是 NeoVM 底层的特别类型。
对一般数组可以用的设置其中的值的操作
short[] some = new short[17];) K4 ~% K+ ~# K; v* B
some[1] = 12;8 s: }$ e7 f, a5 O
return some;
对 Byte[] 不允许。
C# 枚举的支持
支持仅作为数值使用时定义枚举。. B7 ^ t( Q! [9 c
不支持格式化为 String,以及从 String 解析等。
C# 容器的支持
不支持 C# 常用的 LIST Dictionary 容器。6 O0 n9 A1 _( t7 g# A
LIST 功能可以用数组替代。
Dictionary 功能可以用 NEO DOTNET DEVPACK 中的 MAP 替代。
C# 变量的支持0 ?2 r1 _- J: y( z
临时变量不限,支持定义 const 变量和静态成员变量。支持静态成员变量直接赋初值。. u9 t- i5 n/ m1 | I' j
private const ulong total_neo = total_ico_usd / neo_to_usd * neo_decimals;4 I" I5 y. X; v- S
public static BigInteger TotalIcoNeo() => total_neo;6 c' I% `# ~% }3 T6 z3 D
C# 委托和事件的支持+ O) C3 m v; ?9 c) b; }
C# 委托可以定义,定义的委托有两个功能,都是 NeoVM 的特别功能。$ K; L4 E: J! @7 h3 K
public delegate void acall(string a);
一是可以用来定义事件:
public static event acall dododo;
调用这个事件则会被 NEO C# 编译器理解为调用 Notify 方法,可参考 NEP5 的通知事件。1 a0 @/ x3 O, o7 y- A) [2 I5 n0 U
另一个是可以将一个 bytearray 转型为一个委托:' x }& o* X4 ^5 C
acall call = (acall)new byte[] { 01, 02, 03 }.ToDelegate();
这就实现了对一个指定地址的智能合约的调用,参考 NEP4。
C# 开发约定
C# 的导出要求
NEO C# 编译器要求一个智能合约有且只有一个名为 Main 的 public static 函数作为入口点。
其它要导出的函数都应该为 public static,且不可重名。3 E2 P" w& t. }; ^$ e4 p
C# 的委托和定义2 c! B: h( @# P! j {. S
C# 的委托和事件具有特殊的功能,参考 C# 委托和事件的支持。5 K$ E- z* k9 @0 `. E
分别对应 NEO 智能合约的通知与 NEP4。/ l% O. S* }! w. V4 o
内置特性+ M( \& q) M4 r# ^- h
如果你观察 NEO DEVPACK 会看到很多 extern 的外部函数,实际上他们并没有外部实现,只是不需要实现。他们由特性标记功能。
也可以在你的智能合约代码中使用这些功能。! {& d3 T Q: O; H
APPCALL特性
调用一个具有 APPCALL 特性的函数,会调用指定的智能合约。
[Appcall("97b9373228d508155d5bdf75cd4703dfb1137fe0")]+ `4 R. h! ^/ h( U- {# g6 X1 ` e
public static extern bool AnotherContract(string arg, object[] args);7 n& `& ^% w4 |$ o/ b! S7 c
SYSCALL特性3 e i. K+ w9 v% v( j
调用一个具有 Syscall 特性的函数,实际上会调用对应的系统函数:6 S: x. I# t( S' X2 e% y( F$ m
[Syscall("Neo.Account.GetBalance")]" K) Q7 T6 ]% S& |; v& J+ ?
public extern long GetBalance(byte[] asset_id);
OPCALL 特性' _' a* P5 b; w
调用一个具有 OPCODE 特性的函数时,该调用会被翻译成一条指令:! {( W& W* v( ^9 h2 C9 y% _
[OpCode(Neo.VM.OpCode.LEFT)]
public extern static byte[] Take(byte[] good, int index);. x: x# N* w5 f- {. f( b, ~: F
NONEMIT 特性' V2 w) y0 u2 f; ?! V. ]
执行一个具有 NonEMit 特性的函数,通常都是用来完成一些满足语法的转换,实际上在 NeoVM 底层并不需要转换。5 L3 j3 U8 a/ D! h) ?* _
[Nonemit]- k8 i' `$ n3 z! `1 K4 X
public extern static Delegate ToDelegate(this byte[] source);
NonemitWithConvert 特性
当执行一个具有 NonemitWithConvert 特性的函数时,实际只是执行一个转换。这个函数的入参必须是一个常数,因为这个转换是在编译阶段执行的。& J3 o/ V, a6 {
[NonemitWithConvert(ConvertMethod.ToScriptHash)]
public extern static byte[] ToScriptHash(this string address);( o$ Q0 b! E1 Z
例如, "ASH……wk".ToScriptHash(); 是合法的,因为编译器可以执行对 “ABCD” 的转换。/ _9 E. s* A& U& B0 F k3 Q+ f& {
而 String xxx = "ASH……wk"; xxx.ToScriptHash(); 是非法的,因为编译器无法确定 XXX 的值。