Perl异常行为排查：croak配合Try::Tiny时报错行定位偏移问题

你碰到的定位偏差不是Carp或Try::Tiny的bug，是三个机制凑到一起的必然结果：

1. croak的设计逻辑就是动态回溯调用栈，自动跳过当前包的栈帧，把报错位置定位到调用当前包代码的外部行。这个设计本来是为了写库的时候，不让报错停在库的内部实现里，直接给用户指到他调用库的那一行，省得翻栈。
2. Try::Tiny的try块本质是包在Try::Tiny自己包作用域里的匿名eval。这层框架栈帧会被croak的回溯逻辑当成“外部框架代码”直接跳过，最后算出来的报错位置自然就落在了try块的边界上——也就是catch块结束的第10行。
3. Perl的die有个默认规则：如果传进去的异常字符串末尾没有换行，它就会自动在结尾追加当前die调用的文件名和行号。你在catch里直接写die $_的时候，之前croak动态算出来的位置信息，刚好被这个自动追加的行号覆盖掉了。

这也能解释你做的对照实验结果为什么完全符合预期：

• 换普通die的时候，它只会在抛出的瞬间记一次行号，没有动态回溯逻辑，不会被Try::Tiny的框架栈干扰，自然能准确定位到第13行。
• 换confess的时候，它会在第一次抛出异常的瞬间把全栈信息直接拼到异常字符串里固化下来，后面不管重抛多少次，都不会重新动态算位置，自然不会偏。
• 换原生eval的时候，没有外层的独立包作用域，croak回溯的时候不会把业务代码的栈帧当成框架跳过，能正确找到第13行的位置。

你觉得“要尽量避开croak”的判断其实不准确，这类定位偏差不是croak本身的设计缺陷，只要做几个小调整就能解决，完全不需要弃用。

• 在catch块重抛异常的时候，给异常字符串末尾补个换行，就能阻止Perl自动覆盖行号。比如把die $_改成die "$_\n";，原本croak算好的位置信息会被完整保留，不会被catch块的行号替换。
• 如果需要更稳定的定位，可以在抛出异常的阶段就把栈信息固化，避免动态回溯被框架栈干扰。比如在foo里用croak longmess('die')，抛出来的异常从一开始就带全栈追溯信息，后面不管经过多少层捕获重抛，定位都不会偏移。
• 写库代码用croak的时候，可以显式指定要跳过的栈帧层数，绕开Try::Tiny的eval栈帧对自动回溯的干扰，不用完全依赖Carp的自动识别逻辑。

内容的提问来源于stack exchange，提问作者Steve S.