程序内全局唯一函数标识符生成：inspect实现方案是否可靠？

你这套生成逻辑无法保证guid全局唯一，存在非常多冲突或误识别场景，不能直接依赖。

• 无法区分同文件内的同名非实例方法：比如不同外层函数下定义的同名嵌套函数、不同类下的同名静态方法、同文件内重名的顶层函数（动态导入/代码热更场景下会出现），这些函数的co_name、co_filename完全一致，且f_locals中没有self参数，会生成完全相同的guid。
  举个最常见的冲突例子：

  def func_a():
      def inner():
          pass
      return inner
  
  def func_b():
      def inner():
          pass
      return inner
  

  两个inner是完全独立的函数，但按照你的逻辑生成的guid完全一致。
• 类成员识别不全：你只判断了f_locals中的self参数，完全无法识别@classmethod修饰的类方法（这类方法第一个参数是cls而非self），也无法识别@staticmethod修饰的静态方法（没有类相关入参），这类方法会直接丢失类前缀，极易和其他同名函数撞id。
• 继承场景误判：子类继承父类方法且未重写时，调用子类实例的该方法，f_locals['self'].__class__拿到的是子类名，但实际执行的函数代码是父类中定义的，会把同一个父类方法识别成多个不同子类的方法，生成错误的guid。
• 路径不可靠：co_filename返回的路径是代码加载时的路径，可能是相对路径，如果程序把多个不同目录加入了模块搜索路径，不同目录下的同名文件内的同名函数，会因为路径显示不全出现id冲突。
• 缺少位置标识：没有记录函数定义的行号，无法区分同文件下同限定名的动态生成函数。

不要手动判断self拼类名，Python3.3+的代码对象自带co_qualname属性，会直接返回函数的完整层级名（比如类方法会返回类名.方法名、嵌套函数会返回外层函数名.内层函数名），再补上文件绝对路径、函数定义起始行号，基本可以做到全局唯一：

import os
import inspect

def get_frame_guid(frame):
    code_obj = frame.f_code
    # 转绝对路径避免相对路径冲突
    abs_file = os.path.abspath(code_obj.co_filename)
    # 用带层级的限定名替代裸函数名
    qualname = code_obj.co_qualname
    # 拼上定义行号彻底规避极端场景冲突
    return f"{qualname}@{abs_file}:{code_obj.co_firstlineno}"

扫描调用栈的逻辑对应调整即可：

guids = set()
current_frame = inspect.currentframe()
while current_frame is not None:
    guids.add(get_frame_guid(current_frame))
    current_frame = current_frame.f_back
return guids

这套实现除了极端的动态生成同路径、同限定名、同行号函数的场景（正常业务代码几乎不会出现），都可以保证标识唯一。

内容的提问来源于stack exchange，提问作者user16004728