上一節(jié)我們從模型上重建了AST節(jié)點,將antlr生成的表達(dá)式AST抽象成可直接運(yùn)算的AST節(jié)點。

在運(yùn)算之前我們必須首先定義出數(shù)據(jù)類型,定義出腳本支持的數(shù)據(jù)類型，這是運(yùn)算的基礎(chǔ)。

這一小節(jié)我們將定義出數(shù)據(jù)類型,在這里我們暫時定義四個數(shù)據(jù)類型:

enum Type { String, Number, Bool, Object, None };

完整的數(shù)據(jù)類型定義如下:

/// .h
typedef double number;

namespace DynamicDSL {
    enum Type { String, Number, Bool, Object, None };
    struct SemaASTNodeObject {
    private:
        any value;
    public:
        SemaASTNodeObject() {}
        SemaASTNodeObject(any value) {
            this->value = value;
        }
        ~SemaASTNodeObject() { }
    public:
        const Type getType();
        const string getTypeText();
        const any getRawValue() { return this->value; }
        void setValue(any v) { this->value = v; }
        /// 獲取數(shù)據(jù)的字符串描述
        const string getText();
        template

這里我們使用了any來包裝我們具體的數(shù)據(jù),所以我們的C++編譯器需要設(shè)置成C++ 17

String類型我們使用的是std::string來實現(xiàn)。

Number類型則是上面提到的使用double來實現(xiàn)的。

Bool類型則是使用bool實現(xiàn)。

Object類型是單獨定義的一個C++類型或者本身就是一個SemaASTNodeObject,后面單獨說明。

通過std::any中的type()函數(shù)獲取放置的數(shù)據(jù)信息來判斷放置的數(shù)據(jù)的類型:

const DynamicDSL::Type DynamicDSL::SemaASTNodeObject::getType() {
    string clsName = this->value.type().name();
    if(clsName == "i" || clsName == "d") return Number;
    else if(clsName.find("string") != string::npos) return String;
    else if(clsName == "b") return Bool;
    else if(clsName.find("SemaASTNodeObject") != string::npos ||
            clsName.find("SemaContext") != string::npos)
        return Object;
    else if(clsName == "v") return None;
    else {
        return None;
    }
}

解包的時候判斷再轉(zhuǎn)換成具體的數(shù)據(jù)類即可,它的實現(xiàn)如下:

const string DynamicDSL::SemaASTNodeObject::getText() {
    if(this->value.has_value()) {
        if(getType() == String) {
            return any_cast<string>(this->value);
        } else if(getType() == Number) {
            ostringstream oss;
            oss << any_cast<double>(this->value);
            return oss.str();
        } else if(getType() == Bool) {
            if(any_cast<bool>(this->value)) return "true";
            else return "false";
        } else if(getType() == Object) {
            string clsName = this->value.type().name();
            if(clsName.find("SemaASTNodeObject") != string::npos) {
                return getValue

為里需要特別說明一下Object這個類型中的另外一個自定義數(shù)據(jù)類型SemaContext。

它的完整定義如下:

namespace DynamicDSL {
    enum JSONType {
        JSONType_String,
        JSONType_Number,
        JSONType_Bool,
        JSONType_Object,
        JSONType_None
    };
}

namespace DynamicDSL {
    class SemaContext {
    private:
        /// 本地變量
        map<string, SemaASTNodeObject> variable;
        /// JSON注入
        Json json;
    public:
        SemaContext(Json json) {
            this->json = json;
        }
        SemaContext(Json json, map<string, SemaASTNodeObject> variable) {
            this->json = json;
            this->variable = variable;
        }
        static SemaContext *copy(SemaContext *context) {
            return new SemaContext(context->getJSON(), context->getVariable());
        }
    public:
        map<string, SemaASTNodeObject> getVariable() { return variable; }
        Json getJSON() { return json; }
        void putVariable(string key, SemaASTNodeObject val) {
            variable[key] = val;
        }
        SemaASTNodeObject getVariableValue(string key) {
            if(variable.count(key) > 0) return variable[key];
            DynamicDSL::SemaASTNodeObject object;
            if(!json[key].is_null()) {
                Json jsonValue = json[key];
                JSONType type = SemaContext::getValueType(jsonValue);
                if(type == DynamicDSL::JSONType_Bool) {
                    object.setValue(jsonValue.bool_value());
                } else if(type == DynamicDSL::JSONType_Number) {
                    object.setValue(jsonValue.number_value());
                } else if(type == DynamicDSL::JSONType_String) {
                    object.setValue(jsonValue.string_value());
                } else if(type == DynamicDSL::JSONType_Object) {
                    auto context = SemaContext(jsonValue);
                    object.setValue(context);
                }
            }
            return object;
        }
        static JSONType getValueType(Json jsonObject) {
            if(jsonObject.is_string()) return DynamicDSL::JSONType_String;
            else if(jsonObject.is_number()) return DynamicDSL::JSONType_Number;
            else if(jsonObject.is_bool()) return DynamicDSL::JSONType_Bool;
            else if(jsonObject.is_object()) return DynamicDSL::JSONType_Object;
            return DynamicDSL::JSONType_None;
        }
    };
};

這個類定義了棧幀執(zhí)行時的變量上下文環(huán)境,由于特殊的使用場景,還多定義了一個注入的Json對象,這個Json對象在使用模板一開始的時候就注入了。

棧運(yùn)行過程中產(chǎn)生的臨時變量放入variable容器中,目前執(zhí)行環(huán)境都是單獨的一個表達(dá)式樹,在沒有對象與函數(shù)實現(xiàn)之前,這個執(zhí)行環(huán)境比較單純,這里只是提前考慮到執(zhí)行環(huán)境這個問題,后期加入類與函數(shù)實現(xiàn)的時候可以更方便改造。

后面我們在消解變量的時候就需要從當(dāng)前這個環(huán)境中查找對應(yīng)的數(shù)據(jù),找到后打包成一個SemaASTNodeObject對象,他的具體執(zhí)行邏輯是這樣的:

SemaASTNodeObject getVariableValue(string key) {
            if(variable.count(key) > 0) return variable[key];
            DynamicDSL::SemaASTNodeObject object;
            if(!json[key].is_null()) {
                Json jsonValue = json[key];
                JSONType type = SemaContext::getValueType(jsonValue);
                if(type == DynamicDSL::JSONType_Bool) {
                    object.setValue(jsonValue.bool_value());
                } else if(type == DynamicDSL::JSONType_Number) {
                    object.setValue(jsonValue.number_value());
                } else if(type == DynamicDSL::JSONType_String) {
                    object.setValue(jsonValue.string_value());
                } else if(type == DynamicDSL::JSONType_Object) {
                    auto context = SemaContext(jsonValue);
                    object.setValue(context);
                }
            }
            return object;
        }

首先從臨時變量中查找,如果找到了就直接返回,如果沒找到就從注入的Json對象就查找。

到此,我們的類型系統(tǒng)就實現(xiàn)完成了, 我們還實現(xiàn)了棧幀執(zhí)行的環(huán)境上下文。

下一節(jié)我們將在此基礎(chǔ)上實現(xiàn)簡最單純的棧幀