C++如何通过模板参数动态控制类成员属性以降低内存占用

我需要基于C++模板实现根据传入参数动态决定类是否包含指定成员属性的功能，从而降低内存占用。

最初无法运行的实现代码 #

enum PointFlags {
        CONSTANT_WIDTH       = 0x01,
        CONSTANT_COLOR       = 0x02,
        CONSTANT_WIDTH_COLOR = 0x03
    };

template <typename point_type = PointFlags>
class Point
{
protected:
        #if (point_type & CONSTANT_WIDTH)
                double width;
        #endif
        #if (point_type & CONSTANT_COLOR)
                double color;
        #endif
public:
        #if (point_type & CONSTANT_WIDTH)
        void setWidth(double w)
        {
             this->width = w;
        }
        #endif
        #if (point_type & CONSTANT_COLOR)
        void setColor(double c)
        {
             this->color = c;
        }
        #endif
};

int main()
{
        int p = CONSTANT_WIDTH | CONSTANT_COLOR;
        Point<PointFlags> a(PointFlags(p));
        a.setWidth(10);
}

核心需求 #

• 类的成员属性（本示例中为width、color）根据传入模板的标记参数决定是否启用，未启用的属性不占用内存空间；
• 传入的模板参数为PointFlags枚举的有限组合值。

已实现的可用版本 #

enum PointFlags {
        CONSTANT_WIDTH       = 0x01,
        CONSTANT_COLOR       = 0x02,
        CONSTANT_OPACITY     = 0x04
    };
struct Empty { };

template <PointFlags T>
class Point
{
protected:
        [[no_unique_address]] std::conditional_t<(T & CONSTANT_WIDTH), int, Empty> width;
        [[no_unique_address]] std::conditional_t<(T & CONSTANT_COLOR), int, Empty> color;
        int point_type;
public:
        Point(PointFlags b = CONSTANT_WIDTH) { 
             point_type = int(T); 
        }

        void setWidth(int w) requires(bool(T & CONSTANT_WIDTH))
        {
             this->width = w;
        }
        void setColor(int c) requires(bool(T & CONSTANT_COLOR))
        {
             this->color = c;
        }
};

int main()
{
        const PointFlags p = PointFlags(CONSTANT_COLOR | CONSTANT_OPACITY);
        Point<p> a;
        a.setColor(10);
}

现有实现的可优化点 #

1. 删除冗余的point_type成员：模板参数T本身是编译期常量，运行期需要获取标记值时直接返回T即可，无需额外存储int类型成员，可直接减少4字节内存占用。
2. 删除无用的构造函数参数：现有构造函数的PointFlags参数完全不生效，模板参数是编译期确定的，运行期传参无法修改模板参数，直接删除该参数可避免误用。
3. 改用枚举类增强类型安全：将PointFlags改为enum class可以避免全局命名污染，同时防止枚举值被隐式转换为整型，减少出错概率。
4. 兼容旧编译器的内存优化：部分旧编译器对C++20的[[no_unique_address]]支持不完善，如果需要兼容老版本编译器，可以改用空基类多继承的方式实现空成员零占用，多个空基类不会额外占用内存。
5. 新增属性时的可扩展性优化：如果后续需要新增大量可选属性，可以把属性和对应的接口封装成独立的组件，用可变参数模板自动组合，不需要手动为每个属性写std::conditional_t和requires条件。

替代实现方案（兼容C++17及更早版本） #

如果你的编译环境不支持C20的requires语法，可以用SFINAE或者模板特化基类的方式实现，以下是兼容C17的示例：

#include <type_traits>

enum class PointFlags : unsigned int {
    CONSTANT_WIDTH  = 0x01,
    CONSTANT_COLOR  = 0x02,
    CONSTANT_OPACITY= 0x04
};

// 重载&运算符方便枚举值运算
constexpr PointFlags operator&(PointFlags a, PointFlags b) {
    return static_cast<PointFlags>(static_cast<unsigned int>(a) & static_cast<unsigned int>(b));
}

struct EmptyBase {};

template<PointFlags T, typename = void>
struct WidthMember : EmptyBase {};
template<PointFlags T>
struct WidthMember<T, std::enable_if_t<static_cast<bool>(T & PointFlags::CONSTANT_WIDTH)>> {
    int width;
};

template<PointFlags T, typename = void>
struct ColorMember : EmptyBase {};
template<PointFlags T>
struct ColorMember<T, std::enable_if_t<static_cast<bool>(T & PointFlags::CONSTANT_COLOR)>> {
    int color;
};

template <PointFlags T>
class Point : public WidthMember<T>, public ColorMember<T>
{
public:
    Point() = default;

    template<typename U = T>
    std::enable_if_t<static_cast<bool>(U & PointFlags::CONSTANT_WIDTH), void>
    setWidth(int w) {
        this->width = w;
    }

    template<typename U = T>
    std::enable_if_t<static_cast<bool>(U & PointFlags::CONSTANT_COLOR), void>
    setColor(int c) {
        this->color = c;
    }
};

int main() {
    constexpr PointFlags p = PointFlags::CONSTANT_COLOR | PointFlags::CONSTANT_WIDTH;
    Point<p> a;
    a.setColor(10);
    a.setWidth(20);
    return 0;
}

该实现利用空基类优化保证未启用的属性不占用内存，同时兼容C++17标准，适用范围更广。

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