c++ - C++如何实现compose2

#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，并且模板参数可以/将从传递的参数的类型推导出。

关于c++ - C++如何实现compose2，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/18045879/