合并成员函数在有约束向量向量上的级联应用

Question

我有以下向量向量：

V = std::vector<std::vector<MyType> >

V 中包含的向量不一定具有相同的长度。 MyType 有一个成员函数合并，签名如下：

bool MyType::merge(MyType in, MyType &out);

这个成员函数接受 self 和 in 并检查它们是否可以合并到 out 中。如果是这样，则将 out 设置为合并的结果，并且 函数返回真。否则返回false，不修改out。

我想遍历 V 中的每个向量，并将所有可能的组合合并到最终结果 std::vector 中。举个例子， 如果 V 包含三个向量 A、B、C，每个向量有 3 个元素，我想得到一个具有以下结果的向量：

A_0 - B_0 - C_0
A_0 - B_0 _ C_1
A_0 - B_0 _ C_2
A_0 - B_1 - C_0
A_0 - B_1 _ C_1
A_0 - B_1 _ C_2
A_0 - B_2 - C_0
A_0 - B_2 _ C_1
A_0 - B_2 _ C_2
A_1 - B_0 ... etc

如果在任何时候合并返回 false，则合并的结果应该不在结果向量中。

解释有点长，但我觉得这应该不是很难，我觉得有一个 使用一些 stl 功能完成此任务的简单方法，但我根本看不到它。

Answer 1

这听起来像是一个非常递归的问题，它正在合并向量元素的 N 维笛卡尔积：

您希望将 A 的每个元素与合并 B、C、... 中所有可能的合并元素组合的所有结果合并，并将其放入结果向量中，即将第一个维度与笛卡尔合并的结果合并其余 N-1 个维度的乘积。递归的结束是最后一个维度：

typedef std::vector<std::vector<MyType>>::const_iterator vvIter;
std::vector<MyType> cartesianMerge(vvIter start, vvIter end) {

   auto const& currentVector = *start;

   if (start+1 == end) return currentVector; //end recursion

   auto mergeWith = cartesianMerge(start+1, end); //recursie

   std::vector<MyType> results;
   MyType temp;
   for (auto const& lhs : currentVector)
     for (auto const& rhs : mergeWith )
        if (lhs.merge(rhs, temp)) results.push_back(temp);

   return results;
}

int main() {
  auto v = std::vector<std::vector<MyType> >{ /* ... you fill it! ... */ };

  auto allMerged = cartesianMerge(std::begin(v), std::end(v));
}

这可以使用std::transform 等标准算法进行概括，但由于它是一个条件转换（如果合并失败则没有结果），它看起来不会更清晰。