Question

在传递给引用here的示例中的函数时，已经回答了类似的问题，但是这个问题是关于将std :: array传递给模板化类的构造函数。

模板化类的示例：

#include <array>

template<typename T, std::size_t N>
class Pipeline {
public:
    Pipeline(std::array<T, N>& buffer);
...

对此构造函数的调用示例：

std::array<uint16_t, 100> buffer;
Pipeline<uint16_t, buffer.size()> pipeline(buffer);

我发现这很难看，因为有关缓冲区的信息，无论是类型还是长度，都在调用中有效地重复。这就是我想做的事情：

std::array<uint16_t, 100> buffer;
Pipeline pipeline(buffer);

这是不允许的，尽管允许使用与模板化函数（而不是模板化类的构造函数）的调用相同的技术。

有没有办法定义构造函数，以便允许我想做的调用？

Answer 1

作为评论中的状态，在C ++ 17中使用它是有效的：

std::array<uint16_t, 100> buffer;
Pipeline pipeline(buffer); // Pipeline<uint16_t, 100>

早于C ++ 17，您需要使用辅助函数：

template <typename T, std::size_t N>
Pipeline<T, N> make_pipeline(std::array<T, N>& buffer)
{
    return Pipeline<T, N>(buffer);
}

auto pipeline = make_pipeline(buffer); // Pipeline<uint16_t, 100>

假设您的班级是可移动的（或复制）。

Answer 2

在C ++ 17之前，一些杂技可以给你你想要的东西：

#include <iostream>

#include <array>

template<typename T, std::size_t N>
class Pipeline
{
    public:
    Pipeline(std::array<T, N>& buffer)
    {
        for(size_t scan(0); scan != buffer.size(); ++scan)
        {
            std::cout << buffer[scan] << std::endl;
        }
    }
};

int main()
{
    std::array<int, 10> array({1, 2, 3, 4, 5, 6, 7, 8, 9, 10});

    Pipeline<std::tuple_element<0, decltype(array)>::type, std::tuple_size<decltype(array)>::value> test(array);

    return 0;
}

将未知类型和大小的std :: array传递给模板化函数的构造函数

2 个答案: