类型抽象Haxe3新增特性：抽象类型 -- Abstract Types
PS:今天上午，非常郁闷，有很多简单基础的问题搞得我有些迷茫，哎，代码几天不写就忘。目前又不当COO，还是得用心记代码哦！
官网文档链接在此：http://haxe.org/manual/abstracts
还没有在项目中具体应用Haxe3，先参考英文文档说一下自己的懂得：
抽象类型主要有两种应用方式：
1. 定义基本数值类型的隐式转换，如Int, Float, Void等，这类方式主要是Haxe核心数据部分在应用，一般开发中可能很少直接碰到；
2. 定义一个不透明的外包装类型（显式定义，显式应用的新类型），用以包装另外一种类型，并在外包装类型上定义针对被包装类型的隐式转换，和操作符重载。
第二种应用方式非常壮大，比如在上面官网文档的例子中，定义了一个StringSplitter抽象类型，用以把字符串经过隐式转换拆成字符数组（实际上是单字符组成的字符串数组），而且，因为Haxe3中答应内联构造函数，以及抽象类型答应对this直接赋值，因此最终生成的代码极其简练，完整没有对象创立、函数调用等致使的效率损失。
抽象类型的定义：
abstract StringSplitter(Array<String>) {
inline function new(a:Array<String>)
this = a
@:from static public inline function fromString(s:String) {
return new StringSplitter(s.split(""));
}
}
抽象类型的应用：
class Main {
static function main() {
var splitter:StringSplitter = "Hello";
trace(splitter); // [H,e,l,l,o]
}
}
实际生成的Haxe代码：
// dump/Main.dump
class Main{
static main(method) : Void -> Void
= function() = {
var splitter = cast "Hello".split("");
haxe.Log.trace(splitter,{fileName : "Main.hx",lineNumber : 13,className : "Main",methodName : "main"});
};
}
另外值得大书特书的就是操作符重载机制了，原来就有一些大牛应用Haxe2的宏macro机制实现了运算符重载，现在Haxe3带来了官方的，更优雅，更壮大的运算符重载机制：
abstract MyInt(Int) from Int to Int {
// MyInt + MyInt can be used as is, and returns a MyInt
@:op(A + B) static public function add(lhs:MyInt, rhs:MyInt):MyInt;
@:commutative @:op(A * B) static public function repeat(lhs:MyInt, rhs:String):String {
var s:StringBuf = new StringBuf();
for (i in 0...lhs)
s.add(rhs);
return s.toString();
}
}
也可以重载数组访问符即中括号：
abstract MyReflect({}) from {} {
@:arrayAccess public inline function arrayAccess(key:String):Dynamic {
return Reflect.field(this, key);
}
@:arrayAccess public inline function arrayWrite<T>(key:String, value:T):T {
Reflect.setField(this, key, value);
return value;
}
}
特殊值得指出的是，抽象类型应该是用类似宏的机制实现的，也就是说，抽象类型是纯编译期概念，是用来定义其被包装类型的操作的，它其实不实际存在于运行期。因此你在运行期用反射是没法找到或应用抽象类型的。
文章结束给大家分享下程序员的一些笑话语录：
女人篇
有的女人就是Windows虽然很优秀，但是安全隐患太大。
有的女人就是MFC她条件很好，然而不是谁都能玩的起。
有的女人就是C#长的很漂亮，但是家务活不行。
有的女人就是C++,她会默默的为你做很多的事情。
有的女人就是汇编虽然很麻烦，但是有的时候还得求它。
有的女人就是SQL，她会为你的发展带来莫大的帮助。
---------------------------------
原创文章 By
类型和抽象
---------------------------------
