名称重整¶

仍不完善

基本规则¶

所有重整后的名称以 $$ 开头，接着是一个字母标识符，表示名称的类型。类型标识符如下：

在类型标识符之后，跟随名称的长度和名称本身。

对于函数，需要在重整后的函数名之后添加参数信息和返回值信息。

重整参数时，首先重整参数类型，然后拼接上参数名，最后加上参数个数。

例如：

在所有参数之后，拼接返回值类型。如果函数没有返回值，则使用 T4void 表示返回 void 类型。

没有返回值的函数
```
namespace foo {
  class bar {}
  fn my_func(bar a);
}
```
- my_func 重整为 $$N3fooF7my_func1N3fooC3bar1aT4void

解释：
- N3foo 表示命名空间 foo - F7my_func 表示函数 my_func（名称长度为 7） - 1N3fooC3bar1a 表示一个参数，类型为 N3fooC3bar（命名空间 foo 下的类 bar），参数名为 a - T4void 表示函数没有返回值
有基本类型参数的函数
```
namespace foo {
  fn my_func(int32 a);
}
```
- my_func 重整为 $$N3fooF7my_func1T5int321aT4void

解释：
- N3foo 表示命名空间 foo - F7my_func 表示函数 my_func（名称长度为 7） - 1T5int321a 表示一个参数，类型为 int32，参数名为 a - T4void 表示函数没有返回值
有返回值的函数
```
namespace foo {
  fn my_func(int32 a) -> int64;
}
```
- my_func 重整为 $$N3fooF7my_func1T5int321aT5int64

解释：
- N3foo 表示命名空间 foo - F7my_func 表示函数 my_func（名称长度为 7） - 1T5int321a 表示一个参数，类型为 int32，参数名为 a - T5int64 表示返回值类型为 int64

namespace math {
  struct vector {}
  fn add(vector a, vector b) -> vector;
}

解释：

N4math 表示命名空间 math
F3add 表示函数 add（名称长度为 3）
2N4mathS6vector1aN4mathS6vector1b 表示两个参数，第一个参数类型为 N4mathS6vector（命名空间 math 下的结构体 vector），参数名为 a，第二个参数类型相同，参数名为 b
N4mathS6vector 表示返回值类型为 math::vector

namespace app {
  enum color { red, green, blue }
  fn set_color(color c);
}

解释：