c++ - 模板化 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()？ 有没有一种方法可以用同样的语法调用模板化的自由函数来调用它？

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

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

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()<i>()或者其他的东西。在那种情况下，它们将必须是可推导的。