В функции объект обёртка над внешним ресурсом больше не читается, но операция с его дескриптором ещё выполняется вне Go. Объясните, почему финализатор может освободить ресурс до возврата из функции и как runtime.KeepAlive устраняет риск; приведите минимальный пример кода.

Question

Accepted Answer

Компилятор определяет достижимость объекта по его последнему фактическому использованию, а не по концу лексической области видимости. Поэтому объект может стать недостижимым во время ещё выполняющейся функции, GC вызовет финализатор, и тот закроет внешний ресурс раньше, чем завершится операция с переданным дескриптором. runtime.KeepAlive x принудительно считает x живым до точки вызова, поэтому его ставят после операции, зависящей от ресурса. Это важно для обёрток над файловыми дескрипторами, системными вызовами и C ресурсами; финализатор не должен быть основным механизмом своевременного освобождения ресурса. package main import "fmt"; "runtime" type R struct{ id int } func useID int {} func work { r := &R{id: 1} runtime.SetFinalizer r, func R { fmt.Println "released" } useID r.id runtime.KeepAlive r } После useID r.id объект r может больше не понадобиться самому Go коду, хотя внешний вызов мог бы ещё использовать его ресурс. runtime.KeepAlive r запрещает считать объект недостижимым до этой строки.