extensions.html 17 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473
  1. <!DOCTYPE html>
  2. <html>
  3. <head>
  4. <title>Extensions</title>
  5. <meta charset="utf-8">
  6. <meta name="Copyright" content="Copyright (C) 2005-2023">
  7. <meta name="Language" content="en">
  8. <link rel="stylesheet" type="text/css" href="bluequad.css" media="screen">
  9. <link rel="stylesheet" type="text/css" href="bluequad-print.css" media="print">
  10. <style type="text/css">
  11. table.exc {
  12. line-height: 1.2;
  13. }
  14. tr.exchead td {
  15. font-weight: bold;
  16. }
  17. td.excplatform {
  18. width: 48%;
  19. }
  20. td.exccompiler {
  21. width: 29%;
  22. }
  23. td.excinterop {
  24. width: 23%;
  25. }
  26. </style>
  27. </head>
  28. <body>
  29. <div id="site">
  30. <a href="https://luajit.org"><span>Lua<span id="logo">JIT</span></span></a>
  31. </div>
  32. <div id="head">
  33. <h1>Extensions</h1>
  34. </div>
  35. <div id="nav">
  36. <ul><li>
  37. <a href="luajit.html">LuaJIT</a>
  38. <ul><li>
  39. <a href="https://luajit.org/download.html">Download <span class="ext">&raquo;</span></a>
  40. </li><li>
  41. <a href="install.html">Installation</a>
  42. </li><li>
  43. <a href="running.html">Running</a>
  44. </li></ul>
  45. </li><li>
  46. <a class="current" href="extensions.html">Extensions</a>
  47. <ul><li>
  48. <a href="ext_ffi.html">FFI Library</a>
  49. <ul><li>
  50. <a href="ext_ffi_tutorial.html">FFI Tutorial</a>
  51. </li><li>
  52. <a href="ext_ffi_api.html">ffi.* API</a>
  53. </li><li>
  54. <a href="ext_ffi_semantics.html">FFI Semantics</a>
  55. </li></ul>
  56. </li><li>
  57. <a href="ext_buffer.html">String Buffers</a>
  58. </li><li>
  59. <a href="ext_jit.html">jit.* Library</a>
  60. </li><li>
  61. <a href="ext_c_api.html">Lua/C API</a>
  62. </li><li>
  63. <a href="ext_profiler.html">Profiler</a>
  64. </li></ul>
  65. </li><li>
  66. <a href="https://luajit.org/status.html">Status <span class="ext">&raquo;</span></a>
  67. </li><li>
  68. <a href="https://luajit.org/faq.html">FAQ <span class="ext">&raquo;</span></a>
  69. </li><li>
  70. <a href="https://luajit.org/list.html">Mailing List <span class="ext">&raquo;</span></a>
  71. </li></ul>
  72. </div>
  73. <div id="main">
  74. <p>
  75. LuaJIT is fully upwards-compatible with Lua 5.1. It supports all
  76. <a href="https://www.lua.org/manual/5.1/manual.html#5"><span class="ext">&raquo;</span>&nbsp;standard Lua
  77. library functions</a> and the full set of
  78. <a href="https://www.lua.org/manual/5.1/manual.html#3"><span class="ext">&raquo;</span>&nbsp;Lua/C API
  79. functions</a>.
  80. </p>
  81. <p>
  82. LuaJIT is also fully ABI-compatible to Lua 5.1 at the linker/dynamic
  83. loader level. This means you can compile a C&nbsp;module against the
  84. standard Lua headers and load the same shared library from either Lua
  85. or LuaJIT.
  86. </p>
  87. <p>
  88. LuaJIT extends the standard Lua VM with new functionality and adds
  89. several extension modules. Please note, this page is only about
  90. <em>functional</em> enhancements and not about performance enhancements,
  91. such as the optimized VM, the faster interpreter or the JIT compiler.
  92. </p>
  93. <h2 id="modules">Extensions Modules</h2>
  94. <p>
  95. LuaJIT comes with several built-in extension modules:
  96. </p>
  97. <h3 id="bit"><tt>bit.*</tt> &mdash; Bitwise operations</h3>
  98. <p>
  99. LuaJIT supports all bitwise operations as defined by
  100. <a href="https://bitop.luajit.org"><span class="ext">&raquo;</span>&nbsp;Lua BitOp</a>:
  101. </p>
  102. <pre class="code">
  103. bit.tobit bit.tohex bit.bnot bit.band bit.bor bit.bxor
  104. bit.lshift bit.rshift bit.arshift bit.rol bit.ror bit.bswap
  105. </pre>
  106. <p>
  107. This module is a LuaJIT built-in &mdash; you don't need to download or
  108. install Lua BitOp. The Lua BitOp site has full documentation for all
  109. <a href="https://bitop.luajit.org/api.html"><span class="ext">&raquo;</span>&nbsp;Lua BitOp API functions</a>.
  110. The FFI adds support for
  111. <a href="ext_ffi_semantics.html#cdata_arith">64&nbsp;bit bitwise operations</a>,
  112. using the same API functions.
  113. </p>
  114. <p>
  115. Please make sure to <tt>require</tt> the module before using any of
  116. its functions:
  117. </p>
  118. <pre class="code">
  119. local bit = require("bit")
  120. </pre>
  121. <p>
  122. An already installed Lua BitOp module is ignored by LuaJIT.
  123. This way you can use bit operations from both Lua and LuaJIT on a
  124. shared installation.
  125. </p>
  126. <h3 id="ffi"><tt>ffi.*</tt> &mdash; FFI library</h3>
  127. <p>
  128. The <a href="ext_ffi.html">FFI library</a> allows calling external
  129. C&nbsp;functions and the use of C&nbsp;data structures from pure Lua
  130. code.
  131. </p>
  132. <h3 id="jit"><tt>jit.*</tt> &mdash; JIT compiler control</h3>
  133. <p>
  134. The functions in this module
  135. <a href="ext_jit.html">control the behavior of the JIT compiler engine</a>.
  136. </p>
  137. <h3 id="c_api">C API extensions</h3>
  138. <p>
  139. LuaJIT adds some
  140. <a href="ext_c_api.html">extra functions to the Lua/C API</a>.
  141. </p>
  142. <h3 id="profiler">Profiler</h3>
  143. <p>
  144. LuaJIT has an <a href="ext_profiler.html">integrated profiler</a>.
  145. </p>
  146. <h2 id="library">Enhanced Standard Library Functions</h2>
  147. <h3 id="xpcall"><tt>xpcall(f, err [,args...])</tt> passes arguments</h3>
  148. <p>
  149. Unlike the standard implementation in Lua 5.1, <tt>xpcall()</tt>
  150. passes any arguments after the error function to the function
  151. which is called in a protected context.
  152. </p>
  153. <h3 id="load"><tt>loadfile()</tt> etc. handle UTF-8 source code</h3>
  154. <p>
  155. Non-ASCII characters are handled transparently by the Lua source code parser.
  156. This allows the use of UTF-8 characters in identifiers and strings.
  157. A UTF-8 BOM is skipped at the start of the source code.
  158. </p>
  159. <h3 id="tostring"><tt>tostring()</tt> etc. canonicalize NaN and &plusmn;Inf</h3>
  160. <p>
  161. All number-to-string conversions consistently convert non-finite numbers
  162. to the same strings on all platforms. NaN results in <tt>"nan"</tt>,
  163. positive infinity results in <tt>"inf"</tt> and negative infinity results
  164. in <tt>"-inf"</tt>.
  165. </p>
  166. <h3 id="tonumber"><tt>tonumber()</tt> etc. use builtin string to number conversion</h3>
  167. <p>
  168. All string-to-number conversions consistently convert integer and
  169. floating-point inputs in decimal, hexadecimal and binary on all platforms.
  170. <tt>strtod()</tt> is <em>not</em> used anymore, which avoids numerous
  171. problems with poor C library implementations. The builtin conversion
  172. function provides full precision according to the IEEE-754 standard, it
  173. works independently of the current locale and it supports hex floating-point
  174. numbers (e.g. <tt>0x1.5p-3</tt>).
  175. </p>
  176. <h3 id="string_dump"><tt>string.dump(f [,strip])</tt> generates portable bytecode</h3>
  177. <p>
  178. An extra argument has been added to <tt>string.dump()</tt>. If set to
  179. <tt>true</tt>, 'stripped' bytecode without debug information is
  180. generated. This speeds up later bytecode loading and reduces memory
  181. usage. See also the
  182. <a href="running.html#opt_b"><tt>-b</tt> command line option</a>.
  183. </p>
  184. <p>
  185. The generated bytecode is portable and can be loaded on any architecture
  186. that LuaJIT supports, independent of word size or endianess. However, the
  187. bytecode compatibility versions must match. Bytecode stays compatible
  188. for dot releases (x.y.0 &rarr; x.y.1), but may change with major or
  189. minor releases (2.0 &rarr; 2.1) or between any beta release. Foreign
  190. bytecode (e.g. from Lua 5.1) is incompatible and cannot be loaded.
  191. </p>
  192. <p>
  193. Note: <tt>LJ_GC64</tt> mode requires a different frame layout, which implies
  194. a different, incompatible bytecode format for all 64 bit ports. This may be
  195. rectified in the future.
  196. </p>
  197. <h3 id="table_new"><tt>table.new(narray, nhash)</tt> allocates a pre-sized table</h3>
  198. <p>
  199. An extra library function <tt>table.new()</tt> can be made available via
  200. <tt>require("table.new")</tt>. This creates a pre-sized table, just like
  201. the C API equivalent <tt>lua_createtable()</tt>. This is useful for big
  202. tables if the final table size is known and automatic table resizing is
  203. too expensive.
  204. </p>
  205. <h3 id="table_clear"><tt>table.clear(tab)</tt> clears a table</h3>
  206. <p>
  207. An extra library function <tt>table.clear()</tt> can be made available
  208. via <tt>require("table.clear")</tt>. This clears all keys and values
  209. from a table, but preserves the allocated array/hash sizes. This is
  210. useful when a table, which is linked from multiple places, needs to be
  211. cleared and/or when recycling a table for use by the same context. This
  212. avoids managing backlinks, saves an allocation and the overhead of
  213. incremental array/hash part growth.
  214. </p>
  215. <p>
  216. Please note, this function is meant for very specific situations. In most
  217. cases it's better to replace the (usually single) link with a new table
  218. and let the GC do its work.
  219. </p>
  220. <h3 id="math_random">Enhanced PRNG for <tt>math.random()</tt></h3>
  221. <p>
  222. LuaJIT uses a Tausworthe PRNG with period 2^223 to implement
  223. <tt>math.random()</tt> and <tt>math.randomseed()</tt>. The quality of
  224. the PRNG results is much superior compared to the standard Lua
  225. implementation, which uses the platform-specific ANSI rand().
  226. </p>
  227. <p>
  228. The PRNG generates the same sequences from the same seeds on all
  229. platforms and makes use of all bits in the seed argument.
  230. <tt>math.random()</tt> without arguments generates 52 pseudo-random bits
  231. for every call. The result is uniformly distributed between 0.0 and 1.0.
  232. It's correctly scaled up and rounded for <tt>math.random(n&nbsp;[,m])</tt> to
  233. preserve uniformity.
  234. </p>
  235. <p>
  236. Important: Neither this nor any other PRNG based on the simplistic
  237. <tt>math.random()</tt> API is suitable for cryptographic use.
  238. </p>
  239. <h3 id="io"><tt>io.*</tt> functions handle 64&nbsp;bit file offsets</h3>
  240. <p>
  241. The file I/O functions in the standard <tt>io.*</tt> library handle
  242. 64&nbsp;bit file offsets. In particular, this means it's possible
  243. to open files larger than 2&nbsp;Gigabytes and to reposition or obtain
  244. the current file position for offsets beyond 2&nbsp;GB
  245. (<tt>fp:seek()</tt> method).
  246. </p>
  247. <h3 id="debug_meta"><tt>debug.*</tt> functions identify metamethods</h3>
  248. <p>
  249. <tt>debug.getinfo()</tt> and <tt>lua_getinfo()</tt> also return information
  250. about invoked metamethods. The <tt>namewhat</tt> field is set to
  251. <tt>"metamethod"</tt> and the <tt>name</tt> field has the name of
  252. the corresponding metamethod (e.g. <tt>"__index"</tt>).
  253. </p>
  254. <h2 id="resumable">Fully Resumable VM</h2>
  255. <p>
  256. The LuaJIT VM is fully resumable. This means you can yield from a
  257. coroutine even across contexts, where this would not possible with
  258. the standard Lua&nbsp;5.1 VM: e.g. you can yield across <tt>pcall()</tt>
  259. and <tt>xpcall()</tt>, across iterators and across metamethods.
  260. </p>
  261. <h2 id="lua52">Extensions from Lua 5.2</h2>
  262. <p>
  263. LuaJIT supports some language and library extensions from Lua&nbsp;5.2.
  264. Features that are unlikely to break existing code are unconditionally
  265. enabled:
  266. </p>
  267. <ul>
  268. <li><tt>goto</tt> and <tt>::labels::</tt>.</li>
  269. <li>Hex escapes <tt>'\x3F'</tt> and <tt>'\*'</tt> escape in strings.</li>
  270. <li><tt>load(string|reader [, chunkname [,mode [,env]]])</tt>.</li>
  271. <li><tt>loadstring()</tt> is an alias for <tt>load()</tt>.</li>
  272. <li><tt>loadfile(filename [,mode [,env]])</tt>.</li>
  273. <li><tt>math.log(x [,base])</tt>.</li>
  274. <li><tt>string.rep(s, n [,sep])</tt>.</li>
  275. <li><tt>string.format()</tt>: <tt>%q</tt> reversible.
  276. <tt>%s</tt> checks <tt>__tostring</tt>.
  277. <tt>%a</tt> and <tt>"%A</tt> added.</li>
  278. <li>String matching pattern <tt>%g</tt> added.</li>
  279. <li><tt>io.read("*L")</tt>.</li>
  280. <li><tt>io.lines()</tt> and <tt>file:lines()</tt> process
  281. <tt>io.read()</tt> options.</li>
  282. <li><tt>os.exit(status|true|false [,close])</tt>.</li>
  283. <li><tt>package.searchpath(name, path [, sep [, rep]])</tt>.</li>
  284. <li><tt>package.loadlib(name, "*")</tt>.</li>
  285. <li><tt>debug.getinfo()</tt> returns <tt>nparams</tt> and <tt>isvararg</tt>
  286. for option <tt>"u"</tt>.</li>
  287. <li><tt>debug.getlocal()</tt> accepts function instead of level.</li>
  288. <li><tt>debug.getlocal()</tt> and <tt>debug.setlocal()</tt> accept negative
  289. indexes for varargs.</li>
  290. <li><tt>debug.getupvalue()</tt> and <tt>debug.setupvalue()</tt> handle
  291. C&nbsp;functions.</li>
  292. <li><tt>debug.upvalueid()</tt> and <tt>debug.upvaluejoin()</tt>.</li>
  293. <li>Lua/C API extensions:
  294. <tt>lua_version()</tt>
  295. <tt>lua_upvalueid()</tt>
  296. <tt>lua_upvaluejoin()</tt>
  297. <tt>lua_loadx()</tt>
  298. <tt>lua_copy()</tt>
  299. <tt>lua_tonumberx()</tt>
  300. <tt>lua_tointegerx()</tt>
  301. <tt>luaL_fileresult()</tt>
  302. <tt>luaL_execresult()</tt>
  303. <tt>luaL_loadfilex()</tt>
  304. <tt>luaL_loadbufferx()</tt>
  305. <tt>luaL_traceback()</tt>
  306. <tt>luaL_setfuncs()</tt>
  307. <tt>luaL_pushmodule()</tt>
  308. <tt>luaL_newlibtable()</tt>
  309. <tt>luaL_newlib()</tt>
  310. <tt>luaL_testudata()</tt>
  311. <tt>luaL_setmetatable()</tt>
  312. </li>
  313. <li>Command line option <tt>-E</tt>.</li>
  314. <li>Command line checks <tt>__tostring</tt> for errors.</li>
  315. </ul>
  316. <p>
  317. Other features are only enabled, if LuaJIT is built with
  318. <tt>-DLUAJIT_ENABLE_LUA52COMPAT</tt>:
  319. </p>
  320. <ul>
  321. <li><tt>goto</tt> is a keyword and not a valid variable name anymore.</li>
  322. <li><tt>break</tt> can be placed anywhere. Empty statements (<tt>;;</tt>)
  323. are allowed.</li>
  324. <li><tt>__lt</tt>, <tt>__le</tt> are invoked for mixed types.</li>
  325. <li><tt>__len</tt> for tables. <tt>rawlen()</tt> library function.</li>
  326. <li><tt>pairs()</tt> and <tt>ipairs()</tt> check for <tt>__pairs</tt> and
  327. <tt>__ipairs</tt>.</li>
  328. <li><tt>coroutine.running()</tt> returns two results.</li>
  329. <li><tt>table.pack()</tt> and <tt>table.unpack()</tt>
  330. (same as <tt>unpack()</tt>).</li>
  331. <li><tt>io.write()</tt> and <tt>file:write()</tt> return file handle
  332. instead of <tt>true</tt>.</li>
  333. <li><tt>os.execute()</tt> and <tt>pipe:close()</tt> return detailed
  334. exit status.</li>
  335. <li><tt>debug.setmetatable()</tt> returns object.</li>
  336. <li><tt>debug.getuservalue()</tt> and <tt>debug.setuservalue()</tt>.</li>
  337. <li>Remove <tt>math.mod()</tt>, <tt>string.gfind()</tt>.</li>
  338. <li><tt>package.searchers</tt>.</li>
  339. <li><tt>module()</tt> returns the module table.</li>
  340. </ul>
  341. <p>
  342. Note: this provides only partial compatibility with Lua 5.2 at the
  343. language and Lua library level. LuaJIT is API+ABI-compatible with
  344. Lua&nbsp;5.1, which prevents implementing features that would otherwise
  345. break the Lua/C API and ABI (e.g. <tt>_ENV</tt>).
  346. </p>
  347. <h2 id="lua53">Extensions from Lua 5.3</h2>
  348. <p>
  349. LuaJIT supports some extensions from Lua&nbsp;5.3:
  350. <ul>
  351. <li>Unicode escape <tt>'\u{XX...}'</tt> embeds the UTF-8 encoding in string literals.</li>
  352. <li>The argument table <tt>arg</tt> can be read (and modified) by <tt>LUA_INIT</tt> and <tt>-e</tt> chunks.</li>
  353. <li><tt>io.read()</tt> and <tt>file:read()</tt> accept formats with or without a leading <tt>*</tt>.</li>
  354. <li><tt>assert()</tt> accepts any type of error object.</li>
  355. <li><tt>table.move(a1, f, e, t [,a2])</tt>.</li>
  356. <li><tt>coroutine.isyieldable()</tt>.</li>
  357. <li>Lua/C API extensions:
  358. <tt>lua_isyieldable()</tt>
  359. </li>
  360. </ul>
  361. <h2 id="exceptions">C++ Exception Interoperability</h2>
  362. <p>
  363. LuaJIT has built-in support for interoperating with C++&nbsp;exceptions.
  364. The available range of features depends on the target platform and
  365. the toolchain used to compile LuaJIT:
  366. </p>
  367. <table class="exc">
  368. <tr class="exchead">
  369. <td class="excplatform">Platform</td>
  370. <td class="exccompiler">Compiler</td>
  371. <td class="excinterop">Interoperability</td>
  372. </tr>
  373. <tr class="odd separate">
  374. <td class="excplatform">External frame unwinding</td>
  375. <td class="exccompiler">GCC, Clang, MSVC</td>
  376. <td class="excinterop"><b style="color: #00a000;">Full</b></td>
  377. </tr>
  378. <tr class="even">
  379. <td class="excplatform">Internal frame unwinding + DWARF2</td>
  380. <td class="exccompiler">GCC, Clang</td>
  381. <td class="excinterop"><b style="color: #c06000;">Limited</b></td>
  382. </tr>
  383. <tr class="odd">
  384. <td class="excplatform">Windows 64 bit</td>
  385. <td class="exccompiler">non-MSVC</td>
  386. <td class="excinterop"><b style="color: #c06000;">Limited</b></td>
  387. </tr>
  388. <tr class="even">
  389. <td class="excplatform">Other platforms</td>
  390. <td class="exccompiler">Other compilers</td>
  391. <td class="excinterop"><b style="color: #a00000;">No</b></td>
  392. </tr>
  393. </table>
  394. <p>
  395. <b style="color: #00a000;">Full interoperability</b> means:
  396. </p>
  397. <ul>
  398. <li>C++&nbsp;exceptions can be caught on the Lua side with <tt>pcall()</tt>,
  399. <tt>lua_pcall()</tt> etc.</li>
  400. <li>C++&nbsp;exceptions will be converted to the generic Lua error
  401. <tt>"C++&nbsp;exception"</tt>, unless you use the
  402. <a href="ext_c_api.html#mode_wrapcfunc">C&nbsp;call wrapper</a> feature.</li>
  403. <li>It's safe to throw C++&nbsp;exceptions across non-protected Lua frames
  404. on the C&nbsp;stack. The contents of the C++&nbsp;exception object
  405. pass through unmodified.</li>
  406. <li>Lua errors can be caught on the C++ side with <tt>catch(...)</tt>.
  407. The corresponding Lua error message can be retrieved from the Lua stack.<br>
  408. For MSVC for Windows 64 bit this requires compilation of your C++ code
  409. with <tt>/EHa</tt>.</li>
  410. <li>Throwing Lua errors across C++ frames is safe. C++ destructors
  411. will be called.</li>
  412. </ul>
  413. <p>
  414. <b style="color: #c06000;">Limited interoperability</b> means:
  415. </p>
  416. <ul>
  417. <li>C++&nbsp;exceptions can be caught on the Lua side with <tt>pcall()</tt>,
  418. <tt>lua_pcall()</tt> etc.</li>
  419. <li>C++&nbsp;exceptions will be converted to the generic Lua error
  420. <tt>"C++&nbsp;exception"</tt>, unless you use the
  421. <a href="ext_c_api.html#mode_wrapcfunc">C&nbsp;call wrapper</a> feature.</li>
  422. <li>C++&nbsp;exceptions will be caught by non-protected Lua frames and
  423. are rethrown as a generic Lua error. The C++&nbsp;exception object will
  424. be destroyed.</li>
  425. <li>Lua errors <b>cannot</b> be caught on the C++ side.</li>
  426. <li>Throwing Lua errors across C++ frames will <b>not</b> call
  427. C++ destructors.</li>
  428. </ul>
  429. <p>
  430. <b style="color: #a00000;">No interoperability</b> means:
  431. </p>
  432. <ul>
  433. <li>It's <b>not</b> safe to throw C++&nbsp;exceptions across Lua frames.</li>
  434. <li>C++&nbsp;exceptions <b>cannot</b> be caught on the Lua side.</li>
  435. <li>Lua errors <b>cannot</b> be caught on the C++ side.</li>
  436. <li>Throwing Lua errors across C++ frames will <b>not</b> call
  437. C++ destructors.</li>
  438. </ul>
  439. <br class="flush">
  440. </div>
  441. <div id="foot">
  442. <hr class="hide">
  443. Copyright &copy; 2005-2023
  444. <span class="noprint">
  445. &middot;
  446. <a href="contact.html">Contact</a>
  447. </span>
  448. </div>
  449. </body>
  450. </html>