aboutsummaryrefslogtreecommitdiffstats
path: root/mds/cstruct2luatable.txt
blob: 8b4b7a135a41bdab71afec2fbf931d80778469d5 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
== C Struct to Lua table

=== Overview

For this tutorial we’ll change a C struct into a Lua table. The
structure we’ll be using won’t be the simplest structure you’ll come
across in the wild so hopefully the tutorial will do a little more than
just cover the basics. We’ll add the structures as `+userdata+` and not
as `+lightuserdata+`. Because of that, we won’t have to manage the
memory ourselves, instead we will let Lua’s GC handle it for us.
Disclaimer:

* This turotial is not supposed to be a full dive into lua tables,
metatables and their implementation or behavior. The tutorial is meant
as an entry point into implementing custom Lua tables.

==== Yet Another One?

There are already a couple of tutorials on this, yes, but the ones I
managed to find were all targeting older versions of lua and as the Lua
devs have clearly stated, different Lua version are really different.
The other reason I wrote this is I needed a structures that had
structure members themselves and I couldn’t find a tutorial for that.
This tutorial will be targeting Lua 5.3. We’ll also be using a
not-so-simple structure to turn into a Lua table.

==== What you’ll need

* A working C compiler(I’ll be using clang)
* Make
* you can get the repo
https://github.com/bloodstalker/blogstuff/tree/master/src/cstruct2luatbale[here].

=== C Structs

First let’s take a look at the C structures we’ll be using. The primary
structure is called `+a_t+` which has, inside it, two more structures
`+b_t+` and `+c_t+`:

[source,c]
----
typedef struct {
  uint64_t a_int;
  double a_float;
  char* a_string;
  b_t* a_p;
  c_t** a_pp;
} a_t;
----

[source,c]
----
typedef struct {
  uint32_t b_int;
  double b_float;
} b_t;
----

[source,c]
----
typedef struct {
  char* c_string;
  uint32_t c_int;
} c_t;
----

The structures are purely artificial.

=== First Step: Lua Types

First let’s take a look at `+a_t+` and decide how we want to do this.
`+a_t+` has five members:

* `+a_int+` which in Lua we can turn into an `+integer+`.
* `+a_float+` which we can turn into a `+number+`.
* `+a_string+` which will be a Lua `+string+`.
* `+a_p+` which is a pointer to another structure. As previously stated,
we will turn this into a `+userdata+`.
* `+a_pp+` which is a double pointer. We will turn this into a table of
`+userdata+`.

=== Second Step: Helper Functions

Now let’s think about what we need to do. First we need to think about
how we will be using our structures. For this example we will go with a
pointer, i.e., our library code will get a pointer to the structure so
we need to turn the table into `+userdata+`. Next, we want to be able to
push and pop our new table from the Lua stack. We can also use Lua’s
type check to make sure our library code complains when someone passes a
bad type. We will also add functions for pushing the structure arguments
onto the stack, a fucntion that acts as our constructor for our new
table(more on that later) and getter and setter methods to access our C
structures fields.

Let’s start: First we will write a function that checks the type and
returns the C structure:

[source,c]
----
static a_t* pop_a_t(lua_State* ls, int index) {
  a_t* dummy;
  dummy = luaL_checkudata(ls, index, "a_t");
  if (!dummy) printf("error:bad type, expected a_t\n");
  return dummy;
}
----

We check to see if the stack index we are getting is actually a userdata
type and then check the type of the userdata we get to make sure we get
the right userdata type. We check the type of the userdata by checking
its metatable. We will get into that later. This amounts to our "`pop`"
functionality for our new type. Now let’s write a "`push`": The function
will look like this:

[source,c]
----
a_t* push_a_t(lua_State* ls) {
  if (!lua_checkstack(ls, 1)) {
      printf("o woe is me. no more room in hell...I mean stack...\n");return NULL;
    }
  a_t* dummy = lua_newuserdata(ls, sizeof(a_t));
  luaL_getmetatable(ls, "a_t");
  lua_setmetatable(ls, -2);
  lua_pushlughtuserdata(ls, dummy);
  lua_pushvalue(ls, -2);
  lua_settable(ls, LUA_REGISTRYINDEX);
  return dummy;
}
----

Notice that we reserve new memory here using `+lua_newuserdata+` instead
of `+malloc+` or what have you. This way we leave it up to Lua to handle
the GC(in the real world however, you might not have the luxury of doing
so). Now let’s talk about what we are actually doing here: First off we
reserve memory for our new table using `+lua_newuserdata+`. Then we get
and set the metatable that we will register later in the tutorial with
Lua for our newly constructed userdata. Setting the metatable is our way
of telling Lua what our userdata is, what methods it has along with some
customizations that we will talk about later. We need to have a method
of retrieving our full userdata when we need it. We do that by
registering our userdata inside `+LUA_REGISTRYINDEX+`. We will need a
key. for simplicity’s sake we use the pointer that `+lua_newuserdata+`
returned as the key for each new full userdata. As for the value of the
key, we will use the full userdata itself. That’s why we are using
`+lua_pushvalue+`. Please note that lua doesn’t have a
`+push_fulluserdata+` function and we can’t just pass the pointer to our
userdata as the key since that would just be a lihgtuserdata and not a
userdata so we just copy the fulluserdata onto the stack as the value
for the key. Lastly we just set our key-value pair with
`+LUA_REGISTRYINDEX+`.

Next we will write a function that pushes the fields of the structure
onto the stack:

[source,c]
----
int a_t_push_args(lua_State* ls, a_t* a) {
  if (!lua_checkstack(ls, 5)) {
    printf("welp. lua doesn't love you today so no more stack space for you\n");
    return 0;
  }
  lua_pushinteger(ls, a->a_int);
  lua_pushnumber(ls, a->a_float);
  lua_pushstring(ls, a->a_string);
  push_b_t(ls);
  lua_pushlightuserdata(ls, a->a_pp);
  return 5;
}
----

Notice that we are returning 5, since our new next function which is the
new function expects to see the 5 fields on top of the stack.

Next up is our new function:

[source,c]
----
int new_a_t(lua_State* ls) {
  if (!lua_checkstack(ls, 6)) {
    printf("today isnt your day, is it?no more room on top of stack\n");
    return 0;
  }
  int a_int = lua_tointeger(ls, -1);
  float a_float = lua_tonumber(ls, -2);
  char* a_string = lua_tostring(ls, -3);
  void* a_p = lua_touserdata(ls, -4);
  void** a_pp = lua_touserdata(ls, -5);
  lua_pop(ls, 5);
  a_t* dummy = push_a_t(ls);
  dummy->a_int = a_int;
  dummy->a_float = a_float;
  dummy->a_string = a_string;
  dummy->a_p = a_p;
  dummy->a_pp = a_pp;
  return 1;
}
----

We just push an `+a_t+` on top of stack and then populate the fields
with the values already on top of stack. The fact that we wrote tha two
separate functions for pushing the arguments and returning a new table
instance means we can use `+new_a_t+` as a constructor from lua as well.
We’ll later talk about that.

=== Third Step: Setters and Getters

Now lets move onto writing our setter and getter functions. For the
non-userdata types its fairly straightforward:

[source,c]
----
static int getter_a_float(lua_State* ls) {
  a_t* dummy = pop_a_t(ls, -1);
  lua_pushnumber(ls, dummy->a_number);
  return 1;
}

static int getter_a_string(lua_State* ls) {
  a_t* dummy = pop_a_t(ls, -1);
  lua_pushstring(ls, dummy->a_string);
  return 1;
}
----

As for the setters:

[source,c]
----
static int setter_a_int(lua_State* ls) {
  a_t* dummy = pop_a_t(ls, 1);
  dummy->a_int = lua_checkinteger(ls, 2);
  return 1;
}
----

Now for the 4th and 5th fields:

[source,c]
----
static int getter_a_p(lua_State *ls) {
  a_t* dummy = pop_a_t(ls, 1);
  lua_pop(ls, -1);
  lua_pushlightuserdata(ls, dummy->a_p);
  lua_gettable(ls, LUA_REGISTRYINDEX);
  return 1;
}
----

For the sake of laziness, let’s assume `+a_t->a_int+` denotes the number
of entries in `+a_t->a_pp+`.

[source,c]
----
static int getter_a_pp(lua_State* ls) {
  a_t* dummy = pop_a_t(ls, 1);
  lua_pop(ls, -1);
  if (!lua_checkstack(ls, 3)) {
    printf("sacrifice a keyboard to the moon gods or something... couldnt grow stack.\n");
    return 0;
  }
  lua_newtable(ls);
  for (uint64_t i = 0; i < dummy->a_int; ++i) {
    lua_pushinteger(ls, i + 1);
    if (dummy->a_pp[i] != NULL) {
      lua_pushlightuserdata(ls, dummy->a_pp[i]);
      lua_gettable(ls, LUA_REGISTRYINDEX);
    } else {
      lua_pop(ls, 1);
      continue;
    }
    lua_settable(ls, -3);
  }
  return 1;
}
----

Since we register all our tables with `+LUA_REGISTRYINDEX+` we just
retreive the key which in our case, conviniently is the pointer to the
userdata and retrieve the value(our userdata). As you can see, for
setters we are assuming that the table itself is being passed as the
first argument(the `+pop_a_t+` line assumes that).

Our setters methods would be called like this in Lua:

[source,lua]
----
local a = a_t()
a:set_a_int(my_int)
----

The `+:+` operator in Lua is syntactic sugar. The second line from the
above snippet is equivalent to `+a.set_a_int(self, my_int)+`. As you can
see, the table itself will always be our first argument. That’s why our
assumption above will always be true if the lua code is well-formed.

We do the same steps above for `+b_t+` and `+c_t+` getter functions.

Now let’s look at our setters:

[source,c]
----
static int setter_a_string(lua_State *ls) {
  a_t* dummy = pop_a_t(ls, 1);
  dummy->a_string = lua_tostring(ls, 2);
  lua_settop(ls, 1);
  return 0;
}

static int setter_a_p(lua_State *ls) {
  a_t* dummy = pop_a_t(ls, 1);
  dummy->a_p = luaL_checkudata(ls, 2, "b_t");
  lua_pop(ls, 1);
  lua_settop(ls, 1);
  return 0;
}
----

[source,c]
----
static int setter_a_pp(lua_State* ls) {
  a_t* dummy = pop_a_t(ls, 1);
  dummy->a_pp = lua_newuserdata(ls, sizeof(void*));
  if (!lua_checkstack(ls, 3)) {
    printf("is it a curse or something? couldnt grow stack.\n");
    return 0;
  }
  int table_length = lua_rawlen(ls, 2);
  for (int i = 1; i <= table_length; ++i) {
    lua_rawgeti(ls, 2, i);
    dummy->a_pp[i - 1] = luaL_checkudata(ls, -1, "c_t");
    lua_pop(ls, 1);
  }
  return 0;
}
----

We are all done with the functions we needed for our new table. Now we
need to register the metatable we kept using:

== Fourth Step: Metatable

First, if you haven’t already, take a look at the chapter on metatable
and metamethods on pil https://www.lua.org/pil/13.html[here].

[source,c]
----
static const luaL_Reg a_t_methods[] = {
    {"new", new_a_t},
    {"set_a_int", setter_a_int},
    {"set_a_float", setter_a_float},
    {"set_a_string", setter_a_string},
    {"set_a_p", setter_a_p},
    {"set_a_pp", setter_a_pp},
    {"a_int", getter_a_int},
    {"a_float", getter_a_float},
    {"a_string", getter_a_string},
    {"a_p", getter_a_p},
    {"a_pp", getter_a_pp},
    {0, 0}};

static const luaL_Reg a_t_meta[] = {{0, 0}};
----

We just list the functions we want to be accessible inside Lua code. Lua
expects the C functions that we register with Lua to have the form
`+(int)(func_ptr*)(lua_State*)+`. Also, it’s a good idea to take a look
at the metatable events that Lua 5.3 supports
http://lua-users.org/wiki/MetatableEvents[here]. They provide
customization options for our new table type(as an example we get the
same functionality as C++ where we get to define what an operator does
for our table type).

Now we move on to registering our metatable with Lua:

[source,c]
----
int a_t_register(lua_State *ls) {
  lua_checkstack(ls, 4);
  lua_newtable(ls);
  luaL_setfuncs(ls, a_t_methods, 0);
  luaL_newmetatable(ls, "a_t");
  luaL_setfuncs(ls, a_t_methods, 0);
  luaL_setfuncs(ls, a_t_meta, 0);
  lua_pushliteral(ls, "__index");
  lua_pushvalue(ls, -3);
  lua_rawset(ls, -3);
  lua_pushliteral(ls, "__metatable");
  lua_pushvalue(ls, -3);
  lua_rawset(ls, -3);
  lua_setglobal(ls, "a_t");
  return 0;
}
----

Please note that we are registering the metatable as a global. It is
generally not recommended to do so.Why you ask? Adding a new enrty to
the global table in Lua means you are already reserving that keyword, so
if another library also needs that key, you are going to have lots of
fun(the term `+fun+` here is borrowed from the Dwarf Fortress
literature). Entries in the global table will require Lua to look things
up in the global table so it slows things down a bit, though whether the
slow-down is signifacant enough really depends on you and your
requirements.

We are almost done with our new table but there is one thing remaining
and that is our table doesn’t have a cozy constructor(Cozy constructors
are not a thing. Seriously. I just made it up.). We can use our `+new+`
function as a constructor, we have registered it with our metatable, but
it requires you to pass all the arguments at the time of construction.
Sometimes it’s convinient to hold off on passing all or some of the args
at construction time, mostly because you are writing a library and your
power users will do all sorts of unconventional and crazy/creative
things with your library.

Remember metatable events? That’s what we’ll use. Lua metatables support
something called metatable events. Eeach event has a string key and the
value is whatever you put as the value. The values are used whenever
that event happens. Some the events are:

* `+__call+`
* `+__pairs+`
* `+__sub+`
* `+__add+`
* `+__gc+` The `+__sub+` event is triggered when your table is the
operand of a suntraction operator. `+__gc+` is used when lua want to
dispose of the table so if you are handling the memory yourself, in
contrast to letting Lua handle it for you, here’s where you free memory.
The events are a powerful tool that help us customize how our new table
behaves.

For a constructor, we will use the `+__call+` event. That means when
someone calls our metatable in Lua, like this(call event is triggered
when our table is called, syntactically speaking):

[source,lua]
----
local a = a_t()
----

`+a+` will become a new instance of our table. We can add a value for
our metatable’s `+__call+` key from either Lua or C. Since we are
talking about Lua and haven’t almost written anything in Lua, let’s do
it in Lua:

[source,lua]
----
setmetatable(a_t, {__call =
  function(self, arg1, arg2, arg3, arg4, arg5)
    local t = self.new(arg1, arg2, arg3, arg4, arg5)
    return t
  end
  }
)
----

We use our `+new+` method which we previously registered for our
metatable. Note that Lua will pass `+nil+` for the argument if we don’t
provide any. That’s how our cozy constructor works.

=== Final Words

The tutorial’s goal is to show you one way of doing the task and not
necessarily the best way of doing it. Besides, depending on your
situation, you might want to do things differently so by no means is
this tutorial enough. It’s an entry level tutorial. Any feedback,
suggestions and/or fixes to the tutorial is much appreciated.

=== Shameless Plug

I needed to turn a C struct into a lua table for an application I’m
working https://github.com/bloodstalker/mutator/tree/master/bruiser[on].
Further down the line, I needed to do the same for a lot more C structs
with the possibility of me having to do the same for a lot more C
structs. I just couldn’t bring myself to do it manually for that many C
structs so I decided to work on a code generator that does that for me.
The result is https://github.com/bloodstalker/luatablegen[luatablegen].
`+luatablegen+` is a simple script that takes the description of your C
structures in an XML file and generates the C code for your new tables
and metatables. It does everything we did by hand automatically for us.
`+lautablegen+` is in its early stages, so again, any feedback or help
will be appreciated.

timestamp:1705630055

version:1.0.0

https://blog.terminaldweller.com/rss/feed

https://raw.githubusercontent.com/terminaldweller/blog/main/mds/cstruct2luatable.md