直接传C++对象指针给Lua会崩溃，因Lua不知如何管理其生命周期，导致delete错乱、双重析构或访问已释放内存；核心矛盾是C++手动管内存与Lua GC机制不互通，必须通过userdata+元表封装，并推荐使用sol2自动处理内存策略、类型安全与异常转换。
为什么直接传 C++ 对象指针给 Lua 会崩溃
因为 Lua 不知道怎么管理 C++ 对象的生命周期，delete 时机错乱、析构两次、或访问已释放内存——这些都不是 Lua 报错，而是段错误或未定义行为。核心矛盾是：C++ 管内存，Lua 用 GC，两者不互通。
必须通过中间层把对象“包装”成 Lua 能识别的 userdata，并绑定元表（metatable）来接管 __index、__gc 等行为。
- 别手动用
lua_newuserdata+lua_setmetatable从零写——容易漏__gc导致内存泄漏 - 别把裸指针塞进
lua_pushlightuserdata后暴露方法——没类型检查，调用时崩溃无提示 - 若对象有虚函数或继承关系，手动绑定需额外处理
this指针偏移，极易出错
用 sol2 绑定类最省事且安全
sol2 是目前 C++/Lua 绑定中维护活跃、文档清晰、编译期检查强的库。它自动处理内存管理策略（值语义 / 引用 / 智能指针）、重载解析、异常转 lua_error，且头文件即用。
示例：导出一个带构造、方法和属性的类
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
// C++ 侧
#include <sol/sol.hpp>
struct Person {
std::string name;
int age = 0;
Person(const std::string& n) : name(n) {}
void greet() const { std::cout << "Hello, I'm " << name << "\n"; }
};
// 绑定
sol::state lua;
lua.open_libraries();
lua.new_usertype<Person>("Person",
sol::constructors<Person(const std::string&)>(),
"name", &Person::name,
"age", &Person::age,
"greet", &Person::greet
);
- 构造器必须显式声明，否则 Lua 里
Person("Alice")报错attempt to call a nil value - 成员变量用
&Person::name直接绑定，sol2 自动处理读写；若只读，加sol::readonly - 默认按引用传递对象，若要值语义（拷贝），用
sol::call_constructor+ 自定义构造逻辑
在 Lua 里调用时要注意所有权归属
sol2 默认把 C++ 对象视为“由 C++ 侧拥有”，Lua 中的变量只是引用。这意味着：C++ 对象析构后，Lua 里再调用方法会触发 segfault，但 sol2 在 debug 模式下会主动抛 Lua error（如 attempt to access invalid object）。
- 若需 Lua 控制生命周期，改用
std::shared_ptr<Person>绑定：lua.new_usertype<std::shared_ptr<Person>>(...)，此时 Lua GC 触发时自动减少引用计数 - 避免在 C++ 回调中长期持有 Lua 创建的对象指针——应存
sol::object或用sol::reference配合lua_gc(L, LUA_GCCOLLECT, 0)显式回收 - 从 Lua 返回对象到 C++ 时，用
sol::optional<Person&> p = lua["p"]判空，防止 nil 解引用
遇到 “no matching function for call” 错误怎么办
这是 sol2 编译期最常见的报错，本质是签名不匹配。比如 C++ 方法参数是 const std::string&，而 Lua 传了 number；或重载函数未全部声明。
- 检查参数类型是否完全一致：Lua 的
nil无法自动转 C++ 的std::string，需显式写默认值或用sol::optional - 重载函数必须用
sol::overload显式列出："func", sol::overload(static_cast<int (X::*)()>(&X::func), static_cast<float (X::*)(int)>(&X::func)) - 若函数含模板参数（如
template<typename T> void set(T)），sol2 不支持自动推导，得实例化具体版本再绑定
绑定不是“写完就能跑”，关键在让 C++ 类型系统和 Lua 运行时对齐。最容易被忽略的是：C++ 对象析构时机和 Lua 变量作用域之间没有隐式同步，靠约定不如靠智能指针+明确注释。
