为何C++核心准则偏好函数式最简单例而非类静态成员函数？

先回顾核心准则的相关内容：

例外情况：你可以使用最简单的“单例”（简单到常不被视为单例）来实现首次使用时初始化（若需要）：

X& myX()
{
    static X my_x {3};
    return my_x;
}

强制规则：

• 若类X包含一个公有静态函数，该函数持有类类型X的函数局部静态变量并返回其指针或引用，则禁用此写法。

针对你提出的X::Get()写法，核心准则禁用它的原因主要有这几点：

1. 过度绑定类的设计与单例模式 #

把单例实例的获取函数塞进类X的静态成员里，等于强制X只能以单例形式存在——任何使用X的代码，都会默认只能通过X::Get()获取实例，完全堵死了X被正常实例化、创建多实例的可能性。而全局的myX()只是提供一个全局可用的X实例，X本身还是一个普通类，你依然可以在其他场景下创建X的多个实例，灵活性高得多。

2. 测试难度大幅提升 #

在单元测试中，我们经常需要替换全局实例为mock对象来隔离依赖。对于myX()这种全局函数，我们可以通过链接替换、测试代码重载等简单手段替换实现；但X::Get()是类的静态成员函数，要替换它的话，要么修改类的代码增加依赖注入接口，要么用复杂的编译技巧，测试成本高很多。

3. 语义混淆 #

X::Get()的写法会传递错误的语义：它暗示X这个类的设计目标就是单例，类本身的业务职责和单例的全局访问职责被混在了一起。而myX()的语义很清晰：X是一个普通业务类，myX()只是一个提供全局实例的工具函数，两者职责分离，代码可读性更好。

4. 生命周期控制的灵活性缺失 #

虽然两种写法的局部静态变量都是首次调用时初始化、程序结束时销毁，但类内静态函数的实例生命周期和类的绑定更紧密。当你需要调整这个全局实例的生命周期（比如提前销毁、延迟初始化时机）时，myX()这种独立函数更容易修改，而X::Get()则需要改动类的定义，影响所有依赖X的代码。

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