c++ 函子和函数模板

Question

考虑一下这个简单且毫无意义的代码。

#include <iostream>

struct A {
    template<int N>
    void test() {
        std::cout << N << std::endl;
    }
};

int main() {
    A a;
    a.test<1>();
}

这是一个非常简单的函数模板示例。 但是，如果我想将 A::test 替换为重载的 operator() 以使其成为函子，该怎么办？

#include <iostream>

struct A {
    template<int N>
    void operator()() {
        std::cout << N << std::endl;
    }
};

int main() {
    A a;
    a<1>(); // <-- error, how do I do this?
}

当然，如果operator()采用依赖于模板的参数，编译器可能会推断出模板。 但我只是无法找出使用无参数函子指定模板参数的正确语法。

有正确的方法来做到这一点吗？

显然，这段代码可以工作，因为它绕过了函子语法：

a.operator()<1>();

但这有点违背了它作为函子的目的:-P。

Answer 1

您只能调用

a.operator()<1>();

，但不能使用函子。 函子需要一个非模板operator()，因为它们必须能够被调用为varname()，而这不适用于您的代码。

为了使其成为真正的函子，请将代码更改为模板类（函子是类）：

#include <iostream>

template<int N>
struct A {
    void operator()() {
        std::cout << N << std::endl;
    }
};

int main() {
    A<1> a;
    a();
}

Answer 2

除了: 语法之外，我知道没有其他“直接”方式

 a.operator()<1>();

。 如果您愿意更改代码，则可以将模板参数移动到类中，或者使用 (boost|tr1)::bind 来创建 (boost|tr1)::function 对象。

Answer 3

您试图将模板参数传递给对象的实例，据我所知，这是不允许的。 您只能将模板参数传递给模板函数或模板对象。

a.测试<1>(); 和 a.operator()<1>(); 之所以有效，是因为它们充当模板函数。

使用 boost::bind （查看 boost 库）来修复它。

struct A {
    void operator()(int n) {
        std::cout << n << std::endl;
    }
};

int main(int argc, char* argv[]) {
    A a;
    boost::function<void()> f = boost::bind<void>(a, 1);
    f(); // prints 1

    return 0;
}

而且您甚至不必搞乱模板！

Answer 4

你被困住了。 你有没有考虑过类似的事情

struct A {
    template<int N>
    struct B
    {
        void operator()()
        { std::cout << N << std::endl; }
    };

    template<int N>
    B<N> functor() {return B<N>();}
};

int main()
{
    A a;
    a.functor<1>()();
}

Answer 5

不，没有办法解决这个问题。 正如您所说，您必须显式调用运算符（这违背了目的），或者模板参数必须能够由编译器推导。