【有獎討論】隨著 C++11 的巨大變化，談談你對新STL的展望

lcofjp

回復 18# shang2010


    不同平臺sizeof(int)都不一樣，難道要統(tǒng)一？統(tǒng)一有什么意義？

windoze

回復 29# yulihua49

如果你能把數(shù)據(jù)類型限制在有限的幾個種類，用type switch能簡單點。
比如：

1. 
   
2. // @SEE: https://github.com/windoze/cxxstuff
   
3. #include <cxutil/variant.hpp>
   
4. 
   
5. typedef cxutil::variant<int,double,std::string> DBVariant;
   
6. 
   
7. struct RDB_set_col_visitor {
   
8.     RDB_insert_visitor(DB_cursor *cursor, String column);
   
9.     int operator()(int x) &&;
   
10.     int operator()(double x) && ;
    
11.     int operator()(const std::string &x) &&;
    
12. };
    
13. 
    
14. DBVariant var(123.45);
    
15. 
    
16. var.apply_visitor(RDB_set_col_visitor(cursor, "some_col"));
    

復制代碼

不過你想把一個struct直接映射到一個Row還是沒什么好辦法。

C++目前完全沒有任何辦法遍歷任意一個struct的成員，所以我在想用clang的compiler plugin寫個代碼生成器，實現(xiàn)類似Rust的Macro的功能。

shang2010

回復 31# lcofjp


    反正我有個習慣，寫好代碼后會測試一下再commit

yulihua49

windoze 發(fā)表于 2015-07-06 15:57
回復 29# yulihua49

如果你能把數(shù)據(jù)類型限制在有限的幾個種類，用type switch能簡單點。

這是你做的？不過還不是ORM，沒有逃脫流式訪問數(shù)據(jù)庫的宿命。沒辦法做成JAVA的Hibernate那樣的東西？

把結構體映射成數(shù)據(jù)庫行。我已經(jīng)實現(xiàn)了，它不能反射，我就它寫一個說明書，純C的。
這個“說明書”也可以稱為“運行時模版”。它可用于結構的序列化/反序列化，也可以映射數(shù)據(jù)庫。
還可以配合自制的容器，如BB_Tree，Multi_Hash等進行內(nèi)存數(shù)據(jù)庫管理。
感覺一旦實現(xiàn)了這個映射，就打開了通向世外桃源之路。
所以我希望C++盡快實現(xiàn)對象反射，這是根本性的升級。
有了對象反射，說實在的，STL沒啥用。
運行時泛型，比編譯時泛型，好得。。。。根本不是一個世界。

windoze

回復 34# yulihua49

反射和TMP……完全不是一種東西么，一個是純運行時，一個是純編譯時。
這兩個東西拿來比誰好誰壞，有點關公戰(zhàn)秦瓊的趕腳……

yulihua49

windoze 發(fā)表于 2015-07-06 20:52
回復 34# yulihua49

反射和TMP……完全不是一種東西么，一個是純運行時，一個是純編譯時。

STL吧？
STL：任意對象
加入map，檢索map，迭代map
ORM：任意表（或SQL）
插入數(shù)據(jù)庫，檢索數(shù)據(jù)庫，fetch數(shù)據(jù)庫。

ORM的基礎是OM，Object mapping ---- 對象反射。
有了OM，不僅可以ORM，也可以動態(tài)對象處理，類似STL的工作，可以運行時處理。
所有STL那些功能，可以建立運行時庫，就是框架，像JAVA那樣�？梢圆辉诰幾g期處理了----把STL改成運行時。


這個想法的來源，一個哥們看了我的SRM --- Struct Relational Mapping，問我，為什么不弄成STL那樣---他極其崇拜STL。
我看了一下STL，感覺完全不是一回事。原因呢，一個是運行時，一個是編譯時。
還有，一個是在對象之外處理對象，如把它加入vector,map什么的，一個是在結構（對象）之內(nèi)處理他的內(nèi)容。
但是他們也有相似之處，如開頭所示。

windoze

回復 36# yulihua49

TMP是指template meta-programming

C++的問題就是完全不能做反射，當然反射其實也不一定完全是運行時的東西，比如說Rust里的serialization就會在編譯過程中給需要支持序列號反序列化的struct自動按照成員生成展開的代碼，比如：

1. 
   
2. #[derive(Decodable, Encodable)]
   
3. struct S{
   
4.     a: u32,
   
5.     b: double
   
6. }
   

復制代碼

Rust會遍歷這個S，對a和b分別生成read_struct_field/emit_struct_field，結果就是Rust在編譯器解決了絕大多數(shù)反射所需的功能，并且生成了一些代碼讓運行期反射也可用，同時沒有Java通過反射進行動態(tài)調(diào)用的開銷。

Clang可以做compiler plugin，也許可以拿來實現(xiàn)類似的功能，我這兩天正在看。

yulihua49

windoze 發(fā)表于 2015-07-07 14:26
回復 36# yulihua49

TMP是指template meta-programming

類似的東西，有個RTMI？
還有個XDR，但是都不能做SRM。
所以，這個輪子，不能不造。
現(xiàn)在，不管訪問什么數(shù)據(jù)庫，我一律SRM，決不再用OCI，PRO*C,CLI  什么的。

http://www.72891.cn/thread-4153426-1-1.html

陌路巨額投入

1、你是否完整的了解過C++98: 2003 標準下的STL設計和實現(xiàn)，并且對你產(chǎn)生了怎么樣的影響?
           說實話，這個沒有完整的了解過，以前在做windows驅(qū)動開發(fā)的時候有過研究，但是現(xiàn)在大部分工作已經(jīng)是Linux的底層驅(qū)動了，對于C++現(xiàn)在只有在周末時候才有研究，不過現(xiàn)在缺少這類書籍。對我的影響：現(xiàn)在在項目設計的時候自己經(jīng)常會使用泛型實現(xiàn)最為常用的容器，迭代器，和算法。容器為你可以拼命加入同類對象而不必關心其容量大小的東西，除非內(nèi)存空間已用完，它會自動為你調(diào)整空間，使你從底層細節(jié)的苦海脫離岀來，用更多的精力去創(chuàng)造更為實用的東西，迭代器為容器的索引，類似語言所定義的指針，然而這東西并不是指針，明顯地說，它是精心設計的與各種容器相匹配的眾多類的某個類的對象，簡單說它是一個類對象，對其進行自增與自減操作與指針的不同是它返回的是邏輯上相連的元素的索引，元素對象可能分散在不同的物理空間，而對指針進行同樣的操作只是簡單地向前或后移動對象大小個字節(jié)的物理地址，并且你沒有方法去檢測你指針的索引已經(jīng)脫離對象隊列，因此更易產(chǎn)生致命錯誤。給我們提拱相同算法使用的靈活性。

2、你是否認同在開發(fā)同應該盡量使用STL，而不是自信的經(jīng)常重復造輪子？
           我個人比較認同應該盡量使用STL。因為經(jīng)常重復造輪子，這在工作之中，雖然這個更快，但是代碼的健壯性和可閱讀性不好。而且這個的代碼的時間和空間復雜度有會有影響，對于實時操作系統(tǒng)會有影響。

3、你對C++11標準下的STL有什么樣的期望，新的STL特性目前有使用嗎？
          對于新的STL的期望，能夠出一些實用簡單的類庫，方便外部調(diào)用，還有容器能夠簡化。新的STL特性目前有使用過的。這個有研究過的，自己去試驗學習的時候使用過。。
        
4、對你來講STL還有哪些是急需改進的地方。
      一些臃腫不實用的一些類剔除掉，另外將STL是編譯器實現(xiàn)速度加快。。

5、對于STL的未來你的預期是什么樣的？
     期待一些實用的STL進入C++標準，另外STL也可以繼續(xù)擴展范圍，涵蓋更多常用的功能，比如file system，函數(shù)調(diào)用、增強并行處理功能之類。

yulihua49

陌路巨額投入 發(fā)表于 2015-07-11 15:25
1、你是否完整的了解過C++98: 2003 標準下的STL設計和實現(xiàn)，并且對你產(chǎn)生了怎么樣的影響?
           說實 ...對于STL的未來你的預期是什么樣的？
     期待一些實用的STL進入C++標準，另外STL也可以繼續(xù)擴展范圍，涵蓋更多常用的功能，比如file system，函數(shù)調(diào)用、增強并行處理功能之類。

你沒發(fā)現(xiàn)需要涵蓋關系數(shù)據(jù)庫？我感覺這個最需要了。
數(shù)據(jù)庫泛型。
還有就是序列化／反序列化的工作。