想用宏来实现C语言结构体的简单反射功能

idi0t

可行吗？
有没有什么思路或者例子？

cjaizss

都C了,还反射个啥啊，折腾

yulihua49

idi0t 发表于 2015-12-08 11:34
可行吗？
有没有什么思路或者例子？

这个最近讨论的比较多，大都不了了之。问一下windoz大侠。
http://bbs.chinaunix.net/thread-4192445-1-1.html
http://bbs.chinaunix.net/forum.p ... ;page=3#pid24476006
http://bbs.chinaunix.net/thread-4190378-1-1.html     C＋＋的
只有我是C的，结构的反射替代方案－－－结构映射。
http://blog.chinaunix.net/uid-8804348-id-2013147.html

fender0107401

C跟C++的痛点，嘿嘿嘿嘿。

idi0t

回复 3# yulihua49


    这几次尝试着去实现一个简单的例子，发现不好实现，而且不论看上去还有实现上都觉得好丑陋，
    位域，结构体的支持这些想不到好办法。看来真是瞎折腾。C语言还是简单就好吧。
    packet.h:

1. #ifndef _HAVE_PACKET_H
   
2. #define _HAVE_PACKET_H
   
3. 
   
4. #include <stddef.h>
   
5. #include <stdio.h>
   
6. #include <stdlib.h>
   
7. #include <string.h>
   
8. enum field_class {
   
9.     base,
   
10.     packet,
    
11.     array,
    
12.     bits,
    
13.     bit,
    
14.     N_FIELD_CLASS
    
15. };
    
16. 
    
17. struct packet_desc {
    
18.     char const *pkt_name;
    
19.     size_t pkt_size;
    
20.     size_t packed_size;
    
21.     size_t n_fields;
    
22. 
    
23.     size_t *field_offsets;
    
24.     size_t *field_sizes;
    
25.     size_t *field_class;
    
26.     char const **field_names;
    
27.     char const **field_types;
    
28. };
    
29. 
    
30. /* _ inner-define
    
31. * */
    
32. #define _DEFINE_base( type, name, size)  type name;
    
33. #define _DEFINE_ref(  type, name, size)  type name;
    
34. #define _DEFINE_array(type, name, size)  type name[size];
    
35. #define _DEFINE_bit(  type, name, size)  type name:size;
    
36. #define _DEFINE_bits( type, name, size)  \
    
37.         struct {\
    
38.             name(DEFINE) \
    
39.         }name;
    
40. #define _DEFINE_packet(type, name, size) \
    
41.     struct name { \
    
42.         name(DEFINE) \
    
43.     }name;
    
44. 
    
45. #define _SIZEOF_END(type, name, size) name),
    
46. #define SIZEOF_END(name) _SIZEOF_END
    
47. #define _SIZEOF_FIELD(name) sizeof(((struct name*)0)-> SIZEOF_END
    
48. 
    
49. #define _COUNT_FIELD( type, name, size) +1
    
50. #define _PACKED_END(type, name, size) name)
    
51. #define PACKED_END(name) _PACKED_END
    
52. #define _PACKED_FIELD(name) +sizeof(((struct name*)0)-> PACKED_END
    
53. #define _STRING_TYPE( type, name, size) #type,
    
54. #define _STRING_NAME( type, name, size) #name,
    
55. #define _NULL_FIELD(  type, name, size)
    
56. #define _OFFSET_END(  type, name, size) name),
    
57. #define OFFSET_END(name) _OFFSET_END
    
58. #define _OFFSET_FIELD(name) __builtin_offsetof(struct name, OFFSET_END
    
59. 
    
60. #define DEFINE(CLASS)       _DEFINE_##CLASS
    
61. #define COUNT_FIELD(CLASS)  _COUNT_FIELD
    
62. #define SIZEOF_FIELD(CLASS) _SIZEOF_FIELD(CLASS)
    
63. #define PACKED_FIELD(CLASS) _PACKED_FIELD(CLASS)
    
64. #define STRING_TYPE(CLASS)  _STRING_TYPE
    
65. #define STRING_NAME(CLASS)  _STRING_NAME
    
66. #define CLASS_FIELD(CLASS)  CLASS,_NULL_FIELD
    
67. #define OFFSET_FIELD(CLASS) _OFFSET_FIELD(CLASS)
    
68. 
    
69. #define PACKET(name) \
    
70.     struct name{ \
    
71.         name(DEFINE) \
    
72.     }; \
    
73. struct packet_desc name##_desc = { \
    
74.     .pkt_name       = #name, \
    
75.     .pkt_size       = sizeof(struct name),\
    
76.     .n_fields       = name(COUNT_FIELD),\
    
77.     .packed_size    = name(PACKED_FIELD(name)),\
    
78.     .field_offsets  = (size_t[])      { name(OFFSET_FIELD(name))},\
    
79.     .field_sizes    = (size_t[])      { name(SIZEOF_FIELD(name)) },\
    
80.     .field_class    = (size_t[])      { name(CLASS_FIELD) },\
    
81.     .field_types    = (char const *[]){ name(STRING_TYPE) },\
    
82.     .field_names    = (char const *[]){ name(STRING_NAME) },\
    
83. };
    
84. 
    
85. static inline void define_printf(struct packet_desc *desc)
    
86. {
    
87.     size_t n_field = 0;
    
88.     printf("struct %s {\n", desc->pkt_name);
    
89.     for (n_field = 0; n_field < desc->n_fields; n_field++) {
    
90.         printf("\t%-16s%16s;\t/*%4d%4d */\n",
    
91.                 desc->field_types[n_field],
    
92.                 desc->field_names[n_field],
    
93.                 desc->field_offsets[n_field],
    
94.                 desc->field_sizes[n_field]
    
95.                 );
    
96.     }
    
97.     printf("\n\t/* size: %d, members: %d */\n"
    
98.            "\t/* sum members: %d */\n",
    
99.            desc->pkt_size,
    
100.            desc->n_fields,
     
101.            desc->packed_size);
     
102.     printf("};\n");
     
103. }
     
104. 
     
105. #endif /* _HAVE_PACKET_H */

复制代码

test.c:

1. #include <stdio.h>
   
2. #include <stdint.h>
   
3. #include "packet.h"
   
4. 
   
5. #define s(_) \
   
6.     _(base)(int, hh, -)\
   
7.     _(base)(int, jj, -)\
   
8.     _(base)(int, kk, -)
   
9. 
   
10. PACKET(s)
    
11. 
    
12. #define world(_) \
    
13.     _(bit)(int, bita, 4) \
    
14.     _(bit)(int, bitb, 4) \
    
15.     _(bit)(int, bitc, 28)\
    
16.     _(bit)(int, bitd, 4)
    
17. 
    
18. #define sub(_) \
    
19.     _(base)(int, hh, -)\
    
20.     _(base)(int, jj, -)\
    
21.     _(base)(int, kk, -)
    
22. 
    
23. #define hello(_) \
    
24.     _(base)(int,   a, -) \
    
25.     _(base)(short, b, -) \
    
26.     _(bits)(struct,world, -) \
    
27.     _(packet)(struct sub, sub, -) \
    
28.     _(base)(struct s*, ha, -) \
    
29.     _(array)(int,  c, 12)
    
30. 
    
31. PACKET(hello)
    
32. 
    
33. int main(void)
    
34. {
    
35.     struct hello hello;
    
36.     define_printf(&hello_desc);
    
37.     define_printf(&s_desc);
    
38. }
    
39. #undef s
    
40. #undef world
    
41. #undef hello
    
42. 
    

复制代码

yulihua49

idi0t 发表于 2015-12-14 08:57
回复 3# yulihua49

如果合用，就用着好了。
如果有更多的需求，再讨论。
我的方案，用于任意结构的序列化/反序列化，和， 读写数据库（映像式）。
主要效果是“柔性编程”，就是，数据结构的变化，程序不变化或少变化。

idi0t

回复 6# yulihua49


    你那个我之前想试下，但不支持位域啊

yulihua49

idi0t 发表于 2015-12-14 13:38
回复 6# yulihua49

位域是不支持。这个研究过一阵。每个CPU，每个编译器，对于位域的排列方法都不同，没有标准，所以做不了。
你用宏，可能能做，但是这个结构传到另一台机器，或者通过数据库在其他节点存取，不能保证一致。
最好使用整数，自己用移位操作解决。