在 C 语言里，从函数返回局部变量的指针是大忌，因为函数栈帧销毁后该地址会变成悬挂指针。但 Go 语言的做法完全不同：你在函数内部用局部变量取地址并返回，程序依然安全。比如下面的构造函数：
type User struct {
ID int
Name string
}
func NewUser(id int, name string) *User {
u := User{ID: id, Name: name}
return &u
}
这段代码中 u 是局部变量，返回 &u 后调用方拿到的是有效的 *User。Go 编译器会通过逃逸分析判断 u 在函数结束后仍被外部引用，于是把它分配到堆上，而不是栈上。因此从语法和内存安全角度看，直接返回局部变量的地址完全合法，也是 Go 中构造函数返回指针的常见写法。
一、Go 语言中返回指针的几种基础写法
返回指针并不需要特殊语法，只需要在变量前加上取地址符即可。除了对普通局部变量取地址，Go 还提供了 new 函数和复合字面量两种更直接的方式。它们都能在函数内部创建一个对象，并返回指向该对象的指针。
func NewUserByNew(id int, name string) *User {
u := new(User)
u.ID = id
u.Name = name
return u
}
func NewUserLiteral(id int, name string) *User {
return &User{ID: id, Name: name}
}
new(User) 返回一个指向零值 User 的指针，后续再逐个字段赋值；而 &User{} 可以在取地址的同时完成字段初始化。两者本质上没有区别，只是后者更简洁。返回指针后，调用方拿到的是一块共享内存的地址，无论通过指针修改字段，还是把指针传给其他函数，操作的都是同一个对象，不会像返回值那样产生副本。
需要留意的是，如果某个类型定义了指针接收者方法，那么通常建议构造函数返回指针而不是值。例如：
func (u *User) SetName(name string) {
u.Name = name
}
如果 NewUser 返回的是 User 值，那么调用方无法直接对返回值调用 SetName，因为该值并不总是可寻址的。返回指针则可以自然地完成链式调用：NewUser(1, "tom").SetName("jerry")。这在实际项目中是判断构造函数返回类型的一个重要依据。
二、逃逸分析如何决定指针安全与分配位置
Go 语言之所以能安全返回局部变量的指针，核心机制是编译器在编译期完成的逃逸分析。编译器会检查一个变量的地址是否被传递到函数作用域之外，或者是否被其他可能逃逸的对象引用。如果检测到变量需要继续存活，它就会被分配在堆上，由垃圾回收器统一管理；否则继续留在栈上，函数返回后自动回收。
可以借助编译器的参数直接观察逃逸结果。编译下面两个函数：
type User struct {
ID int
}
func ValueUser(id int) User {
u := User{ID: id}
return u
}
func PointerUser(id int) *User {
u := User{ID: id}
return &u
}
在终端执行 go build -gcflags="-m" main.go，可以看到 PointerUser 中的局部变量 u 被标记为 moved to heap，而 ValueUser 中的 u 则没有该标记。这说明只有返回指针时，变量才发生逃逸。
从性能角度看，栈分配比堆分配更快，因为栈分配只需要移动栈指针，而堆分配还需要垃圾回收介入。不过这种差异并不是绝对的。返回值时需要复制整个结构体，如果结构体很大，复制的成本可能高于堆分配的成本。此外，Go 编译器还可能通过内联优化消除部分逃逸，例如某些简单构造函数在内联后，返回的指针不再真正逃逸到堆上。因此判断性能时，不能只盯着指针，而要结合对象大小、函数调用频率以及是否发生复制来综合评估。
三、返回指针的性能影响与最佳实践
是否返回指针，通常取决于对象的规模和业务语义。对于包含大数组、大切片或者复杂嵌套结构的对象，返回指针避免拷贝的收益非常明显。相反，对于只有几个整数字段的小结构体，返回值可能更快，因为栈分配没有 GC 压力，复制成本也极低。另一个不能返回值的典型场景是结构体中包含 sync.Mutex 等不允许复制的字段。
type Counter struct {
mu sync.Mutex
n int
}
func NewCounter() *Counter {
return &Counter{}
}
这里的 Counter 必须返回指针，因为 sync.Mutex 在值复制后会产生独立的锁，导致并发控制失效。返回指针可以保证所有调用方共享同一个锁实例。对于类似的情况，编译器虽然不会强制报错，但 Go 的 go vet 工具可以检测出复制锁的风险，因此构造函数返回指针是一种更稳妥的设计方式。
对于可能产生错误的初始化过程，Go 社区普遍采用返回双值的方式，即返回指针和一个 error。这样当入参不合法或初始化失败时，函数返回 nil 和错误；调用方先检查错误，再使用指针，避免直接解引用空指针。示例如下：
func LoadConfig(path string) (*Config, error) {
if path == "" {
return nil, errors.New("config path is empty")
}
cfg := &Config{Path: path}
return cfg, nil
}
这种模式已经在标准库中大量使用，例如 os.Open 返回 *os.File 和 error。它既保留了指针的表达能力，又通过 error 把失败状态显式传递出去。调用方不应该在 error 不为 nil 的情况下继续使用返回的指针，这是 Go 错误处理的基本约定。
总结来说，Go 中从函数返回指针是安全且常见的做法。构造函数、工厂函数以及需要共享状态的对象，通常都应返回指针；而小对象、不可变值以及不包含引用类型字段的简单数据，可以优先返回值。如果你担心堆分配带来的性能损耗，可以使用 go test -bench 和 go build -gcflags="-m" 观察实际分配情况，而不是凭直觉否定返回指针。理解了逃逸分析之后，你就能更有把握地在返回值和返回指针之间做出合理选择。