C++17函数模板：解决显式指定T需前置InputIt的问题

要实现直接显式指定目标类型T的调用方式，只需调整模板参数顺序，并通过enable_if添加类型安全约束，以下是基于C++17的实现：

修改后的函数模板 #

#include <vector>
#include <iterator>
#include <type_traits>

// 调整模板参数顺序：T在前，InputIt在后；添加enable_if约束确保类型合法
template <typename T = typename std::remove_const_t<typename InputIt::value_type>, 
          typename InputIt,
          // 约束1：迭代器元素可转换为T；约束2：InputIt是输入迭代器
          typename = std::enable_if_t<
              std::is_convertible_v<typename InputIt::value_type, T> &&
              std::is_base_of_v<std::input_iterator_tag, typename std::iterator_traits<InputIt>::iterator_category>
          >>
std::vector<T> WorkOnIt(InputIt first, InputIt last)
{
    std::vector<T> result(first, last);
    // ... 这里写你的result处理逻辑
    return result;
}

调用示例 #

1. 隐式推导T（保留原有简洁写法） #

std::set<OneType> goods;
std::vector<OneType> cooked = WorkOnIt(goods.begin(), goods.end());

2. 显式指定T（实现需求的调用方式） #

std::set<SourceType> goods;
std::vector<CookedType> cooked = WorkOnIt<CookedType>(goods.begin(), goods.end());

核心逻辑说明 #

• 模板参数顺序调整：将目标类型T放在第一个模板参数位置，这样显式指定时只需传入CookedType，迭代器类型InputIt由函数参数自动推导，避免了冗余的类型书写。
• 类型安全约束：
  • std::is_convertible_v确保迭代器产出的元素类型可以转换为T，避免非法类型转换；
  • std::is_base_of_v约束InputIt必须是输入迭代器，符合函数对迭代器的基本要求。
• 兼容原有调用：T的默认值沿用原逻辑——自动取迭代器元素类型移除const后的类型，因此不指定T时的调用方式和原有代码完全一致。

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