如何实现可默认推导元素类型、也可显式指定的容器插入模板函数？

问题核心 #

原代码尝试将默认模板参数E的类型依赖于后续声明的T，这违反了C++模板参数的声明规则——默认参数不能依赖于后续未声明的模板参数。若直接调整参数顺序，显式指定E时必须同时指定容器类型T，导致调用过于繁琐。

可行解决方案 #

以下两种方案均可实现需求：支持隐式推导容器元素类型的默认调用，以及针对std::variant等场景的显式类型指定调用。

方案1：重载函数模板（C++11及以上兼容） #

先修正类型萃取工具，采用容器标准成员类型替代迭代器解引用的方式，更规范可靠：

#include <type_traits>
#include <iterator>

// 移除类型的const/volatile和引用限定符
template<typename T>
using remove_qualifiers = std::remove_cv_t<std::remove_reference_t<T>>;

// 推导容器的迭代器类型
template<typename T>
using IteratorType = typename remove_qualifiers<T>::iterator;

// 推导容器的元素类型
template<typename T>
using ElementType = typename remove_qualifiers<T>::value_type;

然后提供两个重载模板：

// 隐式推导版本：自动使用容器元素类型构造对象
template<typename T, typename... Args>
IteratorType<T> insert(T& someContainer, Args&&... args) {
    using E = ElementType<T>;
    auto it = someFindFunc(); // 假设someFindFunc返回对应容器的迭代器
    return someContainer.insert(it, E{ std::forward<Args>(args)... });
}

// 显式指定版本：手动指定构造的对象类型E
template<typename E, typename T, typename... Args>
IteratorType<T> insert(T& someContainer, Args&&... args) {
    auto it = someFindFunc();
    return someContainer.insert(it, E{ std::forward<Args>(args)... });
}

调用示例

• 默认调用（容器元素类型与构造对象一致）：

  std::vector<int> int_vec;
  insert(int_vec, 42); // 自动推导E为int
  

• 显式调用（针对std::variant容器）：

  using VariantType = std::variant<int, std::string>;
  std::vector<VariantType> var_vec;
  insert<std::string>(var_vec, "hello"); // 显式指定E为std::string，容器类型T自动推导
  

方案2：单模板结合条件类型推导（C++17及以上） #

用单个模板实现，通过条件类型判断选择使用默认元素类型还是显式指定类型：

#include <type_traits>
#include <iterator>

template<typename T>
using remove_qualifiers = std::remove_cv_t<std::remove_reference_t<T>>;
template<typename T>
using IteratorType = typename remove_qualifiers<T>::iterator;
template<typename T>
using ElementType = typename remove_qualifiers<T>::value_type;

template<typename E = void, typename T, typename... Args>
IteratorType<T> insert(T& someContainer, Args&&... args) {
    // 若未显式指定E，使用容器元素类型；否则使用指定的E
    using ActualE = std::conditional_t<std::is_same_v<E, void>, ElementType<T>, E>;
    auto it = someFindFunc();
    return someContainer.insert(it, ActualE{ std::forward<Args>(args)... });
}

调用示例

• 默认调用：

  std::vector<double> double_vec;
  insert(double_vec, 3.14); // E默认是void，自动推导为double
  

• 显式调用：

  using Var = std::variant<double, bool>;
  std::vector<Var> var_vec;
  insert<bool>(var_vec, true); // 显式指定E为bool，容器类型T自动推导
  

注意事项 #

• 类型萃取改用typename T::value_type是因为它是C++容器的标准成员类型，比通过尾后迭代器解引用的方式更规范，避免潜在的语义歧义。
• 两种方案均利用了C++模板的部分参数推导特性：显式指定E后，容器类型T和参数Args会自动推导，无需手动声明。

内容的提问来源于stack exchange，提问作者RL-S