有可靠的方法可以可靠地区分 cdata 和 ctypes吗？

下面的解决方案也比较hack-y，但可能对您有所帮助。

它滥用了未记录的特性，即tonumber()可适用于ctypes。

local function is_ctype(x)
   return type(x) == "cdata"
      and tonumber(x) ~= nil
      and tostring(x):sub(1,5) == "ctype"
end

请注意，tostring()仅适用于可转换为数字的cdata。

ctype<complex>是唯一的可元类型ctype，其值可转换为数字。

令人高兴的是，ctype<complex>不尊重__tostring元方法。 :-)

这个问题在一段时间前也困扰着我，下面是我所了解到的情况。

这份代码对我的用例可以正常工作，但是它无法处理这种边缘情况：

assert(ffi.new("int", 9) == ffi.typeof("int")) --> 这个断言是正确的。

我找不到解决方法，我猜这就是 LuaJIT 的工作方式。对于其他基本类型（和它们各自的 id），情况也是一样的。

完整代码：

local ffi = require "ffi"

function isctype(o)
    -- ctypes 可以转化为数字
    local check = tonumber(o)
    if check == nil then
        return false
    end

    -- typeinfo 需要一个数字，我们有一个数字
    local maybeInfo = ffi.typeinfo(check)
    local sureInfo = ffi.typeinfo(ffi.typeof(o))

    -- 类型信息不同
    if maybeInfo.info ~= sureInfo.info then
        return false
    end

    local type = ffi.typeof(o)

    -- 除了调用 tostring(o) ，没有其他方法可以避免这个问题。
    -- 这会有它自己的缺点。

    -- 当我们到达这里时，我们有一个特殊的情况
    -- 类型 id 等于 tonumber(o) 的结果。
    -- 这种情况发生在 typeof"int" 和 9 的情况下。
    -- 在这种情况下，结果也是 true，
    -- 这实际上并不完全符合我的期望。

    return o == type
end

local ct = ffi.typeof("struct { int x; }")

print("type", isctype(ct)) --> true
print("data", isctype(ffi.new(ct))) --> false
print("type", isctype(ffi.typeof("int"))) --> true 
print("type", isctype(ffi.typeof("const char*"))) --> true
print("data", isctype(ffi.new("float", 3))) --> false
print("data", isctype(ffi.new("int", 3))) --> false
print("data", isctype(ffi.new("intptr_t", 3))) --> false
print("data", isctype(ffi.new("int[1]", 3))) --> false
print("data", isctype(ffi.new("const char*", "yo"))) --> false
print("data", isctype(ffi.new("int", 8))) --> false

-- 这很令人失望 :(
print("data", isctype(ffi.new("int", 9))) --> true

assert(ffi.new("int", 9) == ffi.typeof("int"))

print("assertion did not fail :(")