c++ - 数组大小模板推导

Question

我有一个存储 std::array 的类。

数组的大小是在编译时评估的，这是因为应用程序在嵌入式设备上运行，所以没有动态分配:(。 代码看起来像这样:

template<uint8_t size>
class A
{
    //some constructor
    A(...);
    std::array<int, size> what;
}
//Wanted use cases
A instance1({1,2,3});
//Unwanted use case
A<3> instance2({1,2,3});

我不知道如何构造我想要的构造函数。我已经尝试了一个星期，现在有几十种设计，但没有一个得到我想要的。 以下是我尝试过的东西的名称:

1. 模板演绎指南 - 也是模板化版本，我不确定它们是否合法......
2. std::initializer_list - 列表的大小不能放在模板参数中。至少在非 constexpr 上下文中不会。
3. std::array
4. 普通的旧数组
5. 使用关键字 - 也是模板化的。

Tl;博士:

如何从构造函数签名中的给定数组推导出表示数组类型大小的模板参数值？

Answer 1

一个使用演绎指南的小例子:

template<uint8_t size>
class A
{
public:
    template <typename... Args>
    constexpr A(Args&&... args)
    : what { std::forward<decltype(args)>(args)... }
    {}
    constexpr size_t getSize() const { return what.size(); }
private:
    std::array<int, size> what;
};

//deduction guide
template <typename... Args> A(Args... args) -> A<sizeof...(args)>;

int main()
{
    //Wanted use cases
    A instance1 (1,2,3);
    static_assert (instance1.getSize() == 3);
    
    //or
    //A instance1 {1,2,3};
    return 0;
}