c++ - 使用模板类型调用的模板仿函数

Question

我有这两个函子：

template<typename T>
struct identity {
    const T &operator()(const T &x) const {
        return x;
    }
};

template<typename KeyFunction>
class key_helper {

public:
    key_helper(const KeyFunction& get_key_) : get_key(get_key_) { }

    template<typename T, typename K>
    const K operator()(const T& x, const int& n) {
        return get_key(x);
    }

private:
    KeyFunction get_key;
};

但是，如果我在模板函数中使用第二个仿函数。我收到错误：

template<typename T, typename K>
void test(T item, K key) {

    identity<T> id;
    key_helper<identity<T> > k(id);

    K key2 = k(item, 2); // compiler cannot deduce type of K
    key2 = k.operator()<T, K>(item, 2); // expected primary-expression before ',' token
}

我如何operator()从函数中调用仿test函数？

Answer 1

它无法以任何方式推断 , 的返回类型operator()，K因此您需要显式指定模板参数。您的第二次尝试不起作用的原因是您需要包含template关键字：

K key2 = k.template operator()<T,K>(item, 2);