c - C：在宏中创建和返回变量

Question

我有点困惑为什么这个 C 宏无法编译：

#define LUA_GET_FIELD(Lua, idx, name, type) (\
    lua_getfield((Lua), (idx), (name)), \
    typeof(lua_to##type) __result = lua_to##type((Lua), -1), \
    lua_pop((Lua), 1), __result)

调用它时，我收到错误：

src/event.lcpp.c:134:15: error: expected primary-expression before ‘typeof’
src/event.lcpp.c:134:15: error: expected ‘)’ before ‘typeof’

如果我typeof(lua_to##type)用 just替换也会发生同样的情况int，所以我怀疑问题与逗号有关。你不能在这样的表达式中间声明变量吗？

我知道 gcc 有一个从块返回值的扩展，但我想避免编译器扩展。我也意识到这应该改为内联函数，但现在我很好奇为什么宏不起作用。

Answer 1

标准 C 确实不允许您在表达式中任意定义新变量。旧标准甚至不允许它们出现在任何地方，只能在块的开头（也就是说，您也不能将它们与语句混合）。