提问者:小点点

数组大小模板推导


我有一个存储std::数组的类。

数组的大小在编译时计算,这是因为应用程序运行在嵌入式设备上,因此没有动态分配:(。代码如下所示:

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});

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

TL;DR:

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


共2个答案

匿名用户

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

template<uint8_t size>
class A
{
public:
    template <typename... Args>
    constexpr A(Args&&... args)
    : what { std::forward<decltype(args)>(args)... }
    {}
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);
   //or
    A instance1 {1,2,3};
    return 0;
}

匿名用户

#include <array>

template<class... U>
class A
{
    std::array<int,sizeof...(U)> what;
public:
    constexpr A(U&&... u) : what{std::forward<U>(u)...} { }
    constexpr std::size_t size() const { 
        return what.size();
    }
};

int main() {
    A a(1,2,3,4,5,6);
    static_assert(a.size() == 6);

    A b(1);
    static_assert(b.size() == 1);
    
    return 0;
}