C/C++如何不用ifdef定义结构体且保留未用字段编译器优化能力

完全可以替代预处理宏实现结构体裁剪，无额外运行时开销，无需散写#ifdef。

方案1：条件成员 + 空成员优化（适合C++20及以上版本） #

通过std::conditional编译期条件选择类型，结合[[no_unique_address]]属性让空类型成员不占用结构体内存，效果和#ifdef完全一致：

#include <type_traits>

// 空占位类型，内存占用为0
struct Empty {};

// 编译期开关，可直接通过编译选项传入定义，比如-DSETTING_A=1
constexpr bool SETTING_A = false;
constexpr bool SETTING_B = true;

struct MyStruct {
    int field_1;
    int field_2;
    [[no_unique_address]] std::conditional_t<SETTING_A, int, Empty> field_a;
    [[no_unique_address]] std::conditional_t<SETTING_B, int, Empty> field_b;
};

• 编译时如果开关为false，对应字段会替换为空类型，编译器会直接优化掉该成员的内存占用，结构体体积和用宏裁剪的结果完全一致。
• 访问字段时可以配合if constexpr做编译期分支裁剪，不需要额外写预处理宏：

void process(MyStruct& s) {
    if constexpr (SETTING_A) {
        s.field_a = 10;
    }
    s.field_2 = 20;
}

方案2：分层基类 + 空基类优化（兼容C++11及以上所有版本） #

如果使用旧标准不支持[[no_unique_address]]，可以用多继承结合空基类优化（EBCO）实现，尤其适合开关多、字段分组的场景：

// 公共字段基类
struct BaseCommon {
    int field_1;
    int field_2;
};

// 开关A对应的可选基类
template<bool Enable>
struct BaseA {};
template<>
struct BaseA<true> {
    int field_a;
};

// 开关B对应的可选基类
template<bool Enable>
struct BaseB {};
template<>
struct BaseB<true> {
    int field_b;
};

// 最终结构体，组合所有基类
struct MyStruct : BaseCommon, BaseA<SETTING_A>, BaseB<SETTING_B> {};

• 未开启的开关对应的基类是空类，编译器会优化掉其内存占用，不会增加结构体大小。
• 新增功能开关只需要新增对应基类，不需要修改现有结构体的核心逻辑，可维护性比散写#ifdef高很多。

优化可靠性说明 #

上述两种方案在GCC、Clang、MSVC等主流编译器的O1及以上优化等级下，都可以做到和预处理宏裁剪完全一致的结构体大小和运行时性能，没有任何额外开销。

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