如何在C++中编写可变参数模板函数以检查所有给定容器的大小是否一致？

首先，咱们来拆解你遇到的问题核心：你的递归模板函数重载匹配逻辑混乱，导致编译器错误地尝试对std::size_t类型调用size()方法，同时递归终止条件也不完整，无法正确结束递归链。

为什么你的实现会出错？ #

1. 递归调用逻辑错误：你在第一个入口函数里写了return (size == all_equal_in_size(size, args...));，这里把容器的size（std::size_t类型）作为第一个参数传入下一次调用。当args为空时，编译器找不到匹配的终止函数（你的终止条件需要一个unsigned long加一个容器），只能尝试匹配第一个重载函数，这时候Arg被推导为std::size_t，自然就会报错“无法对非结构体/union类型调用size()”。
2. 重载匹配优先级混乱：当你调用all_equal_in_size(size, args...)且args还有多个容器时，编译器会匹配第二个重载，但第二个重载里的all_equal_in_size(args...)又会回到第一个重载（因为没有传入size参数），形成错误的递归链。
3. 终止条件不完整：你的终止函数只处理了“一个size+一个容器”的场景，但没有覆盖“只剩size”或“只剩一个容器”的情况，导致递归无法正确收尾。

更简单的实现方式（C++17及以上） #

C++17引入的折叠表达式可以彻底避免递归的麻烦，一行代码就能搞定逻辑：

#include <cstddef>
#include <vector>
#include <list>

template <typename FirstContainer, typename... RestContainers>
bool all_equal_in_size(const FirstContainer& first, const RestContainers&... rest) {
    const auto target_size = first.size();
    // 折叠表达式：依次检查所有剩余容器的size是否等于target_size
    return ((rest.size() == target_size) && ...);
}

使用方式和你预期的完全一致：

std::vector<int> v1(5);
std::vector<int> v2(5);
std::vector<float> v3(5);
std::vector<double> v4(5);
std::list<int> v5(5);
all_equal_in_size(v1, v2, v3, v4, v5); // 返回true

折叠表达式((rest.size() == target_size) && ...)会自动展开为(v2.size()==5) && (v3.size()==5) && (v4.size()==5) && (v5.size()==5)，逻辑清晰且不易出错。

兼容C11/C14的递归实现 #

如果需要兼容更早的C++标准，可以用结构清晰的递归重载，分离入口函数和递归逻辑：

#include <cstddef>
#include <vector>
#include <list>

// 终止条件：没有剩余容器，返回true
bool all_equal_in_size(std::size_t) {
    return true;
}

// 递归步骤：检查当前容器的size是否等于目标size，然后递归检查剩余容器
template <typename Container, typename... RestContainers>
bool all_equal_in_size(std::size_t target_size, const Container& curr, const RestContainers&... rest) {
    return (curr.size() == target_size) && all_equal_in_size(target_size, rest...);
}

// 入口函数：获取第一个容器的size，启动递归
template <typename FirstContainer, typename... RestContainers>
bool all_equal_in_size(const FirstContainer& first, const RestContainers&... rest) {
    return all_equal_in_size(first.size(), rest...);
}

这个版本的重载逻辑非常清晰：入口函数只接受容器，递归函数第一个参数固定是std::size_t，编译器不会再匹配错误的重载。

额外提示 #

• 尽量用const引用传递容器，避免不必要的拷贝。
• 如果想支持没有size()方法的容器（比如C风格数组），可以替换为std::size()函数，比如std::size(first)代替first.size()，这样兼容性更强。

内容的提问来源于stack exchange，提问作者rooms