使用模板元编程C ++比较2个值

Question

我希望有一个默认功能作为“谓词”模板，以防用户不提供。 到目前为止，我一直在做类似的事情：

template<typename T>
struct simple_compare{
    bool operator()(T const& a, T const& b){
        return a > b;
    }
};

template<typename T, typename Predicate=simple_compare<T> >
bool compare(T a, T b, Predicate pred) {
    return pred(a, b);
}

可以使用C ++中的模板元编程来完成此操作，而不要使用带有重载（）运算符的结构吗？

Answer 1

您不需要花哨的模板元编程内容。 只需创建两个版本的模板函数。 没有自定义谓词的将只执行默认谓词。

以下内容应能起作用：

auto default_pred = [](const auto a, const auto b) {return a > b;};
auto custom_pred  = [](const auto a, const auto b) {return a < b;};


template<typename T, typename Fn >
bool compare2(T a, T b, Fn pred) {
    return pred(a, b);
}

template<typename T >
bool compare2(T a, T b) {
    return default_pred (a, b);
}

int main(){
    cout<<compare2(2, 4)<<endl;
    cout<<compare2(10.2d, 4.5d, custom_pred)<<endl;
   return 0;
}

Answer 2

这里不需要模板元编程。 您可以简单地使用重载（如Davide Spataro的答案所示）来提供不带谓词的版本，而仅使用默认谓词调用完整版本。 或者，您可以仅对谓词使用默认参数：

template <typename T, typename Predicate = simple_compare<T>>
bool compare(T a, T b, Predicate pred = {}) {
    return pred(a, b);
}

如果您只想使用泛型仿函数来调用>运算符，则也可以仅使operator ()成为模板而不是仿函数类型本身，并从调用中推导要比较的确切类型：

struct simple_compare {
    template <typename A, typename B>
    bool operator()(A const& a, B const& b) const {
        return a > b;
    }
};

template <typename T, typename Predicate = simple_compare>
bool compare(T a, T b, Predicate pred = {}) {
    return pred(a, b);
}

而且，标准库已经提供了用于调用各种运算符的标准函子。 因此，在示例中，您可以只使用std::greater<T>或std::greater<void>来代替自己滚动。 此外，我认为并没有必要要求您的参数是可复制的并且具有相同类型：

template <typename A, typename B, typename Predicate = std::greater<void>>
bool compare(A const& a, B const& b, Predicate pred = {}) {
    return pred(a, b);
}