一、緣起
一直很想做一個(gè)自己的動(dòng)態(tài)語(yǔ)言了，記得三年前學(xué)習(xí)Compiler的時(shí)候做了不成器的Tiny++和語(yǔ)法全部按足《編譯原理實(shí)踐》的C--，其中C--還做得非常不好(基本只能看看用不了)，然后上次看了《游戲腳本高級(jí)編程》，里面介紹的XScript雖然非常簡(jiǎn)單，但已經(jīng)有語(yǔ)言的影子。然后又看了《python源碼剖析》，看了python的源碼，學(xué)習(xí)了很多python的內(nèi)部機(jī)理，感覺(jué)python雖強(qiáng)大巧妙但由于源碼是C語(yǔ)言的，讀上去總覺(jué)得拗口。
在這些基礎(chǔ)下，我鼓足勇氣，實(shí)現(xiàn)一個(gè)動(dòng)態(tài)語(yǔ)言，名字叫AnyC，名字怎么起的忘記了(好像是看了三星手機(jī)。。。)，反正先這樣吧。

二、語(yǔ)言特性
這個(gè)語(yǔ)言語(yǔ)法上模仿C++和Java(其實(shí)更像javascript)，以后打算模仿其他語(yǔ)言的優(yōu)秀特性，支持動(dòng)態(tài)類型、面向?qū)ο驩OP和函數(shù)式編程，內(nèi)置整形、浮點(diǎn)、array、string、表等類型，支持繼承、異常處理、子段數(shù)組、lambda表達(dá)式、尾遞歸等。內(nèi)存管理方面稍差，目前采用引用計(jì)數(shù)。。。。
例子1：動(dòng)態(tài)特性

function _Main()
{
    var k = "hello world";//string類
    write_console(k+"\n");
    k = 10;            //int類
    write_console(k+"\n");
    k = [1,2,3,4,5];    //數(shù)組類
    for(var i = 0; i < 5; ++i)
        write_console(k[i]+" ");
    write_console("\n");
}

例子2:快速排序

function Divide(arr,low,high)
{
    var tmp = arr[low];
    var left = low;
    var right = high+1;
    while(left < right)
    {
        while(left < high && arr[++left] < tmp);
        while(right >low && arr[--right] > tmp);
        if(left < right)
        {
            var kk = arr[left];
            arr[left] = arr[right];
            arr[right] = kk;
        }
    }
    var kk = arr[low];
    arr[low] = arr[right];
    arr[right] = kk;
    return right;
}

function qsort(arr,low,high)
{
    if(low < high)
    {
        var mid = Divide(arr,low,high);
        qsort(arr,low,mid-1);
        qsort(arr,mid+1,high);
    }
}

function Main()
{
    write_console("快速排序演示: \n");
    var datas = [-9,0,0,98,-576,98,74,34,5,3,7,8,1];
    write_console("排序前:\n");
    foreach(idx,val in datas)
    {
        write_console(val + " ");
    }
    qsort(datas,0,12);
    write_console("\n排序后:\n");
    foreach(idx,val in datas)
    {
        write_console(val + " ");
    }
    write_console("\n");
}

例子3: 橋接模式

class Log
{
protected:
    implementor = null;
public:
    function set(value)
    {
        implementor = value;
    }
    function write(log);
};

class DatabaseLog : Log
{
public:
    function write(log)
    {
        write_console("日志寫入數(shù)據(jù)庫(kù)\n");
        implementor.execute(log);
    }
};

class TextFileLog : Log
{
public:
    function write(log)
    {
        write_console("日志寫入文件\n");
        implementor.execute(log);
    }
};

class ImpLog
{
public:
    function execute(_string_);
};

class DotNetPlatfrom : ImpLog
{
public:
    function execute(_string_)
    {
        write_console(".net 平臺(tái)中\n");
        write_console("寫入 " + _string_ + "\n");
    }
};

class JavaPlatfrom : ImpLog
{
public:
    function execute(_string_)
    {
        write_console("Java 平臺(tái)中\n");
        write_console("寫入 " + _string_ + "\n");
    }
};

function _Main()
{
    write_console("面向?qū)ο缶幊?-設(shè)計(jì)模式--橋接模式演示例子!\n");
    //.NET平臺(tái)下的Database Log
        var dblog = DatabaseLog();
        dblog.set(DotNetPlatfrom ());
        dblog.write("今天完成了XXX任務(wù)\n");    

        //Java平臺(tái)下的Text File Log
        var txtlog = TextFileLog();
        txtlog.set(JavaPlatfrom());
        txtlog.write("今天學(xué)會(huì)用Java了\n");

}

例子4: 數(shù)組操作

function _Main()
{
    var k = [1,2,3,4];
    var q = [4,5,6];
    q[0 -> 1] = k[0:2];
    write_console("---結(jié)果為【1,2,6】--\n");
    foreach(val in q)
        write_console(val + "\n");
    q[2 <- 0] = k[1:3];
    write_console("---結(jié)果為【4,3,2】--\n");
    foreach(val in q)
        write_console(val + "\n");
    q[0:3] = k[0:3];
    write_console("---結(jié)果為【1,2,3】--\n");
    foreach(val in q)
        write_console(val + "\n");
    write_console("---結(jié)果為【2,1】--\n");
    q[2 <- 0] = k[0:2];
    foreach(val in q)
        write_console(val + "\n");
}
function _Main()
{
    var a = ["spam", "eggs",123,1234];
    a[0:2] = [];
    foreach(val in a)
        write_console(val + "\n");
    write_console("------------\n");
    a[1:0] = ["bletch","xyzzy"];
    foreach(val in a)
        write_console(val + "\n");
    a[a.length() : 0] = a;
    write_console("------------\n");
    foreach(val in a)
        write_console(val + "\n");
}

例子5 lambda for sort

function sort(arr,len,cmpFun)
{
    var tmp = 0;
    var i ,j;
    for(i = 0; i < len; ++i)
    {
        for(j = 0;j < len-i-1;++j)
        {
            if(cmpFun(arr[j],arr[j+1]))
            {
                tmp = arr[j];
                arr[j] = arr[j+1];
                arr[j+1] = tmp;
            }
        }
    }
}

function Main()
{
    var datas = [3,4,1,6,8];
    var len = 5;
    
    write_console("開始排序:\n");    
    sort(datas,len,lambda(a,b) a > b);

    for(var k = 0; k < len; ++k)
    {
        write_console(datas[k] + " ");
    }
    write_console("\n");
}

例子6 函數(shù)式

function outerFunction()
{
    var outVar=0;
    return function()
    {
            outVar++;
             write_console(outVar+"\n");
    }
}
function _Main()
{
    var instance=outerFunction();
    instance();

    var instance2=outerFunction();
    instance2();

    instance();

    instance2();
}

三、實(shí)現(xiàn)心得
這個(gè)語(yǔ)言的主要思想很大一部分參考了python，是基于虛擬機(jī)的腳本語(yǔ)言，首先進(jìn)行l(wèi)exer提取token，然后手寫遞歸下降器解析生成語(yǔ)法樹，

然后用visitor訪問(wèn)語(yǔ)法樹生成字節(jié)碼，最后啟動(dòng)虛擬機(jī)運(yùn)行。
我認(rèn)為實(shí)現(xiàn)動(dòng)態(tài)語(yǔ)言主要分4個(gè)環(huán)節(jié)：
1. 基本庫(kù)的建立
這個(gè)并不是指腳本的庫(kù)，是指C++的庫(kù)，用到的一些東西如智能指針、鏈表等數(shù)據(jù)結(jié)構(gòu)(也可用STL)、文件類等是必須的。
2. 動(dòng)態(tài)對(duì)象環(huán)境
主要是在C++層面上實(shí)現(xiàn)一個(gè)“動(dòng)態(tài)對(duì)象”，它是一個(gè)基于引用計(jì)數(shù)的指針對(duì)象，可以指向指定的對(duì)象，并實(shí)現(xiàn)內(nèi)置動(dòng)態(tài)對(duì)象的一些功能接口。
3. 詞法語(yǔ)法分析及語(yǔ)義翻譯
此過(guò)程比較規(guī)則化，前兩者可以用lexer和yacc做，我覺(jué)得不復(fù)雜的話手寫也不錯(cuò)，畢竟手寫靈活性大一點(diǎn)，成功生成語(yǔ)法樹后就是語(yǔ)法翻譯成

字節(jié)碼，翻譯是比較困難的環(huán)節(jié)，難的話還會(huì)考慮各種代碼優(yōu)化計(jì)算、編譯成本地的JIT等。
4. 虛擬機(jī)
虛擬機(jī)負(fù)責(zé)分析字節(jié)碼，自己創(chuàng)建一個(gè)虛擬的運(yùn)行環(huán)境，提供HostAPI插件接口和調(diào)用規(guī)則。可以說(shuō)虛擬機(jī)是比較復(fù)雜的一部分，因?yàn)樗婕暗臇|西很雜，當(dāng)然也可以很簡(jiǎn)單(如果虛擬機(jī)低效和功能小的話)。

四、結(jié)語(yǔ)
接下來(lái)還要做很多去完善這個(gè)東西，包括如何和C++進(jìn)行良好對(duì)接，豐富腳本API以及豐富語(yǔ)言特性如提供正則表達(dá)式內(nèi)置對(duì)象等。