c++ 如何实现 compose2.

c++ How to implement compose2

本文关键字：实现 compose2 何实现 c++      更新时间：2023-10-16
#include <iostream>
#include <vector>
#include <cstdio>
#include <cstring>
#include <cassert>
#include <algorithm>
#include <ctime>
#include <iterator>
#include <string>
#include <numeric>
template <typename BinaryFunction, typename UnaryFunction1, typename UnaryFunction2>
struct compose2 {
    compose2(BinaryFunction binFunc, UnaryFunction1 unFunc1, UnaryFunction2 unFunc2)
        : m_binFunc(binFunc)
        , m_unFunc1(unFunc1)
        , m_unFunc2(unFunc2) 
    {}
    typedef typename BinaryFunction::return_type return_type;
    typedef typename UnaryFunction1::argument_type argument_type;
    return_type operator()(argument_type arg) {
        return m_binFunc(m_unFunc1(arg), m_unFunc2(arg));
    }
    BinaryFunction m_binFunc;
    UnaryFunction1 m_unFunc1;
    UnaryFunction2 m_unFunc2;
};
int main() {
    std::vector<int> v;
    v.push_back(1);
    v.push_back(75);
    v.push_back(10);
    v.push_back(65);
    v.push_back(15);
    v.push_back(78);
    v.push_back(14);
    v.push_back(19);
    int x = 10, y = 20;
    std::vector<int>::iterator it = std::find_if(v.begin(), v.end(), 
                    compose2(
                        std::logical_and<bool>(),
                        std::bind1st(std::less<int>(), x), 
                        std::bind1st(std::greater<int>(), y)
                    ));
    std::cout << (it - v.begin()) << std::endl;
}

我试图实现compose2适配器，但这无法编译。我正在main.cpp:43:29: error: missing template arguments before ‘(’ token，不知道我应该传递哪些模板参数。为什么它不检测类型。

我知道这是在 boost 或其他库或新的 c++11 标准中实现的。但我只想知道为什么我的实现失败。谢谢。

编译器只能推断函数模板的模板参数，而不能推导类模板。这给你留下了几个选择：最明显(但通常最不方便(是在实例化compose2时指定模板参数。

稍微不太明显，但通常更方便的是创建一个函数模板来推导参数，并使用推导的类型创建一个compose2对象：

template<class BinaryFunction, class UnaryFunction1, class UnaryFunction2>
compose2<BinaryFunction, UnaryFunction1, UnaryFunction2>
make_compose2(BinaryFunction binFunc, UnaryFunction1 unFunc1, UnaryFunction2 unFunc2) {
        return compose2_t<BinaryFunction, UnaryFunction2, UnaryFunction2>
            (binFunc, unFunc1, unFunc2);
}

然后客户端代码将使用make_compose2而不是compose2，并且模板参数可以/将从传递参数的类型中推导出来。

相关文章：