模板化的operator()重载C++

Question

有人已经问过这个问题，但该线程最终以原始问题没有得到回答。

假设你有这个：

template<size_t i, class f_type>
void call_with_i(f_type f);

functor_type 是：

a) 具有以下签名的方法的结构：

template<size_t i> operator()() const;

或者，b）看起来像这样的函数：

template<size_t i> foo();

我希望“call_with_i<42>(foo)”等同于“foo<42>()”，但我可以'不找出正确的语法来实现这一点。我会对一个解决方案感到满意，它只执行 (a) 但 (a)+(b) 会很棒。我已经尝试过这些语法：

f< i >(); // doesn't work
f()< i >; // doesn't work
f.operator< i >(); // doesn't work
f.operator()< i >; // doesn't work
f.operator()< i >(); // works on msvc, but doesn't work on gcc. 

如何使用显式模板参数调用operator()？ 有没有办法以相同的语法调用模板化自由函数的方式来调用它？

ps如果你想知道我用它做什么，那是因为我我正在编写一个函数repeat_to，其中repeat_to<10>(f) 调用f(0)，然后调用f(1) ... f(10)。我使用它来按索引并行迭代多个 boost::fusion 向量。是的，我可以使用迭代器，或者我可以只使用命名成员函数，但我仍然想知道答案。

编辑说明：我删除了一些东西，因为将模板化的自由函数作为参数传递没有任何意义。

Answer 1

成员模板是一个从属名称，因为它的语义取决于 f_type 的类型。这意味着您应该将“template”放在其名称之前（以消除“小于”标记的使用歧义），类似于将 typename 放在依赖限定名称之前：

template<size_t i, class f_type>
void call_with_i(f_type f) {
  f.template operator()<i>();
  // f.template foo<i>();
}

作为解决方法，您可以可以使用辅助类型：

template<size_t N> struct size_t_ { }; // or boost::mpl::int_

template<size_t i, class f_type>
void call_with_i(f_type f) {
  f(size_t_<i>());
}

现在，您可以按如下方式定义您的 operator()：

template<size_t i> void operator()(size_t_<i>) const {
  // i was deduced automatically by the function argument. 
}

这对于模板化构造函数来说非常方便，因为您无法对其执行 f_type()()< /代码>或其他东西。在这种情况下，它们必须是可推论的。

Answer 2

在像你这样的情况下，我会使用 boost::function 作为函子类型。然后，您可以传递函数对象和函数指针，同时保留相同的接口。

Answer 3

#include <iostream>

template<size_t i, class f_type> void call_with_i(f_type f);

struct A {

    template < size_t i >
    void operator()() const {
        /* no link err in demo */
    }

    template < size_t i >
    void foo() {
        /* no link err in demo */
    }
};

int main(int argc, char * const argv[]) {
    A f;

    enum { Constant = 42 };

    f.operator()<Constant>();
    f.foo<Constant>();

    return 0;
}

有没有办法以相同的语法调用模板化自由函数的方式调用它？

你能澄清一下吗？ （伪代码或其他东西）