将二维数组和向量嵌套向量传递给模板函数

Question

我有这段代码：

template <typename Edge, std::size_t N, typename Visitor>
void report_edges(const Edge (&AdjacencyMatrix)[N][N], Visitor &&visitor) {
    for (size_t i = 0; i < N; ++i) {
        for (size_t j = i + 1; j < N; ++j) {
            if (AdjacencyMatrix[i][j] != Edge{}) {
                visitor(i, j);
                std::cout << i << " -<" << AdjacencyMatrix[i][j] << ">- "<< j << std::endl;
            }
        }
    }
}

它接受边缘的2D数组并将它们全部报告出来。问题是：如何重写此函数以不仅接受数组的数组，而且还接受向量的向量作为邻接矩阵参数？我认为函数必须具有相同的模板。禁止编写外部函数，例如处理迭代器。

我尝试删除std :: size_t N，并仅使用Edge模板，根本没有任何大小，但也出现了错误（在典型的2D数组情况下非常明显）。

- manull

Answer 1

与数组不同，向量的大小在编译时期并不知道，只有在运行时才确定。这正是它们存在的唯一原因：实现那些在运行时大小已知的数组。

因此，任何试图在模板中推断向量大小的尝试，都会以失败告终，因为模板发生于编译时期。

但是，非常幸运地是，std::size已经被重载了，可以用于数组和向量， 因此您可以使用std::size来完成繁重的工作：

template <typename AdjacencyMatrixType, typename Visitor>
void report_edges(const AdjacencyMatrixType &AdjacencyMatrix, Visitor &&visitor)
{
    for (size_t i = 0; i < std::size(AdjacencyMatrix); ++i)
    {
        for (size_t j = i + 1; j < std::size(AdjacencyMatrix[i]); ++j)
        {
            typedef decltype(AdjacencyMatrix[i][j]) Edge;
            
            if (AdjacencyMatrix[i][j] != Edge{}) {
                visitor(i, j);
                std::cout << i << " -<" << AdjacencyMatrix[i][j] << ">- "<< j << std::endl;
            }
        }
    }
}

唯一的另一个技巧是推断 Edge 的类型需要一些工作。使用 decltype 解决这个问题。

还要注意的是，由于向量的大小仅在运行时才知道，因此你需要确保二维向量中每行的大小是正确的。

- Sam Varshavchik