确定文法——运算符重载、引用（右值引用）、const

[chudonghao]

基于#2，确定运算符重载、引用（右值引用）、const的文法

[chudonghao]

如果想要引入运算符重载，则必须引入引用

[chudonghao]

这里就不得不考虑以下问题：

1. 引用
2. const
3. 右值引用/移动语义

[chudonghao]

首先，我不想引入引用，其次，我也不想引入const。

---

基于以下思考，计划仅允许函数参数使用值传递或指针传递：

优势：

• 函数参数传递与底层完全对应（在二进制层面，指针和引用传递的都是地址）
• 函数参数传递在底层与是否const无关

劣势：

• 重载函数将失去引用/const重载

---

但引用和const是必要的（涉及运算符重载、复制构造、移动构造、不修改承诺等），对于引用和const，我打算通过不影响abi、重载决议的情况下引入，这就需要新的机制：属性系统。

---

设想：

// 假设运算符重载定义方式如下
func operator+(var(const,ref) l *Foo, var(const,ref) r *Foo)
{
}

func foo()
{
  var l Foo();
  var r Foo();
  l + r; // operator+(&l, &r);
}

其中var后的()内即为该变量的属性说明，const表示不会修改，ref表示接受引用传递

[chudonghao]

⭐ 运算符重载定义：

func operator+(a Foo, b Foo) Foo
{
  // ...
}

未来考虑可读性更高的定义方法

可重载的运算符参考C++ 支持的运算符：

分组
双目算术运算符	+ (加)，-(减)，*(乘)，/(除)，% (取模)
关系运算符	==(等于)，!= (不等于)，< (小于)，> (大于)，<=(小于等于)，>=(大于等于)
逻辑运算符	||(逻辑或)，&&(逻辑与)，!(逻辑非)
单目运算符	+ (正)，-(负)，*(指针)，&(取地址)
自增自减运算符	++(自增)，--(自减)
位运算符	| (按位或)，& (按位与)，~(按位取反)，^(按位异或),，<< (左移)，>>(右移)
赋值运算符	=, +=, -=, *=, /= , % = , &=, |=, ^=, <<=, >>=
空间申请与释放	new, delete, new[] , delete[]
其他运算符	()(函数调用)，->(成员访问)，,(逗号)，[](下标)

->成员访问运算符比较特殊，可能会禁止，然后添加其它机制

[chudonghao]

如果运算符重载以func operator+(var(ref,const) *Foo, var(ref,const) *Foo) var(ref,const) result *Foo方式定义，则必须要明确说明返回ref是什么含义

[chudonghao]

考虑到返回引用的处理方式有二：
a. 视为指针
b. 视为引用

考虑到指针的相等判定pa == pb(①)与*pa == *pb(②)，方式有二：

1. 将①视为②
2. 只有②被视为调用运算符重载==

假设组合方式为a1：
则指针的比较需要特殊的机制

假如组合方式为a2：
则会产生歧义，如果用一个放回指针的表达式表示pa，但其实是想进行②的判定

假如组合方式为b1：
则指针的比较需要特殊的机制

假设组合方式为b2：
则语法上要明确，引用返回的含义

[chudonghao]

那定义变量是否允许为引用，比如var(ref) foo *Foo

[chudonghao]

引用仅可以在参数传递时使用？

[chudonghao]

ref的含义应该明确：仅仅是可以通过引用赋值？

[chudonghao]

⭐ 属性系统：通过在关键字var后添加对应变量的属性，例如：

var(ref) foo *Foo;

[chudonghao]

右值也通过属性标识？

[chudonghao]

类似有两种方案：

1. 使用类似 C++ move + && 的模式？
2. 使用特殊类型包装？比如 RvaluePtr<Foo>

可以暂时搁置

[chudonghao]

⭐ 引用：通过属性将指针变量表示为引用：

var(ref) foo *Foo;

使用方法与C++相同

不建议普通变量使用引用

⭐ 重载决议：属性不影响重载决议！

在CW中，重载决议仅区分值类型、指针类型，无法通过引用、const创建重载函数

简化函数重载

对于var(ref) foo *Foo;：

1. 在ABI层面类型为*Foo
2. 在语法层面视为引用