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

用模板化类型调用的模板化函子

1 个答案: