模棱两可的功能超载[例如最大限度(）]

Ambiguous Function Overloads [e.g. max()]

本文关键字：最大限度 功能 超载 模棱两可      更新时间：2023-10-16

是否可以在C 中超载具有相似但不同模板签名的函数。

考虑max((函数。如果我想要max()函数，该功能可以采用以下三个选项：int，*int范围，int迭代器范围。

STL具有此功能分为两个函数：

  • max((
  • max_element((

那么，您或您不能在C 中实现此行为，如果是这样，如何？

编辑：这将使max(vec.begin(), vec.end());和max(vec[0], vec[1]);成功编译，并找到两个传递对象的范围和最大值的最大值。我个人认为不可能将两个功能合并在STL中，但我会确认这不是可行的。

现在过载是模棱两可的，因为您没有限制它们。编译器应该如何知道不应该将第一个用于迭代器？

答案很简单，您必须告诉它。幸运的是，该标准定义了std::iterator_traits，您可以查询有关您传递给它的迭代器类型的各种信息 - 只要它是迭代器。

此处的最后一点是密钥：如果std::iterator_tags<T>没有嵌套的Typedef iterator_category，则T不是迭代器。因此，我们可以使用void_t使用成员检测来定义一个自定义特征，该特征检查给定类型是否为迭代器。

在代码中，看起来像这样：

// C++17 void_t
template <typename...>
using void_t = void;
template <typename T, typename = void>
struct is_iterator : std::false_type {
};
template <typename T>
struct is_iterator<T, void_t<typename std::iterator_traits<T>::iterator_category>> : std::true_type {
};
template <typename T>
constexpr auto is_iterator_v = is_iterator<T>::value;

在这里，我还定义了Constexpr变量is_iterator_v，以便于方便。

我们可以将此特征与std::enable_if结合使用，以根据T类型是迭代器，选择性地禁用两个先前模棱两可的过载之一。为此，只需分别由template <typename T, std::enable_if_t<is_iterator_v<T>, int> = 0>和template <typename T, std::enable_if<!is_iterator_v<T>, int> = 0>替换模板声明template <typename T>即可。

将所有内容整合在一起，代码看起来应该与此相似：

// C++17 void_t
template <typename...>
using void_t = void;
template <typename T, typename = void>
struct is_iterator : std::false_type {
};
template <typename T>
struct is_iterator<T, void_t<typename   std::iterator_traits<T>::iterator_category>> : std::true_type {
};
template <typename T>
constexpr auto is_iterator_v = is_iterator<T>::value;
template<typename T, std::enable_if_t<!is_iterator_v<T>, int> = 0>
constexpr T maximum(T a, T b)
{
    return (a > b) ? a : b;
}
template<typename Iter, std::enable_if_t<is_iterator_v<Iter>, int> = 0>
constexpr Iter maximum(Iter begin, Iter end)
{
    if(begin == end) {
        return end;
    }
    auto max = begin;
    for (; begin != end; ++begin) {
        if(*begin > *max) {
            max = begin;
        }
    }
    return max;
}

您还可以在wandbox上找到工作示例。

相关文章：