芝士MCFPP

MCFPP是一个能被编译为Minecraft数据包的全新的面向对象的语言。它旨在以类似C系语言的语法，进行数据包的编写，并引入编程中常用的概念，从而使数据包的编写更加的便利。

仓库地址：https://github.com/MinecraftFunctionPlusPlus/MCFPP

项目官网：https://www.mcfpp.top

目前最新版本：SNAPSHOT 25m01a

要做什么

java.util.HashMap mcfpp.lang.dict和mcfpp.lang.map，基于NBT复合标签的字典实现，以及可遍历的简单包装版本

怎么做的

神圣NBT让命令天然就有了字典这种数据类型。

但是可惜的是，原版的复合标签只提供了基本的读写能力，甚至完全不具备遍历能力。这也是为什么MCFPP提供了两个类型，dict和map，分别对应的是最基本的最原版的复合标签，以及维护了一个键列表从而能提供简单遍历功能的包装版本。

dict<E>

dict类型是最基本的复合标签，实现于top.mcfpp.core.lang.nbt.NBTDictionary。它有一个泛型参数E，决定了这个字典里面能存什么类型的数据。

使用[string key]索引访问字典中的内容。

函数名	参数	返回值	作用
containsKey	string key	bool	判断字典中是否包含指定键
merge	dict dict	void	合并两个字典
remove	string key	void	移除指定键的键值对
clear	-	void	清空字典

以下是一个使用例

namespace test;

func main(){
    dynamic dict<any> qwq = {
        a:1,
        b:"test",
        c:[1,2,3]
    };
    print(qwq);
    print((nbt)qwq["a"]);
    qwq["d"] = {a:"b"};
    print(qwq);
    print(qwq.containsKey("a"));
    print(qwq.containsKey("x"));
    dict<any> pwp = {
        e: 1,
        f: 2,
        g: 3
    };
    qwq.merge(pwp);
    print(qwq);
    qwq.remove("a");
    print(qwq);
}

map<E>

MAP的遍历功能还没有做好，只是把底子铺好了。点点star助力项目开发~

map类型维护了一个键的列表。在map类型的数据中，有两个子成员，一个keys，即键列表，一个keyValueSet，也就是一个复合标签。换句话说，map类型是一个列表加一个字典。

map同样拥有一个泛型参数E，决定了map中能存的内容。

可以直接访问keys和keyValueSet两个成员。

函数名	参数	返回值	作用
clear	void	void	清空map
containsKey	string key	bool	判断map中是否包含指定键
isEmpty	void	bool	判断map是否为空
remove	string key	void	移除指定键的键值对
merge	map<T> map	void	合并两个map
size	void	int	获取map的大小

使用例：

namespace test;

func main(){
    dynamic map<any> qwq = {
        a:1,
        b:"test",
        c:[1,2,3]
    };
    print(qwq);
    print((nbt)qwq["a"]);
    qwq["d"] = {a:"b"};
    print(qwq);
    print(qwq.containsKey("a"));
    print(qwq.containsKey("x"));
    map<any> pwp = {
        e: 1,
        f: 2,
        g: 3
    };
    qwq.merge(pwp);
    print(qwq);
    qwq.remove("a");
    print(qwq);
}

编译结果：
test:main

data modify storage mcfpp:system stack_frame prepend value {}
#field: map<any> qwq = {a:1,b:"test",c:[1,2,3]}
data modify storage mcfpp:system stack_frame[0].qwq.keys set value [a,b,c]
data modify storage mcfpp:system stack_frame[0].qwq.keyValueSet set value {a:1,b:test,c:[1,2,3]}
#expression: print(qwq)
#print(qwq)
tellraw @a {"type":"nbt","nbt":"stack_frame[0].qwq", "storage":"mcfpp:system","interpret":false}
#expression end: print(qwq)
#expression: print((nbt)qwq["a"])
#print((nbt)qwq["a"])
tellraw @a {"type":"nbt","nbt":"stack_frame[0].qwq.keyValueSet.a", "storage":"mcfpp:system","interpret":false}
#expression end: print((nbt)qwq["a"])
#expression: qwq["d"]={a:"b"}
data modify storage mcfpp:system stack_frame[0].qwq.keyValueSet.d set value {a:b}
data modify storage mcfpp:system stack_frame[0].qwq.keys append value d
#expression end: qwq["d"]={a:"b"}
#expression: print(qwq)
#print(qwq)
tellraw @a {"type":"nbt","nbt":"stack_frame[0].qwq", "storage":"mcfpp:system","interpret":false}
#expression end: print(qwq)
#expression: print(qwq.containsKey("a"))
#print(qwq.containsKey("a"))
#containsKey("a")
execute store result score test_func_containsKey_return mcfpp_boolean if data storage mcfpp:system stack_frame[0].qwq.keyValueSet.a
tellraw @a {"type":"score","score":{"name":"test_func_containsKey_return","objective":"mcfpp_boolean"}}
#expression end: print(qwq.containsKey("a"))
#expression: print(qwq.containsKey("x"))
#print(qwq.containsKey("x"))
#containsKey("x")
execute store result score test_func_containsKey_return mcfpp_boolean if data storage mcfpp:system stack_frame[0].qwq.keyValueSet.x
tellraw @a {"type":"score","score":{"name":"test_func_containsKey_return","objective":"mcfpp_boolean"}}
#expression end: print(qwq.containsKey("x"))
#field: map<any> pwp = {e:1,f:2,g:3}
#expression: qwq.merge(pwp)
#merge(pwp)
data modify storage mcfpp:system stack_frame[0].pwp.keys set value [e,f,g]
data modify storage mcfpp:system stack_frame[0].qwq.keys append from storage mcfpp:system stack_frame[0].pwp.keys[]
data modify storage mcfpp:system stack_frame[0].qwq.keyValueSet merge value {e:1,f:2,g:3}
#expression end: qwq.merge(pwp)
#expression: print(qwq)
#print(qwq)
tellraw @a {"type":"nbt","nbt":"stack_frame[0].qwq", "storage":"mcfpp:system","interpret":false}
#expression end: print(qwq)
#expression: qwq.remove("a")
#remove("a")
data remove storage mcfpp:system stack_frame[0].qwq.keyValueSet.a
data modify storage mcfpp:system list.element set value a
scoreboard players set list.index mcfpp_temp 0
execute store result score list.size mcfpp_temp run data get storage mcfpp:system list.list
function mcfpp.lang:list/index_of
execute unless score list_index mcfpp_temp matches -1 run function test:remove_temp_33
#expression end: qwq.remove("a")
#expression: print(qwq)
#print(qwq)
tellraw @a {"type":"nbt","nbt":"stack_frame[0].qwq", "storage":"mcfpp:system","interpret":false}
#expression end: print(qwq)
data remove storage mcfpp:system stack_frame[0]

test:remove_temp_33

execute store result storage mcfpp:system stack_frame[0].list_index int 1 run scoreboard players get list_index mcfpp_temp
function mcfpp:dynamic/macro_34 with storage mcfpp:system stack_frame[0]

mcfpp:dynamic/macro_34

$data remove storage mcfpp:system stack_frame[0].qwq.keys[$(list_index)]

结果：

然后然后

在写map.remove(E e)的时候，我们顺便给list加上了remove函数~

函数名	参数	返回值	作用
remove	E e	void	删除列表中对应的第一个元素，若没有这个元素则不改变列表

同时对any进行了大幅度重构，现在可以用any类型实现类似弱类型语言的功能~

芝士MCFPP

MCFPP是一个能被编译为Minecraft数据包的全新的面向对象的语言。它旨在以类似C系语言的语法，进行数据包的编写，并引入编程中常用的概念，从而使数据包的编写更加的便利。

仓库地址：https://github.com/MinecraftFunctionPlusPlus/MCFPP

项目官网：https://www.mcfpp.top

目前最新版本：SNAPSHOT 25m01a

要做什么

java.util.ArrayList mcfpp.lang.list 基于NBT列表的列表实现

怎么做的

列表类型在源码中对应了top.mcfpp.core.lang.nbt.NBTList类。

本来想把代码直接贴过来发现太长了还是贴github吧23333
https://github.com/MinecraftFunctionPlusPlus/MCFPP/blob/kotlin-latest/src/main/kotlin/top/mcfpp/core/lang/nbt/NBTList.kt

参照Java中的ArrayList实现的API：

函数名	参数	返回值	作用
add	E e	void	向列表中添加一个元素
addAll	list<E> l	void	向列表中添加一组元素
insert	int index, E e	void	在指定位置插入一个元素
removeAt	int index	void	移除指定位置的元素
indexOf	E e	int	返回指定元素的索引
lastIndexOf	E e	int	返回指定元素的最后一个索引
contains	E e	bool	判断列表中是否包含指定元素
clear	void	void	清空列表

add(E e)

直接用data append就好啦

addAll(list<E> l)

用data modify ... append from xxx[]就能追加列表

insert(int index, E e)

直接用data insert

removeAt(int index)

直接用data remove

indexOf(E e) -> int

调用库函数：
mcfpp.lang:list/index_of

# @param list 要检查的列表
# @param element 要检查的元素

# list.index mcfpp_temp当前的索引
# list.size mcfpp_temp列表的长度

# 检查索引是否越界
execute if score list.index mcfpp_temp >= list.size mcfpp_temp run return -1
# 检查第一个元素
execute store success score #if_success mcfpp_temp run data modify storage mcfpp:system list.list[0] set from storage mcfpp:system list.element
# 如果元素符合
execute unless score #if_success mcfpp_temp matches 1 run return run scoreboard players get list.index mcfpp_temp
# 否则，检查第二个元素
data remove storage mcfpp:system list.list[0]
scoreboard players add list.index mcfpp_temp 1
function mcfpp.lang:list/index_of
return -1

lastIndexOf(E e) -> int

调用库函数：
mcfpp.lang:list/last_index_of

#@param list 要检查的列表
#@param element 要检查的元素

#list.last_index_of.index mcfpp_temp当前的索引
#list.last_index_of.size mcfpp_temp列表的长度

#检查索引是否越界
execute if score list.index mcfpp_temp >= list.size mcfpp_temp run return -1
#检查第一个元素
execute store success score #if_success mcfpp_temp run data modify storage mcfpp:system list.list[-1] set from storage mcfpp:system list.element
#如果元素符合
execute unless score #if_success mcfpp_temp matches 1 run return run scoreboard players get list.index mcfpp_temp
#否则，检查第二个元素
data remove storage mcfpp:system list.list[-1]
scoreboard players add list.index mcfpp_temp 1
function mcfpp.lang:list/last_index_of
return -1

contains(E e) -> bool

调用库函数：
mcfpp.lang:list/contains

#@param list 要检查的列表
#@param element 要检查的元素

#list.index mcfpp_temp当前的索引
#list.size mcfpp_temp列表的长度

#检查索引是否越界
execute if score list.index mcfpp_temp >= list.size mcfpp_temp run return 0
#检查第一个元素
execute store success score #if_success mcfpp_temp run data modify storage mcfpp:system list.list[0] set from storage mcfpp:system list.element
#如果元素符合
execute unless score #if_success mcfpp_temp matches 1 run return 1
#否则，检查第二个元素
data remove storage mcfpp:system list.list[0]
scoreboard players add list.index mcfpp_temp 1
function mcfpp.lang:list/contains
return 0

clear()

直接将当前变量的值设置为[]就好啦

效果

源码：

namespace test;

func main(){
    dynamic list<int> l = [1,2,3,4];
    dynamic list<int> l1 = [5,6,7];
    print(l);
    l.addAll(l1);
    print(l);
    l.insert(0,114514);
    l.removeAt(1);
    print(l);
    print(l.indexOf(2));
    print(l.contains(8));
    print(l.contains(2));
    l.clear();
    print(l);
}

dynamic关键字表示变量不会被编译器追踪，不参与编译时优化

编译结果：
（带注释）

data modify storage mcfpp:system stack_frame prepend value {}
#field: list<int> l = [1,2,3,4]
data modify storage mcfpp:system stack_frame[0].l set value [1,2,3,4]
#field: list<int> l1 = [5,6,7]
data modify storage mcfpp:system stack_frame[0].l1 set value [5,6,7]
#expression: print(l)
#print(l)
tellraw @a {"type":"nbt","nbt":"stack_frame[0].l", "storage":"mcfpp:system","interpret":false}
#expression end: print(l)
#expression: l.addAll(l1)
#addAll(l1)
data modify storage mcfpp:system stack_frame[0].l append from storage mcfpp:system stack_frame[0].l1[]
#expression end: l.addAll(l1)
#expression: print(l)
#print(l)
tellraw @a {"type":"nbt","nbt":"stack_frame[0].l", "storage":"mcfpp:system","interpret":false}
#expression end: print(l)
#expression: l.insert(0,114514)
#insert(0,114514)
data modify storage mcfpp:system stack_frame[0].l insert 0 value 114514
#expression end: l.insert(0,114514)
#expression: l.removeAt(1)
#removeAt(1)
data remove storage mcfpp:system stack_frame[0].l[1]
#expression end: l.removeAt(1)
#expression: print(l)
#print(l)
tellraw @a {"type":"nbt","nbt":"stack_frame[0].l", "storage":"mcfpp:system","interpret":false}
#expression end: print(l)
#expression: print(l.indexOf(2))
#print(l.indexOf(2))
#indexOf(2)
data modify storage mcfpp:system list.element set value 2
data modify storage mcfpp:system list.list set from storage mcfpp:system stack_frame[0].l
scoreboard players set list.index mcfpp_temp 0
execute store result score list.size mcfpp_temp run data get storage mcfpp:system list.list
function mcfpp.lang:list/index_of
tellraw @a {"type":"score","score":{"name":"list.index","objective":"mcfpp_temp"}}
#expression end: print(l.indexOf(2))
#expression: print(l.contains(8))
#print(l.contains(8))
#contains(8)
data modify storage mcfpp:system list.element set value 8
data modify storage mcfpp:system list.list set from storage mcfpp:system stack_frame[0].l
scoreboard players set list.index mcfpp_temp 0
execute store result score list.size mcfpp_temp run data get storage mcfpp:system list.list
function mcfpp.lang:list/contains
execute store result score list.contains mcfpp_boolean run function mcfpp.lang:list/contains
tellraw @a {"type":"score","score":{"name":"list.contains","objective":"mcfpp_boolean"}}
#expression end: print(l.contains(8))
#expression: print(l.contains(2))
#print(l.contains(2))
#contains(2)
data modify storage mcfpp:system list.element set value 2
data modify storage mcfpp:system list.list set from storage mcfpp:system stack_frame[0].l
scoreboard players set list.index mcfpp_temp 0
execute store result score list.size mcfpp_temp run data get storage mcfpp:system list.list
function mcfpp.lang:list/contains
execute store result score list.contains mcfpp_boolean run function mcfpp.lang:list/contains
tellraw @a {"type":"score","score":{"name":"list.contains","objective":"mcfpp_boolean"}}
#expression end: print(l.contains(2))
#expression: l.clear()
#clear()
#expression end: l.clear()
#expression: print(l)
#print(l)
tellraw @a "[]"
#expression end: print(l)
data remove storage mcfpp:system stack_frame[0]

（不带注释）

data modify storage mcfpp:system stack_frame prepend value {}
data modify storage mcfpp:system stack_frame[0].l set value [1,2,3,4]
data modify storage mcfpp:system stack_frame[0].l1 set value [5,6,7]
tellraw @a {"type":"nbt","nbt":"stack_frame[0].l", "storage":"mcfpp:system","interpret":false}
data modify storage mcfpp:system stack_frame[0].l append from storage mcfpp:system stack_frame[0].l1[]
tellraw @a {"type":"nbt","nbt":"stack_frame[0].l", "storage":"mcfpp:system","interpret":false}
data modify storage mcfpp:system stack_frame[0].l insert 0 value 114514
data remove storage mcfpp:system stack_frame[0].l[1]
tellraw @a {"type":"nbt","nbt":"stack_frame[0].l", "storage":"mcfpp:system","interpret":false}
data modify storage mcfpp:system list.element set value 2
data modify storage mcfpp:system list.list set from storage mcfpp:system stack_frame[0].l
scoreboard players set list.index mcfpp_temp 0
execute store result score list.size mcfpp_temp run data get storage mcfpp:system list.list
function mcfpp.lang:list/index_of
tellraw @a {"type":"score","score":{"name":"list.index","objective":"mcfpp_temp"}}
data modify storage mcfpp:system list.element set value 8
data modify storage mcfpp:system list.list set from storage mcfpp:system stack_frame[0].l
scoreboard players set list.index mcfpp_temp 0
execute store result score list.size mcfpp_temp run data get storage mcfpp:system list.list
function mcfpp.lang:list/contains
execute store result score list.contains mcfpp_boolean run function mcfpp.lang:list/contains
tellraw @a {"type":"score","score":{"name":"list.contains","objective":"mcfpp_boolean"}}
data modify storage mcfpp:system list.element set value 2
data modify storage mcfpp:system list.list set from storage mcfpp:system stack_frame[0].l
scoreboard players set list.index mcfpp_temp 0
execute store result score list.size mcfpp_temp run data get storage mcfpp:system list.list
function mcfpp.lang:list/contains
execute store result score list.contains mcfpp_boolean run function mcfpp.lang:list/contains
tellraw @a {"type":"score","score":{"name":"list.contains","objective":"mcfpp_boolean"}}
tellraw @a "[]"
data remove storage mcfpp:system stack_frame[0]

运行结果：

瓜！帅！

芝士MCFPP

MCFPP是一个能被编译为Minecraft数据包的全新的面向对象的语言。它旨在以类似C系语言的语法，进行数据包的编写，并引入编程中常用的概念，从而使数据包的编写更加的便利。

仓库地址：https://github.com/MinecraftFunctionPlusPlus/MCFPP

项目官网：https://www.mcfpp.top

目前最新版本：SNAPSHOT 25m01a

要做什么

实现对目标选择器指向的实体NBT数据的操作

源码在这里：

namespace test;

func test(){
    var s = @e[type="creeper"];
    s.dat.powered = false;
}

而我们要把它编译出来的东西大概是这样子：

data modify storage mcfpp:system stack_frame prepend value {}
#expression: s.dat.powered=false
execute as @e[type=creeper] run data modify entity @s powered set value 0b
#expression end: s.dat.powered=false
data remove storage mcfpp:system stack_frame[0]

为什么没有mcfunction的语法高亮

开干！

怎么做呢

让我访问！

现在已经有了标准库文件Creeper.mcfpp

data Creeper: EntityData, CreatureData, AIMobData {
    @Name<"ExplosionRadius">
    byte explosionRadius;

    @Name<"Fuse">
    short fuse;

    bool ignited;

    bool powered;
}

powered字段已经在里面声明好了，所以唯一问题就是怎么通过目标选择器选中这个字段。

目标选择器对应了selector类型的变量，即SelectorVar类。由于已经有目标选择器参数作为setter，若使用类似

selector s = @e;
s.type = "crepper";
s.powered = false;

让nbt数据和目标选择器参数同级，会显得乱七八糟的，所以就用了一个二级变量data来访问实体数据

var s = @s[type="creeper"];
s.data.powered = false;

本来挺棒的，但是antlr 4这个时候就要报错了，它说，data不是关键字嘛，怎么能作为变量标识符。那没办法，g4文件能不动还是不动，只能用删减大法把data改成dat了。可恶好丑呀

MCFPP有一种属性操作器的语法，其实主要是为了适配目标选择器的语法。
假设有：

class Test{
    string t;
}

则可以使用

var qwq = Test()[t = "uwu"];

修改字段的值

不过啦目标选择器的type之类的属性，或者我们在mcf中熟知的参数，都是只写参数，也就是说，只能写入不能读取

修改值

data，啊不，dat是一个数据模板对象，或者你也可以叫它结构体，或者你也可以叫它NBT复合标签。data dat代指了一个实体NBT的根路径，所以使用dat.powered就可以访问到苦力怕的poweredNBT字段。而这个数据模板，就声明在了我们之前给出的Creeper.mcfpp中。如果没有指定实体的类型，那么就会将所有已注册的实体类型的数据模板统合为一个大的联合类型。

使用注解@MCFPPEntity对数据模板修饰，告诉MCFPP编译器这个数据模板表示了一个实体。所以你也可以自定义自己的实体类型的数据模板，实现灵活的加载。

那么万事俱备，只欠东风。看看我们能编译出什么东西——

data modify storage mcfpp:system stack_frame prepend value {}
#expression: s.dat.powered=false
#expression end: s.dat.powered=false
data remove storage mcfpp:system stack_frame[0]

结果是，什么都没有，只有一些注释告诉我们这里确实曾经有一个表达式。欸，那我编译结果在哪里呢？原来是MCFPP小姐不太聪明的优化系统，会自动优化掉编译器能追踪的变量（https://www.mcfpp.top/zh/quickstart/07generic/01concrete_var.html ），所以什么命令都没有输出的说。这可不行，我们得告诉编译器这个变量不能被优化，你要把每一步操作都输出为指令。

调教编译器（？）

于是我给dat对应的数据模板加了一个alwaysDynamic = true字段，告诉编译器这个数据模板里面的数据都不用优化，不用缓存记住它们的值。

然后再编译一下

这次是输出命令了，但是输出的却是这个：

scoreboard players set dat_powered mcfpp_boolean 0

欸欸，不对呀这不是计分板命令吗。

bool类型是基于计分板实现的，所以编译器当然就把它当作计分板来进行了。这也不行呀，我们操作的是nbt数据。那我们新建一个数据类型表示基于nbt的布尔值吗？但是转念一想，还有short，byte，int，之类的一堆类型，难不成我们得一个一个创建新类型？不行不行太麻烦了，我还没吃饭呢。

不过MCFPP的话，是有一个叫做栈的概念的，所以说每一个变量本来就有一个NBT路径，那么我们只要告诉编译器，这个叫做powered的变量赋值的时候要直接赋值给它NBT路径对应的位置就好了。

于是，万能的注解出场了。定义新注解@DataOnly，修饰Creeper数据模板，告诉编译器里面的所有变量都要像我们刚刚做的那样操作。

简便起见，再偷懒一下，让@MCFPPEntity继承@DataOnly，这样我们就不用再一个一个加注解了，方便很多。

所以我们的MCFPP源码是这样的

@MCFPPEntity
data Creeper: EntityData, CreatureData, AIMobData {
    @Name<"ExplosionRadius">
    byte explosionRadius;

    @Name<"Fuse">
    short fuse;

    bool ignited;

    bool powered;
}

编译结果是这样的：

data modify storage mcfpp:system stack_frame prepend value {}
#expression: s.dat.powered=false
data modify entity @e[type=creeper] powered set value 0b
#expression end: s.dat.powered=false
data remove storage mcfpp:system stack_frame[0]

看起来不错！好欸，可以去吃饭了。

但是……好像还是有什么地方不对劲？

啊哈哈，只能选择一个实体

不过还好不是什么麻烦事。还好我有先见之明，构造命令的时候是调用的函数，不是直接用字符串拼的。所以我们只要把构造命令用的Commands.dataSetValue函数稍作修改：

fun dataSetValue(a: NBTPath, value: Tag<*>): Command{
        return Command.build("data modify")
            .build(a.toCommandPart())
            .build("set value ${SNBTUtil.toSNBT(value)}")
    }

改成酱紫

fun dataSetValue(a: NBTPath, value: Tag<*>): Command{
        if(a.source is EntitySource){
            val selector = (a.source as EntitySource).entity.value
            if(!selector.selectingSingleEntity()){
                val new = a.clone()
                new.source = EntitySource(SelectorVar(EntitySelector('s')))
                return Command.build("execute as").build(selector.toCommandPart()).build("run")
                    .build("data modify").build(new.toCommandPart()).build("set value ${SNBTUtil.toSNBT(value)}")
            }
        }
        return Command.build("data modify")
            .build(a.toCommandPart())
            .build("set value ${SNBTUtil.toSNBT(value)}")
    }

检测一下，如果选择了多个实体就加一个execute as ... run包装一下就好啦

再编译运行一下

data modify storage mcfpp:system stack_frame prepend value {}
#expression: s.dat.powered=false
execute as @e[type=creeper] run data modify entity @s powered set value 0b
#expression end: s.dat.powered=false
data remove storage mcfpp:system stack_frame[0]

哇呜终于成功了

提交，推送，发帖，吃饭！
虽然是吃完饭再写的帖子就是了（x）