禁用优化情况下，INLINE编译指示是否会触发函数/值的内联？

你的理解完全正确！下面结合GHC的行为逻辑和官方文档来具体解释：

首先，明确GHC在不同优化等级下的核心行为差异：

• 在默认的-O0（禁用优化）模式下，GHC的首要目标是快速完成编译，而非生成高效的目标代码。此时，几乎所有的优化过程（包括内联/展开机制）都不会被触发——GHC会直接保留函数的原始调用结构，跳过任何可能耗时的优化分析。

再结合你引用的官方文档内容：

GHC（始终在启用-O优化时）会尝试内联（或“展开”）“足够小”的函数/值，[...] INLINE编译指示的主要作用是将函数的“成本”声明为极低，随后常规展开机制会非常倾向于对其进行内联。

这里的关键点在于：INLINE编译指示是给启用优化后才会运行的常规展开机制传递的信号——它的作用是修改函数的内联成本权重，让优化器更愿意选择内联这个函数。但如果整个优化流程都没有启动（也就是-O0状态），这个指示就没有对应的处理逻辑来响应，自然无法触发内联操作。

额外补充一个细节：如果你需要在跨模块场景下保留函数的内联信息（方便其他模块在优化时调用），可以使用{-# INLINEABLE ... #-}，但即使如此，-O0模式下当前模块仍然不会对这个函数执行内联——因为优化阶段根本没开启。

总结来说：在未启用优化的情况下，带有{-# INLINE ... #-}标注的函数/值确实不会被内联，你的理解完全准确。

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