如何在C++中向函数传递可变数量的基类对象引用

我希望在C++中向函数传递可变数量的对象引用。现有抽象基类ParameterBase，以及继承自该基类的ParameterInt、ParameterString等子类实例，需要实现一个函数检查所有传入的参数是否已指定。示例代码如下：

// 抽象基类
class ParameterBase
{
public:
  std::string name();
  bool specified();
};

class ParameterInt : public ParameterBase
{
  // 具体实现
};

class ParameterString : public ParameterBase
{
  // 具体实现
};

/// 检查列表中所有参数是否已指定，
/// 并打印第一个未指定参数的名称。
bool all_specified(const magic_container<ParameterBase&>& parameters)
{
  for(const auto& par : parameters)
  {
    if (!par.specified())
    {
      std::cerr << "Parameter '" << par.name() << "' was not specified\n";
      return false;
    }
  }
  return true;
}

int main()
{
  ParameterInt n1, n2, n3;
  ParameterString s1, s2, s3;
  if (all_specified({n1, n2, s1, n3, s2, s3}))
  {
    std::cout << "Joy and happiness\n";
  } else
  {
    std::cout << "Disaster\n";
  }
  return 0;
}

我知道可以用指针容器或引用包装器来解决，但不确定思路是否正确。我的核心需求如下：

• 向函数传递类似{n1, n2, s1, n3, s2, s3}的可变长度参数，所有元素拥有共同基类；
• 元素不被复制，以常量引用传递；
• 能在函数内遍历这些元素。

请问实现该需求的最简最优方案是什么？

最简最优实现方案 #

方案1：使用std::initializer_list<std::reference_wrapper<const ParameterBase>> #

这是最贴合你需求的方案，既支持初始化列表语法，又能避免对象复制，保持引用语义。

修改后的all_specified函数如下：

#include <functional>   // 引入std::reference_wrapper
#include <initializer_list>

bool all_specified(std::initializer_list<std::reference_wrapper<const ParameterBase>> parameters)
{
  for(const auto& par_ref : parameters)
  {
    const ParameterBase& par = par_ref.get();
    if (!par.specified())
    {
      std::cerr << "Parameter '" << par.name() << "' was not specified\n";
      return false;
    }
  }
  return true;
}

调用方式完全符合你的预期，无需修改main函数中的代码：

if (all_specified({n1, n2, s1, n3, s2, s3}))
{
  std::cout << "Joy and happiness\n";
} else
{
  std::cout << "Disaster\n";
}

方案优势：

• 完美支持初始化列表语法，调用简洁直观；
• std::reference_wrapper可安全持有引用，避免了直接存储引用的容器无法初始化的问题；
• 无额外内存分配，性能最优；
• 保证元素以常量引用传递，不会发生对象复制。

方案2：使用变参模板（更灵活的替代） #

如果需要更灵活的参数传递方式（比如支持直接传参而非初始化列表），可以用变参模板实现：

#include <type_traits>

// 递归终止函数
bool all_specified()
{
  return true;
}

// 变参模板函数，编译期检查参数类型
template<typename Param, typename... Params>
std::enable_if_t<std::is_base_of_v<ParameterBase, std::decay_t<Param>>, bool>
all_specified(const Param& first, const Params&... rest)
{
  if (!first.specified())
  {
    std::cerr << "Parameter '" << first.name() << "' was not specified\n";
    return false;
  }
  return all_specified(rest...);
}

调用时可以直接传递参数，无需初始化列表：

if (all_specified(n1, n2, s1, n3, s2, s3))
{
  std::cout << "Joy and happiness\n";
} else
{
  std::cout << "Disaster\n";
}

方案优势：

• 调用方式更简洁，无需大括号；
• 编译期检查参数类型，确保所有传入参数都继承自ParameterBase；
• 同样没有对象复制和额外内存开销。

方案选择建议 #

如果更偏好初始化列表的语法风格，选择方案1；如果希望调用时更简洁，且需要编译期类型检查，选择方案2。两者都满足你的核心需求，且都是高效的实现方式。

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