如何在C++中定义含自动计算依赖参数的配置结构体？

问题背景 #

需要定义一个包含两类浮点型参数的配置结构体：

• 独立参数：直接通过浮点数赋值
• 依赖参数：由独立参数组成的表达式计算得到

要求客户端仅需设置独立参数的值，依赖参数在编译时自动完成计算，且该结构体仅会被实例化一次。

原始结构体示例：

struct Configuration {
    float param_independent_01;
    float param_independent_02;
    float param_dependent_01; // param_independent_01 + param_independent_02
    float param_dependent_02; // 1.5f*param_independent_01/(param_independent_01 + param_independent_02)
};

期望的客户端使用方式：

// 仅设置独立参数，依赖参数自动计算
Configuration config = {
    0.236f,
    0.728f
};

可行实现方案 #

方案一：constexpr构造函数（编译期计算+结构体存储所有参数） #

利用C++11及以上的constexpr特性，在构造函数中完成依赖参数的编译期计算，确保所有值在编译阶段就确定：

struct Configuration {
    float param_independent_01;
    float param_independent_02;
    float param_dependent_01;
    float param_dependent_02;

    // 编译期构造函数，自动计算依赖参数
    constexpr Configuration(float p1, float p2)
        : param_independent_01(p1),
          param_independent_02(p2),
          param_dependent_01(p1 + p2),
          param_dependent_02(1.5f * p1 / (p1 + p2)) {}
};

// 编译期实例化，满足单例+编译时确定的要求
constexpr Configuration config{0.236f, 0.728f};

客户端只需传入独立参数值，构造函数会在编译阶段自动计算并初始化依赖参数，最终结构体实例的所有值都是编译期常量。

方案二：独立参数封装+constexpr getter（分离存储与计算） #

如果不需要存储依赖参数的副本，可以将独立参数单独封装，通过constexpr成员函数在编译期实时计算依赖值，节省内存开销：

// 封装独立参数
struct IndependentParams {
    float p1;
    float p2;
};

struct Configuration {
    const IndependentParams independent;

    // 编译期计算依赖参数的getter
    constexpr float param_dependent_01() const {
        return independent.p1 + independent.p2;
    }

    constexpr float param_dependent_02() const {
        return 1.5f * independent.p1 / (independent.p1 + independent.p2);
    }

    // 仅接受独立参数的构造函数
    constexpr Configuration(IndependentParams ip) : independent(ip) {}
};

// 编译期实例化
constexpr Configuration config{{0.236f, 0.728f}};

// 使用方式：通过getter获取依赖参数
constexpr float dep_val = config.param_dependent_01();

这种方式将参数存储与计算逻辑分离，依赖参数不会占用结构体存储空间，同时保证所有计算都在编译阶段完成。

方案三：命名空间+constexpr常量（完全固定的单例配置） #

如果配置参数完全固定、无需运行时调整，直接用命名空间定义编译期常量是最简洁的方式：

namespace Config {
    constexpr float param_independent_01 = 0.236f;
    constexpr float param_independent_02 = 0.728f;
    constexpr float param_dependent_01 = param_independent_01 + param_independent_02;
    constexpr float param_dependent_02 = 1.5f * param_independent_01 / (param_independent_01 + param_independent_02);
}

// 使用方式：直接通过命名空间访问
constexpr float val = Config::param_dependent_02;

所有参数都是编译期常量，无需结构体实例，完全满足单例+编译时确定的要求。

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