如何正确声明不可变静态默认成员？vec3实现方案解析

给定一个极简的Vector3D模板结构体示例，我们需要定义静态默认值，使得vec3<T>::ones（或vec3<T>::ones()）能返回vec3<T>{T{1}, T{1}, T{1}}，现有三种实现方案：

template <class T>
struct vec3 {
    using value_type = T;
    value_type x{}, y{}, z{};
    
    constexpr vec3(const value_type e0, const value_type e1, const value_type e2) noexcept 
      : x(e0)
      , y(e1)
      , z(e2) 
    { }

    // 方案1
    [[nodiscard]] constexpr static inline vec3 zeros() noexcept { return {0, 0, 0}; }
    
    // 方案2
    [[nodiscard]] constexpr static inline vec3 x_axis() noexcept { 
        constexpr static vec3 _x_axis{1, 0, 0};
        return _x_axis;
    }
    
    // 方案3
    const static inline vec3 ones = [](){ return vec3{1, 1, 1}; }();

};

针对这三种方案，我们逐个确认你的理解，并补充相关细节：

1. 关于方案1的理解 #

你的理解正确：方案1作为工厂函数，每次调用都会创建一个新的vec3实例，本质上和调用者直接写vec3{0,0,0}完全等价。函数内直接返回临时对象，编译器通常会做返回值优化（RVO）消除拷贝，但即便没有优化，每次调用也确实会生成新实例。

2. 关于方案2的理解 #

基本正确，但有个关键细节：如果函数是constexpr的，编译期调用时静态局部变量的初始化不会涉及运行时同步原语——编译期就能完成初始化，直接返回常量值；只有在运行时首次调用时，才会触发C++11及以后标准保证的线程安全初始化，后续调用直接返回已初始化的缓存值，无需再同步。

3. 关于方案3的理解 #

• C++17及以后标准中，inline静态成员变量可在类内定义，constexpr静态成员只要初始化表达式是常量表达式，编译器必须在编译期完成实例化。
• GCC允许将方案3的ones声明为constexpr static inline符合标准，能确保编译期初始化。
• Clang对constexpr静态inline成员的支持完全符合标准，不存在“仅支持const”的情况——若代码在Clang下用constexpr报错，大概率是T不支持constexpr构造等原因，而非编译器不支持。用const的话，初始化可能在编译期或运行期，取决于T的特性和编译器优化。

三种方案的其他差异 #

• 语法使用方式：方案1、2是函数调用（vec3<float>::zeros()），方案3是直接访问变量（vec3<float>::ones），函数形式在需要传递可调用对象时更灵活。
• 对象生命周期：方案1的实例是临时对象，使用后立即销毁；方案2的静态局部变量和方案3的静态成员变量，生命周期从初始化开始到程序结束。
• 拷贝开销：方案1每次返回新对象，可能有拷贝（但RVO通常会消除）；方案2、3返回已有对象的拷贝，不过vec3属于小型对象，拷贝开销可忽略。

优先选择哪种方案？ #

1. 若需要编译期可用性且偏好变量形式访问，优先选改进后的方案3：constexpr static inline vec3 ones{1,1,1};，比lambda初始化更简洁，完全符合标准。
2. 若需要延迟初始化（比如T初始化代价高，或不想在程序启动时初始化），优先选方案2——静态局部变量的惰性初始化能避免不必要的启动开销。
3. 若只是简单生成实例、不需要复用对象，方案1完全够用，代码最简洁。

其他编译期声明静态成员的方式 #

• constexpr静态成员（C++11及以后）：C++17之前，constexpr静态成员可在类内声明并初始化（只要初始化是常量表达式），无需类外定义，例如：

  template <class T>
  struct vec3 {
      constexpr static vec3 ones = vec3{1,1,1};
  };
  

• constexpr静态成员函数返回常量表达式：比如方案1的变体，直接返回constexpr构造的对象，确保编译期计算：

  [[nodiscard]] constexpr static vec3 ones() noexcept {
      return vec3{T{1}, T{1}, T{1}};
  }
  

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