使用可变参数模板初始化向量

Question

基本上我需要模板函数，它将容器的大小与某个常数进行比较。所以我需要制作容器的 std::vector 并检查谓词 compSize 是否为真。

template < int x, class Container >
bool compSize(Container cont)
{
    return x == cont.size();
}
    
template < int x, class ...Container >
bool compSizeMult(Container ...conts)
{
    std::vector< Container > cvector{ conts... };
    return std::all_of(cvector.cbegin(), cvector.cend(), compSize< x, Container >);
}

但是编译器说，那个参数包没有展开

cvector{ 继续... };

我也想使用 compSizeMult 作为 std::sort 的比较器并制作类似

int main()
{
    std::vector< std::vector< int > > vec{{1}, {2}, {3}, {0}, {0}};
    std::sort(vec.begin(), vec.end(), compSizeMult< 0, std::vector< int > >);
}

这就是为什么函数应该接受多个参数的原因。我不能在这个任务中使用循环和 lambda，只能使用标准算法

Answer 1

你有 2 个可变参数

std::vector<Container> cvector{ conts... };

• 变量conts有其...，
• 键入没有... 的Container（compSize<x, Container> 中也没有）。

你可能想要std::common_type_t<Container...>。

在 C++17 中，您可以使用 Fold expressions:

template < int x, class ... Containers >
bool compSizeMult(Containers&&... conts)
{
    return (compSize<x>(conts) && ...);
    // or directly: return (conts.size == x && ...);
}

我想使用compSizeMult 作为比较器

它不是一个有效的比较器。它打破了strict weak ordering。