ltablib.c 7.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283
  1. /*
  2. ** $Id: ltablib.c,v 1.63 2011/11/28 17:26:30 roberto Exp $
  3. ** Library for Table Manipulation
  4. ** See Copyright Notice in lua.h
  5. */
  6. #include <stddef.h>
  7. #define ltablib_c
  8. #define LUA_LIB
  9. #include "lua.h"
  10. #include "lauxlib.h"
  11. #include "lualib.h"
  12. #define aux_getn(L,n) \
  13. (luaL_checktype(L, n, LUA_TTABLE), luaL_len(L, n))
  14. #if defined(LUA_COMPAT_MAXN)
  15. static int maxn (lua_State *L) {
  16. lua_Number max = 0;
  17. luaL_checktype(L, 1, LUA_TTABLE);
  18. lua_pushnil(L); /* first key */
  19. while (lua_next(L, 1)) {
  20. lua_pop(L, 1); /* remove value */
  21. if (lua_type(L, -1) == LUA_TNUMBER) {
  22. lua_Number v = lua_tonumber(L, -1);
  23. if (v > max) max = v;
  24. }
  25. }
  26. lua_pushnumber(L, max);
  27. return 1;
  28. }
  29. #endif
  30. static int tinsert (lua_State *L) {
  31. int e = aux_getn(L, 1) + 1; /* first empty element */
  32. int pos; /* where to insert new element */
  33. switch (lua_gettop(L)) {
  34. case 2: { /* called with only 2 arguments */
  35. pos = e; /* insert new element at the end */
  36. break;
  37. }
  38. case 3: {
  39. int i;
  40. pos = luaL_checkint(L, 2); /* 2nd argument is the position */
  41. if (pos > e) e = pos; /* `grow' array if necessary */
  42. for (i = e; i > pos; i--) { /* move up elements */
  43. lua_rawgeti(L, 1, i-1);
  44. lua_rawseti(L, 1, i); /* t[i] = t[i-1] */
  45. }
  46. break;
  47. }
  48. default: {
  49. return luaL_error(L, "wrong number of arguments to " LUA_QL("insert"));
  50. }
  51. }
  52. lua_rawseti(L, 1, pos); /* t[pos] = v */
  53. return 0;
  54. }
  55. static int tremove (lua_State *L) {
  56. int e = aux_getn(L, 1);
  57. int pos = luaL_optint(L, 2, e);
  58. if (!(1 <= pos && pos <= e)) /* position is outside bounds? */
  59. return 0; /* nothing to remove */
  60. lua_rawgeti(L, 1, pos); /* result = t[pos] */
  61. for ( ;pos<e; pos++) {
  62. lua_rawgeti(L, 1, pos+1);
  63. lua_rawseti(L, 1, pos); /* t[pos] = t[pos+1] */
  64. }
  65. lua_pushnil(L);
  66. lua_rawseti(L, 1, e); /* t[e] = nil */
  67. return 1;
  68. }
  69. static void addfield (lua_State *L, luaL_Buffer *b, int i) {
  70. lua_rawgeti(L, 1, i);
  71. if (!lua_isstring(L, -1))
  72. luaL_error(L, "invalid value (%s) at index %d in table for "
  73. LUA_QL("concat"), luaL_typename(L, -1), i);
  74. luaL_addvalue(b);
  75. }
  76. static int tconcat (lua_State *L) {
  77. luaL_Buffer b;
  78. size_t lsep;
  79. int i, last;
  80. const char *sep = luaL_optlstring(L, 2, "", &lsep);
  81. luaL_checktype(L, 1, LUA_TTABLE);
  82. i = luaL_optint(L, 3, 1);
  83. last = luaL_opt(L, luaL_checkint, 4, luaL_len(L, 1));
  84. luaL_buffinit(L, &b);
  85. for (; i < last; i++) {
  86. addfield(L, &b, i);
  87. luaL_addlstring(&b, sep, lsep);
  88. }
  89. if (i == last) /* add last value (if interval was not empty) */
  90. addfield(L, &b, i);
  91. luaL_pushresult(&b);
  92. return 1;
  93. }
  94. /*
  95. ** {======================================================
  96. ** Pack/unpack
  97. ** =======================================================
  98. */
  99. static int pack (lua_State *L) {
  100. int n = lua_gettop(L); /* number of elements to pack */
  101. lua_createtable(L, n, 1); /* create result table */
  102. lua_pushinteger(L, n);
  103. lua_setfield(L, -2, "n"); /* t.n = number of elements */
  104. if (n > 0) { /* at least one element? */
  105. int i;
  106. lua_pushvalue(L, 1);
  107. lua_rawseti(L, -2, 1); /* insert first element */
  108. lua_replace(L, 1); /* move table into index 1 */
  109. for (i = n; i >= 2; i--) /* assign other elements */
  110. lua_rawseti(L, 1, i);
  111. }
  112. return 1; /* return table */
  113. }
  114. static int unpack (lua_State *L) {
  115. int i, e, n;
  116. luaL_checktype(L, 1, LUA_TTABLE);
  117. i = luaL_optint(L, 2, 1);
  118. e = luaL_opt(L, luaL_checkint, 3, luaL_len(L, 1));
  119. if (i > e) return 0; /* empty range */
  120. n = e - i + 1; /* number of elements */
  121. if (n <= 0 || !lua_checkstack(L, n)) /* n <= 0 means arith. overflow */
  122. return luaL_error(L, "too many results to unpack");
  123. lua_rawgeti(L, 1, i); /* push arg[i] (avoiding overflow problems) */
  124. while (i++ < e) /* push arg[i + 1...e] */
  125. lua_rawgeti(L, 1, i);
  126. return n;
  127. }
  128. /* }====================================================== */
  129. /*
  130. ** {======================================================
  131. ** Quicksort
  132. ** (based on `Algorithms in MODULA-3', Robert Sedgewick;
  133. ** Addison-Wesley, 1993.)
  134. ** =======================================================
  135. */
  136. static void set2 (lua_State *L, int i, int j) {
  137. lua_rawseti(L, 1, i);
  138. lua_rawseti(L, 1, j);
  139. }
  140. static int sort_comp (lua_State *L, int a, int b) {
  141. if (!lua_isnil(L, 2)) { /* function? */
  142. int res;
  143. lua_pushvalue(L, 2);
  144. lua_pushvalue(L, a-1); /* -1 to compensate function */
  145. lua_pushvalue(L, b-2); /* -2 to compensate function and `a' */
  146. lua_call(L, 2, 1);
  147. res = lua_toboolean(L, -1);
  148. lua_pop(L, 1);
  149. return res;
  150. }
  151. else /* a < b? */
  152. return lua_compare(L, a, b, LUA_OPLT);
  153. }
  154. static void auxsort (lua_State *L, int l, int u) {
  155. while (l < u) { /* for tail recursion */
  156. int i, j;
  157. /* sort elements a[l], a[(l+u)/2] and a[u] */
  158. lua_rawgeti(L, 1, l);
  159. lua_rawgeti(L, 1, u);
  160. if (sort_comp(L, -1, -2)) /* a[u] < a[l]? */
  161. set2(L, l, u); /* swap a[l] - a[u] */
  162. else
  163. lua_pop(L, 2);
  164. if (u-l == 1) break; /* only 2 elements */
  165. i = (l+u)/2;
  166. lua_rawgeti(L, 1, i);
  167. lua_rawgeti(L, 1, l);
  168. if (sort_comp(L, -2, -1)) /* a[i]<a[l]? */
  169. set2(L, i, l);
  170. else {
  171. lua_pop(L, 1); /* remove a[l] */
  172. lua_rawgeti(L, 1, u);
  173. if (sort_comp(L, -1, -2)) /* a[u]<a[i]? */
  174. set2(L, i, u);
  175. else
  176. lua_pop(L, 2);
  177. }
  178. if (u-l == 2) break; /* only 3 elements */
  179. lua_rawgeti(L, 1, i); /* Pivot */
  180. lua_pushvalue(L, -1);
  181. lua_rawgeti(L, 1, u-1);
  182. set2(L, i, u-1);
  183. /* a[l] <= P == a[u-1] <= a[u], only need to sort from l+1 to u-2 */
  184. i = l; j = u-1;
  185. for (;;) { /* invariant: a[l..i] <= P <= a[j..u] */
  186. /* repeat ++i until a[i] >= P */
  187. while (lua_rawgeti(L, 1, ++i), sort_comp(L, -1, -2)) {
  188. if (i>=u) luaL_error(L, "invalid order function for sorting");
  189. lua_pop(L, 1); /* remove a[i] */
  190. }
  191. /* repeat --j until a[j] <= P */
  192. while (lua_rawgeti(L, 1, --j), sort_comp(L, -3, -1)) {
  193. if (j<=l) luaL_error(L, "invalid order function for sorting");
  194. lua_pop(L, 1); /* remove a[j] */
  195. }
  196. if (j<i) {
  197. lua_pop(L, 3); /* pop pivot, a[i], a[j] */
  198. break;
  199. }
  200. set2(L, i, j);
  201. }
  202. lua_rawgeti(L, 1, u-1);
  203. lua_rawgeti(L, 1, i);
  204. set2(L, u-1, i); /* swap pivot (a[u-1]) with a[i] */
  205. /* a[l..i-1] <= a[i] == P <= a[i+1..u] */
  206. /* adjust so that smaller half is in [j..i] and larger one in [l..u] */
  207. if (i-l < u-i) {
  208. j=l; i=i-1; l=i+2;
  209. }
  210. else {
  211. j=i+1; i=u; u=j-2;
  212. }
  213. auxsort(L, j, i); /* call recursively the smaller one */
  214. } /* repeat the routine for the larger one */
  215. }
  216. static int sort (lua_State *L) {
  217. int n = aux_getn(L, 1);
  218. luaL_checkstack(L, 40, ""); /* assume array is smaller than 2^40 */
  219. if (!lua_isnoneornil(L, 2)) /* is there a 2nd argument? */
  220. luaL_checktype(L, 2, LUA_TFUNCTION);
  221. lua_settop(L, 2); /* make sure there is two arguments */
  222. auxsort(L, 1, n);
  223. return 0;
  224. }
  225. /* }====================================================== */
  226. static const luaL_Reg tab_funcs[] = {
  227. {"concat", tconcat},
  228. #if defined(LUA_COMPAT_MAXN)
  229. {"maxn", maxn},
  230. #endif
  231. {"insert", tinsert},
  232. {"pack", pack},
  233. {"unpack", unpack},
  234. {"remove", tremove},
  235. {"sort", sort},
  236. {NULL, NULL}
  237. };
  238. LUAMOD_API int luaopen_table (lua_State *L) {
  239. luaL_newlib(L, tab_funcs);
  240. #if defined(LUA_COMPAT_UNPACK)
  241. /* _G.unpack = table.unpack */
  242. lua_getfield(L, -1, "unpack");
  243. lua_setglobal(L, "unpack");
  244. #endif
  245. return 1;
  246. }