结构体初始化为指针的作用？以Zap gRPC拦截器实现为例

Zap在其gRPC拦截器中，将默认选项结构体初始化为指针形式：

var (
    defaultOptions = &options{
        levelFunc:       DefaultCodeToLevel,
        shouldLog:       grpc_logging.DefaultDeciderMethod,
        codeFunc:        grpc_logging.DefaultErrorToCode,
        durationFunc:    DefaultDurationToField,
        messageFunc:     DefaultMessageProducer,
        timestampFormat: time.RFC3339,
    }
)

后续Zap会执行值复制操作：

*optCopy = *defaultOptions

请问：

1. 将defaultOptions声明为指针后再解引用进行复制的目的是什么？
2. 若采用非指针形式初始化（如下代码）是否存在问题？

非指针形式初始化代码：

defaultOptions = options{
    levelFunc:       DefaultCodeToLevel,
    shouldLog:       grpc_logging.DefaultDeciderMethod,
    codeFunc:        grpc_logging.DefaultErrorToCode,
    durationFunc:    DefaultDurationToField,
    messageFunc:     DefaultMessageProducer,
    timestampFormat: time.RFC3339,
}

optCopy = &options{}
*optCopy = defaultOptions

回答 #

一、指针初始化后解引用复制的目的 #

• 内存与语义优化：全局变量defaultOptions作为指针，程序启动时仅分配一次结构体内存，全局变量仅存储指针地址。后续复制时解引用指针拷贝字段值，既避免了全局变量存完整结构体的冗余内存占用，也在语义上清晰表达“这是一个单一的默认模板实例，所有新配置都基于它拷贝生成”。
• 降低误修改风险：如果defaultOptions是值类型，外部代码（若变量导出）可直接修改其字段，篡改全局默认配置；指针形式下，修改默认配置需显式解引用，写法更醒目，能减少误操作概率。即使变量未导出，指针形式也更贴合“不可随意修改的模板”的设计意图。
• 适配选项模式风格：在Go的选项模式中，用指针存储默认实例是常见写法，和后续创建新配置的逻辑（通过指针操作结构体）风格统一，代码可读性更强。

二、非指针形式初始化的问题分析 #

采用值类型初始化defaultOptions再进行复制，不存在功能性问题，代码可以正常运行，但存在以下细节差异：

• 内存占用：值类型的全局变量会在全局内存区分配完整的结构体空间，而指针形式仅存一个地址，对于大结构体来说内存占用差异更明显。
• 语义清晰度：值类型的全局变量看起来更像“可直接修改的配置对象”，而指针形式更贴合“默认配置模板引用”的设计意图，前者语义表达稍弱。
• 误修改风险：若defaultOptions是导出变量，值类型更容易被外部误修改全局配置；指针形式则需要显式解引用才能修改，误操作概率更低。若变量未导出，两种形式的安全性一致。

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