2 
#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 标准中实现的。但我只想知道为什么我的实现会失败。谢谢。

4

1 回答 1

2

编译器只能推断函数模板的模板参数，而不是类模板。这给您留下了几个选择：最明显（但通常最不方便）是在实例化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，并且模板参数可以/将由传递参数的类型推导出来。

于 2013-08-04T18:09:55.843 回答