刺激代码内联

Question

与C++这样的语言不同，在C++中，您可以显式地声明inline，而在Go中，编译器动态地检测作为内联候选的函数(C++也可以这样做，但Go不能同时这样做）。还有一个debug选项来查看可能发生的内联，但是很少有在线文档说明go编译器（一个或多个）执行此操作的确切逻辑。

假设我需要每隔N个周期对一组数据重新运行一个大循环；

func Encrypt(password []byte) ([]byte, error) {
    return bcrypt.GenerateFromPassword(password, 13)
}

for id, data := range someDataSet {
    newPassword, _ := Encrypt([]byte("generatedSomething"))
    data["password"] = newPassword
    someSaveCall(id, data)
}

例如，为了正确内联encrypt，我需要为编译器考虑什么逻辑？

我从C++中了解到，通过引用传递将增加自动内联的可能性，而不需要显式的inline关键字，但是要理解编译器到底做了什么来确定选择内联还是不在Go中的决定并不是很容易。例如，如果您使用常量addsomething($a,$b)执行循环，就会遭受巨大的痛苦，在此对十亿个循环进行基准测试时，它的成本与$a+$b（内联）相比几乎是荒谬的。

Answer 1

引用联危特派团（于2013-01-31）：

默认情况下，内联程序将尝试内联叶函数（不调用其他函数/方法/接口），这些函数不调用panic、recover、select、switch或创建closure或Go/Defer函数（参见下面的示例），并且在表示时少于40个节点（大致对应于40个简单操作）。但请注意，这只是描述了gc编译器的当前现状，以后肯定会有所改进。因此，请尽量不要依赖这一点。

在您出现性能问题之前，您不应该在意。无论是否内联，它都将执行相同的操作。

这些规则可以在$Goroot/src/cmd/compile/internal/gc/inl.go文件中找到。您可以使用'l'调试标志来控制它的侵略性。

// The inlining facility makes 2 passes: first caninl determines which
// functions are suitable for inlining, and for those that are it
// saves a copy of the body. Then inlcalls walks each function body to
// expand calls to inlinable functions.
//
// The debug['l'] flag controls the aggressiveness. Note that main() swaps level 0 and 1,
// making 1 the default and -l disable.  -ll and more is useful to flush out bugs.
// These additional levels (beyond -l) may be buggy and are not supported.
//      0: disabled
//      1: 40-nodes leaf functions, oneliners, lazy typechecking (default)
//      2: early typechecking of all imported bodies
//      3: allow variadic functions
//      4: allow non-leaf functions , (breaks runtime.Caller)
//
//  At some point this may get another default and become switch-offable with -N.
//
//  The debug['m'] flag enables diagnostic output.  a single -m is useful for verifying
//  which calls get inlined or not, more is for debugging, and may go away at any point.

也可以看看博客文章：Dave Cheney-Five things that make Go fast(2014-06-07)，这篇文章是关于内联的（很长的文章，大概在中间，搜索“内联”这个词）。

还有关于内联改进的有趣讨论（也许Go 1.9？）：cmd/compile：improve inlining cost model#17566