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

но это не будет использовать функтор. Функторам нужен не шаблонный оператор (), так как они должны иметь возможность вызываться как 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.test <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

Нет, нет никакого способа обойти это. Как вы сказали, вы должны либо явно вызывать оператор (что противоречит цели), либо аргументы шаблона должны выводиться компилятором.