这将创建一个空数组:
let thing: [String; 0] = [];
Run Code Online (Sandbox Code Playgroud)
您还可以从数组中获取一个切片:
let thing: &[String] = &[];
Run Code Online (Sandbox Code Playgroud)
您也可以使用as:
some_function([] as [String; 0]);
some_function(&[] as &[String]);
Run Code Online (Sandbox Code Playgroud)