lua_gettop()和-1的区别是什么？

在立即将其用作索引时没有区别。 但是，您可以通过存储索引并在以后使用它时执行其他操作，即使它可能不再是最后一个索引。

从 PIL (http://www.lua.org/pil/24.2.3.html) 中可以发现，负数索引 -x 等同于正数索引 gettop-x+1。因此，

if( lua_isfunction(L,lua_gettop(L)) ) {

与

if( lua_isfunction(L,-1) ) {

是相同的。

你可以将栈想象成从底部开始增长，底部（即第一个推入的元素）的索引为 1，然后推入另一个元素（索引为 2），再推入另一个元素（索引为 3），依此类推。所以你有以下情况：

+-----------------------+
| 具有索引为 6 的元素 | <-- 顶部（"相对"索引 -1）
+-----------------------+
| 具有索引为 5 的元素 | <-- -2
+-----------------------+
| 具有索引为 4 的元素 | <-- -3
+-----------------------+
| 具有索引为 3 的元素 | <-- -4
+-----------------------+
| 具有索引为 2 的元素 | <-- -5
+-----------------------+
| 具有索引为 1 的元素 | <-- 底部（"相对"索引 -6）
+-----------------------+

你也可以说，"正常索引"（从底部开始索引）是元素的绝对索引（就像 C 语言数组的索引一样，除了从 1 开始）。相反，负索引是相对于栈顶的"相对"索引。lua_gettop 给出栈顶的绝对索引（总是相对索引 -1）。

那么为什么有两种方法来索引栈呢？因为有时需要像数组一样（使用绝对索引）访问元素，有时只需要访问最后一个推入的元素（所以从栈顶开始索引）。

顺便说一句，我通常将 Lua 栈反转：从上面开始，并向下增长（即栈顶在我心理表示中位于底部）。我发现这种心理模型更有用，因为我将索引-1解释为"在代码中向后倒退（向上，因此）直到找到第一个推入"。以这种方式，索引-2将是"在代码中向后倒退直到找到第二个推入"，依此类推。所有这些都帮助我快速确定在哪里推入了什么。

但是，为避免混淆，在这里我使用了更传统的表示，其中栈顶真正被绘制在顶部！

正如您已经声明的那样，lua_gettop 返回堆栈顶部元素的索引。如果堆栈是空的，则索引-1上没有元素。因此，函数 lua_gettop 为您提供了可以使用的索引的边界。

实际上，在你的例子中不需要使用lua_gettop。只有当您要在堆栈上方推入其他内容并想引用以前的顶部时，才需要它。

以下是我们创建具有值的表的示例：

// 正确的做法
lua_newtable(L);
const int table_idx = lua_gettop(L);
lua_pushinteger(L, volume);
lua_setfield(L, table_idx, "volume");
// 我们存储了目标表的索引。可以在堆栈上推任何数量的值，并且始终有一个表的索引。

// 错误做法
lua_newtable(L);
const int table_idx = -1;
lua_pushinteger(L, volume);
lua_setfield(L, table_idx, "volume");
// 错误。堆栈的顶部现在是一个整数。

// 错误做法
lua_newtable(L);
lua_pushinteger(L, volume);
lua_setfield(L, -1, "volume");
// 错误。堆栈的顶部现在是一个整数。

// 可以的做法
lua_newtable(L);
lua_pushinteger(L, volume);
lua_setfield(L, -2, "volume");
// 正确，但不够稳健。