如何實現類型名跟類型的對應, 我們很容易想到map, 沒錯, 就是使用map實現的. std::map<std::string, .....>, 等下, 第二部分該填什麼類型, 一個函數指針, auto create()? auto只是占位符, 編譯器好像不會讓你通過吧. 我們需要一種容器, 可以存 ...
如何實現類型名跟類型的對應, 我們很容易想到map, 沒錯, 就是使用map實現的. std::map<std::string, .....>, 等下, 第二部分該填什麼類型, 一個函數指針, auto create()? auto只是占位符, 編譯器好像不會讓你通過吧. 我們需要一種容器, 可以存放所有的類型, 模板.
由於聲明這個容器是並不能包含模板參數, 這裡借鑒了boost 庫中any的代碼, 原理如下:
1 class Container { 2 3 private: 4 5 class bridge { 6 7 public: 8 bridge(){} 9 virtual ~bridge(){} 10 virtual void invoke(unsigned long long addr, const std::vector<const char*>& args) = 0; 11 virtual void* instanceOfClass() = 0; 12 }; 13 14 template<typename ValueType> 15 class holder: public bridge { 16 17 public: 18 virtual void invoke(unsigned long long addr, const std::vector<const char*>& args) override{}; 19 virtual void* instanceOfClass() override{}; 20 }; 21 22 template<typename ValueType> 23 class holder<ValueType*>: public bridge { 24 25 public: 26 holder(ValueType* item){} 27 virtual ~holder() {} 28 29 virtual void invoke(unsigned long long addr, const std::vector<const char*>& args) override{ 30 31 } 32 33 virtual void* instanceOfClass() override{ 34 35
36
37 } 38 }; 39 40 bridge* content_; 41 public: 42 Container(){} 43 ~Container(){ 44 Alloc::dellocate(content_); 45 } 46 47 template<typename ValueType> 48 Container(ValueType* item) { 49 50 holder<ValueType*>* h = static_cast<holder<ValueType*>*>(Alloc::allocate(sizeof(holder<ValueType*>))); 51 new(h) holder<ValueType*>(item); 52 content_ = h; 53 } 54 55 // three arguments most, and type are char* 56 void invoke(unsigned long long addr, const std::vector<const char*>& args) { 57 58 content_->invoke(addr, args); 59 } 60 61 void* instanceOfClass() { 62 63 return content_->instanceOfClass(); 64 } 65 66 };
Container只是一層包裝, 隱藏了模板參數, 真正存儲類型的是繼承bridge的holder子類, bridge提供介面, 由於純虛函數不能是模板函數, 所以返回實例是必須強制轉型為void* 指針, 由客戶端再強制轉型回來.如何存儲一個類類型的信息呢, 最簡單, 保存該類型的一個指針變數就行. 其他的交由編譯器的模板處理. 然後將類註冊, 即插入map中. 可以通過巨集來實現.
好了, 到了最後一步, 函數類型問題. 我們的目標是在配置文件中聲明類似的語句:
<Function name="declation", scale = "Init">
<Argument>One</Argument>
<Argument>Two</Argument>
</Function>
只要這樣聲明就能生產 void declation(const Init*, One, Two)這樣的函數聲明.
由於文本中只能保存基本的類型, 你不可能用在文本中指定某個參數是指針吧. 還有是函數個數的問題, 我本以為模板的可變參數能起點作用, 結果發現並不是我想要的. 好吧, 所以只能再做一個限制條件, 3個參數最多, 如果你寫的函數參數多餘三個, 我想你肯定有辦法減少參數個數的, 還有參數類型都是字元串, 從字元串到其他基本類型的轉換必須由函數自己解決. 這樣, 解決思路很清晰了, 首先根據scale類型獲取容器, 根據函數名獲取地址, 根據參數個數獲取函數類型, 最後執行.
所有的源代碼我都上傳在github上面, reflect
補充:
之前我一直以為該實現反射的方式只能在debug下才有效, 應為debug下編譯器會玩可執行文件中加入大量的調試信息, 當使用release版本時, 並沒有這些編譯信息, 或許可以使用之前保存過的信息, 但可能會對記憶體地址有所影響. 之後我詳細瞭解了elf文件格式後, 發現並不會影響, 至少我目前的測試是沒有影響的. debug時是將調試信息以dwarf格式的段添加到可執行文件後, 而並不是隨機穿插在程式中, 所以只有release時代碼並沒有修改, 註意巨集的修改, 就可以使用debug時保存下來的調試信息.當我發現這個時有點小興奮, 他解除了一個限制條件, 使得這種想法或許可以有更大的實用之處.
最後再說點什麼:
這是自己第一次寫博客, 自從上了大學以後, 沒學過語文, 以前並不知道語文是這麼重要, 直達現在發現自己並不能將自己想要說的流暢地, 有層次地表達出來, 寫下來. 這幾篇博客修修補補還是花了自己一點時間. 如果你在看完之後, 笑道這都寫了寫什麼東西啊, 我也並不會介意的. 以前是懶與去經營自己的博客, 當發現自己寫出屬於自己的博客時, 還是挺有滿足感的, 我也會繼續寫下去, 繼續鍛煉, 或許多年以後翻翻自己寫過的東西, 回信一下自己當時的所思所想, 也將是已將很有趣的事情吧.
