使用模板元编程 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

这里不需要模板元编程。您可以简单地使用 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);
}

此外，标准库已经提供standard functors 用于调用各种运算符。因此，您可以在示例中使用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);
}

Answer 2

你不需要花哨的模板元编程东西。 只需创建模板函数的两个版本。没有自定义谓词的那个只会执行默认谓词。

以下内容应该有效：

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;
}