あいまいな関数のオーバーロード [例 max()]

現時点では、オーバーロードは制限されていないため、あいまいです。コンパイラーは、最初のものがイテレーターに使用されるべきではないことをどのように知っているのですか?

答えは簡単です、あなたはそれを伝えなければなりません。幸いなことに、標準では、std::iterator_traits渡されたイテレータ タイプに関するあらゆる種類の情報をクエリできるものが定義されています (イテレータである限り)。

ここでの最後の点が重要です：IFが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;

ここではis_iterator_v、便宜上constexpr 変数も定義しています。

この特性を と組み合わせて使用​​しstd::enable_ifて、型Tがイテレータであるかどうかに基づいて、以前はあいまいであった 2 つのオーバーロードのいずれかを選択的に無効にすることができます。これまでに、単純にテンプレート宣言を置き換えるtemplate <typename 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>それぞれ。

すべてをまとめると、コードは次のようになります。

// 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 で実際の例を見つけることもできます。