c++ - 使用模板化类型重载函数模板

Question

我有一个这样的给定函数：

template <typename T, typename F>
T function(const F& f) const;

这个函数有各种重载，其中一些是基于概念的。类似于以下内容：

template <typename T, std::integral F>
T function(const F& f) const;

template <typename T, std::same_as<double> F>
T function(const double& f) const;

现在我想使用模板类型添加一个重载，类似于以下内容：

template <typename T, std::same_as<std::vector<V>> F>
T function(const std::vector<V>& f) const;

为此，我需要指定V类型。但是我找不到允许V在不破坏代码的情况下进行指定的语法。

函数调用如下：

T result = function<T, F>(f);

这意味着，模板类型是明确提供的，重载可能不会改变模板参数的数量或顺序，否则编译器会报错。

如何解决？

Answer 1

我目前无法访问编译器来测试它，但这应该足够了：

template <typename T, typename V>
T function(const std::vector<V>& f) const;

Answer 2

您必须编写自己的概念。

从检查类是否是模板特化中采用检查类是否是特化？并添加了一个要求子句以仅接受标准分配器。

template <class T, template <class...> class TT>
struct is_specialization : std::false_type {};

template <template <class...> class TT, class... Ts>
struct is_specialization<TT<Ts...>, TT> : std::true_type {};

template <class T, template <class...> class TT>
concept specializes = is_specialization<T, TT>::value;

template <typename T, specializes<std::vector> F>
T function(const F& f) const requires specializes<F::allocator_type, std::allocator>;

除非可以手动提供模板参数，否则重载解析应该与以下重载一起使用：

template <typename T, class V>
T function(const std::vector<V>& f) const;

Answer 3

也许使用requires-clause？

template <typename T, typename F>
  requires std::same_as<std::vector<typename F::value_type>, F>
T function(const F& f) const;