Почему я не могу передать функтор, определенный в функции, другой функции?

Я нашел, что функтор может использоваться для имитации определения функции внутри такой функции, как

using namespace std;
int main(int argc, char* argv[])
{
    struct MYINC {
        int operator()(int a) { return a+1; }
    } myinc;
    vector<int> vec;
    for (int i = 0; i < 10; i++) vec.push_back(myinc(i));
    return 0;
}

Но если я передал его внешней функции, такой как std:: transform, как в следующем примере, у меня есть компиляционная ошибка, говорящая error: no matching function for call to ‘transform(std::vector<int>::iterator, std::vector<int>::iterator, std::vector<int>::iterator, main(int, char**)::MYINC&)’

using namespace std;
int main(int argc, char* argv[])
{
    struct MYINC{
        int operator()(int a) { return a+1; }
    } myinc;
    vector<int> vec;
    for (int i = 0; i < 10; i++) vec.push_back(i);
    transform(vec.begin(), vec.end(), vec.begin(), myinc);
    return 0;
}

Итак, я поместил определение вне main, и теперь все в порядке.

using namespace std;
struct MYINC{
    int operator()(int a) { return a+1; }
} myinc;
int main(int argc, char* argv[])
{
    vector<int> vec;
    for (int i = 0; i < 10; i++) vec.push_back(i);
    transform(vec.begin(), vec.end(), vec.begin(), myinc);
    return 0;
}

Ответы

Ответ 1

Обе версии компилируются с помощью g++ 4.8.2, который является компилятором С++ 11.

Компилятор С++ 03, однако, не смог бы создать экземпляр шаблона с локальным типом, поскольку он не поддерживался в С++ 03.

Одним из решений, если это действительно является основной причиной проблемы, является использование более поздней версии компилятора или другого компилятора.

Другим решением является использование того, что даже в С++ 03 вы можете определить "реальную" функцию локально, сделав ее статической функцией-членом локального класса (в С++ 11 вы также можете сделать это, используя lambda).

Однако, за исключением проблемы с такой проблемой, функтор обладает общим преимуществом производительности над "реальной" функцией, а именно тем, что с объектом класса, а не только с указателем функции, и с соответствующим operator() as inline, компилятор может оптимизировать намного лучше, потому что он знает реализацию функции.

Ответ 2

По причинам, которые мне не совсем понятны, в С++ 03 существует известное и довольно раздражающее ограничение на типы, которые вы можете использовать для создания экземпляра шаблона.

Локально определенные классы не могут использоваться в качестве параметров с шаблонами, просто потому, что.

Это, кстати, сделало довольно сложным сделать приличное использование библиотеки <algorithm>, потому что вы не могли сохранить контекст своего кода локальным, будучи вынуждены вместо этого размещать все функторы, компараторы и т.п. на уровне пространства имен, делая смешные имена для них и размещение их далеко от точки использования.