C# 参考之转换关键字：operator、explicit与implicit

operator

operator 关键字用于在类或结构声明中声明运算符。运算符声明可以采用下列四种形式之一：

1. public static result-type operator unary-operator ( op-type operand )

2. public static result-type operator binary-operator (
       op-type operand,
       op-type2 operand2
       )

3. public static implicit operator conv-type-out ( conv-type-in operand )

4. public static explicit operator conv-type-out ( conv-type-in operand )

参数：

1. result-type 运算符的结果类型。
2. unary-operator 下列运算符之一：+ - ! ~ ++ — true false
3. op-type 第一个（或唯一一个）参数的类型。
4. operand 第一个（或唯一一个）参数的名称。
5. binary-operator 其中一个：+ - * / % & | ^ << >> == != > < >= <=
6. op-type2 第二个参数的类型。
7. operand2 第二个参数的名称。
8. conv-type-out 类型转换运算符的目标类型。
9. conv-type-in 类型转换运算符的输入类型。

注意：

1. 前两种形式声明了用户定义的重载内置运算符的运算符。并非所有内置运算符都可以被重载（请参见可重载的运算符）。op-type 和 op-type2 中至少有一个必须是封闭类型（即运算符所属的类型，或理解为自定义的类型）。例如，这将防止重定义整数加法运算符。
2. 后两种形式声明了转换运算符。conv-type-in 和 conv-type-out 中正好有一个必须是封闭类型（即，转换运算符只能从它的封闭类型转换为其他某个类型，或从其他某个类型转换为它的封闭类型）。
3. 运算符只能采用值参数，不能采用 ref 或 out 参数。
4. C# 要求成对重载比较运算符。如果重载了==，则也必须重载!=，否则产生编译错误。同时，比较运算符必须返回bool类型的值，这是与其他算术运算符的根本区别。
5. C# 不允许重载=运算符，但如果重载例如+运算符，编译器会自动使用+运算符的重载来执行+=运算符的操作。
6. 运算符重载的其实就是函数重载。首先通过指定的运算表达式调用对应的运算符函数，然后再将运算对象转化为运算符函数的实参，接着根据实参的类型来确定需要调用的函数的重载，这个过程是由编译器完成。
7. 任何运算符声明的前面都可以有一个可选的属性（C# 编程指南）列表。

explicit

explicit 关键字用于声明必须使用强制转换来调用的用户定义的类型转换运算符。

static explicit operator target_type { source_type identifier }

参数：

1. target_type 目标类型
2. source_type 源类型。
3. identifier Something。

注意：

1. 转换运算符将源类型转换为目标类型。源类型提供转换运算符。与隐式转换不同，必须通过强制转换的方式来调用显式转换运算符。如果转换操作可能导致异常或丢失信息，则应将其标记为 explicit。这可以防止编译器无提示地调用可能产生无法预见后果的转换操作。

implicit

implicit 关键字用于声明隐式的用户定义类型转换运算符。

static implicit operator target_type { source_type identifier }

注意：

1. 隐式转换可以通过消除不必要的类型转换来提高源代码的可读性。但是，因为可以在程序员未指定的情况下发生隐式转换，因此必须注意防止令人不愉快的后果。一般情况下，隐式转换运算符应当从不引发异常并且从不丢失信息，以便可以在程序员不知晓的情况下安全使用它们。如果转换运算符不能满足那些条件，则应将其标记为 explicit。