前两天有人提到C++没反射，写了个实验版

windoze

回复 10# yulihua49

C++的模板参数不光可以是type，也可以是编译期常数，所有字面常量和constexpr常量都可以拿来做模板参数。

之前说variant的动态性在read的过程中体现的更明显，假如有一组针对基本类型的输入操作：

1. 
   
2. Src &operator>>(Src&src, int &v) {...}
   
3. Src &operator>>(Src&src, std::string &v) {...}
   
4. Src &operator>>(Src&src, double &v) {...}
   
5. ...
   

复制代码

那么就可以用和上面说到的write过程很类似的手段去read一个variant，具体代码可以参见variant_reader
把variant读进来之后就可用variant::get<type>将其转化为具体的类型，如果variant中的实际类型和要求的类型不符就会抛出bad_get异常。

比如说有一个DBField类型，大致的实现会是这样的：

1. 
   
2. DBField &operator>>(DBField&src, int &v) {
   
3.     v=src.getInt();
   
4.     return src;
   
5. }
   
6. DBField &operator>>(DBField&src, std::string &v) {
   
7.     v=src.getString();
   
8.     return src;
   
9. }
   
10. ...
    

复制代码

然后你就可以写:

1. 
   
2. template<size_t I, size_t N> struct DBRecord_reader {
   
3.     typedef typename cxl::to_variant<T>::type variant_type;
   
4.     template<typename T> void operator(DBRecord &rec, T &t){
   
5.         variant_type v;
   
6.         rec.getField(I) >> v;
   
7.         get<std::tuple_element<I, T>::type>()=v.get<std::tuple_element<I, T>::type>();
   
8.         DBRecord_reader<I+1, cxl::tuple_size<T>::value>()(rec, t);
   
9.     }
   
10. };
    
11. template<size_t N> struct DBRecord_reader<N, N> {
    
12.     template<typename T> void operator(DBRecord &rec, T &t){}
    
13. };
    
14. template<typename ...T>
    
15. void Read_DBRecord(DBRecord &rec, T &t) {
    
16.     DBRecord_reader<0, cxl::tuple_size<T>::value>()(rec, t);
    
17. }
    

复制代码

有了这一组针对基本类型的操作，你就可以动态处理任意的数据库记录，比如：

1. 
   
2. typedef std::tuple<int, std::string ...> Your_Type;
   
3. std::vector<Your_Type> vec;
   
4. Connection conn=getConnection(...);
   
5. ResultSet rs=conn.execute("SELECT ...");
   
6. for(auto &&rec: rs) {
   
7.     Your_type x;
   
8.     Read_DBRecord(rec, x);
   
9.     vec.push_back(std::move(x));
   
10. }
    

复制代码

上述代码可以把任意数据库的内容读进任意tuple里，不需要针对每种tuple定义什么东西。

但是这里有一个小问题，tuple可以用模板元编程技术遍历，但标准的struct/class不支持这种技术，所以我写的反射库的主要功能就是把一个struct/class映射成一个tuple，然后上述的代码就可以应用于这些struct，在这个过程中你不需要单独把struct和一个特定的数据库表映射起来，只需要把struct和一个tuple映射起来，就可以支持任意数据库表，同时还可以支持JSON/XML/CSV这些东西。

wlmqgzm

回复 10# yulihua49

g++ -Wall -fexceptions -march=core2 -O3 -std=c++11  -c /cpp/echo_server/main.cpp -o obj/Release/main.o


测试 一下就OK   g++带参数   -std=c++11

   

yulihua49

BetonArmEE 发表于 2015-11-05 18:20
你们玩的太高端了，我还是用我的DirectStruct写个IDL文件 自动生成json和c结构之间转换函数 吧

你那个也是可以的，把连接贴出来吧。
只是，如果写sqlldr那样的程序怎么办呢？
运行时提供表名和相应的数据怎么处理呢？

我这样的程序：
unldasc tabname -W“where 。。。。” >tabname.txt
任意表卸载数据。
和
ldasc tabname <tabname.txt
加载任何表的数据。

你们的方案能弄出来吗？

yulihua49

windoze 发表于 2015-10-26 17:08
回复 7# yulihua49

你的理解有误，尽管“类型”可以有任意多个，但这些“类型”并不是凭空生成的，每个 ...

存储模板可以用tuple，也可以用其他的。我就是用结构数组。有人用XML或JSON。
关键是你怎么处理模板。

windoze

回复 15# yulihua49

你这里说的“模板”不是C++的template吧……

用struct的问题就是struct不能按照下标访问成员，用XML/JSON当然也可以，但是你只能在运行时检查它们的元素，用tuple的话很多工作可以放在编译期。

yulihua49

windoze 发表于 2015-11-06 14:05
回复 15# yulihua49

你这里说的“模板”不是C++的template吧……

不是C++的template.是描述struct的template。
编译期处理，如何完成上面的题目：
运行时知道表名，处理他的数据。最简单的，加载卸载。

我们许多业务到运行期才知道数据和他们所在的表。
运行时可使用XML和JSON提供数据。解析后知道了表名和列名。
然后呢，怎么生成语句，怎么绑定变量，尤其是数组绑定。字符流无法实现数组绑定。

wlmqgzm

支持创新, 呵呵呵呵, 牛人的技术实力是强啊...

yulihua49

BetonArmEE 发表于 2015-11-06 20:33
回复 14# yulihua49

不是没有这个需求，而是因为难以实现而不敢提这个需求。
可是，现在，它并不难实现。

在一些分布系统里，一个节点要使用几十个参数表，那么它就要向服务器提起几十个功能调用。现在，只有一个功能调用就可以了。你提出表名，我给你数据。
这个功能调用，代码很短，并没有复杂的分析处理，调用泛型函数即可。注意，不是泛型宏。
尽管是运行时处理，效率也是极高的，比大多数手写的专用功能的性能要高的多。

你当然也可以说，没这个需求，写几十个服务调用好了。
但是，如果数据结构改变了，或增加了一些表，那么，你改造系统好了。

柔性编程，对应与制造业的柔性生产。就是在数据结构变化时，程序可以不变或少变。它的基础就是运行时泛型。
改变数据结构，是一个生产系统常见的业务升级。犹如电信系统层出不穷的套餐设计，推出一种新的套餐就要修改程序吗？
软件之所以软，就是善变。不善变，就是“软件不软”。