C++17无标准库下通过初始化列表推导模板size参数方案

实现方案 #

核心利用C++17核心语言提供的**类模板实参推导（CTAD）**和自定义推导指引实现，无需依赖任何标准库组件，将延迟数组直接作为类成员存储，彻底消除外部单独定义数组的步骤。

完整实现代码

// 前置接口定义（保持原有逻辑即可）
class ILedPattern {
public:
    virtual void reset() = 0;
    virtual uint16_t current() const = 0;
    virtual void next() = 0;
    virtual ~ILedPattern() = default;
};

template <size_t N>
class LedPattern : public ILedPattern {
public:
    // 可变参数构造函数，接收任意数量延迟值，显式转换为uint16_t规避隐式转换问题
    template <typename... Args>
    constexpr LedPattern(Args... args) 
        : delay_{static_cast<uint16_t>(args)...}, index_(0) {}

    void reset() override { index_ = 0; }

    [[nodiscard]] uint16_t current() const override { return delay_[index_]; }
    
    void next() override {
        if (++index_ >= N) index_ = 0; // 直接使用编译期常量N，无需额外存储长度
    }

private:
    uint16_t delay_[N]; // 数组直接内嵌为对象成员，无外部依赖、无堆分配
    size_t index_;
};

// 自定义类模板推导指引：根据构造传入的参数数量自动推导模板参数N
template <typename... Args>
LedPattern(Args...) -> LedPattern<sizeof...(Args)>;

使用方式

完全匹配预期调用形式，无需单独定义数组、无需手动传入长度参数：

LedPattern fast_flash{100, 400};
LedPattern slow_flash{100, 900};
LedPattern double_flash{100, 200, 100, 1000};

针对ATTiny这类RAM资源极度紧张的MCU，可直接加constexpr修饰，将整个对象编译期构造并存到Flash，完全不占用RAM，也无运行时初始化开销：

constexpr LedPattern fast_flash{100, 400};
constexpr LedPattern slow_flash{100, 900};
constexpr LedPattern double_flash{100, 200, 100, 1000};

方案合规性说明

• 构造时仅需直接传入值列表，无需单独定义命名数组，从根源避免数组名拼写、长度传错类问题
• 模板参数N由编译器根据传入参数个数自动推导，全程不需要手动指定长度
• 数组为对象的直接内嵌成员，对象内存要么分配在栈上、要么在全局/Flash存储区，全程无任何malloc/new等运行时内存分配操作，所有内存布局在编译期完全确定

可选安全增强：如果需要严格限制传入参数类型，可自行实现极简的类型判断模板加静态断言做编译期检查，不需要依赖标准库；常规使用场景下显式static_cast已经足够，编译器会对溢出、非法类型转换给出明确警告。

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