Visual Studio 2010 и std:: function

У меня есть этот код:

#include <iostream>
#include <functional>

struct A
{
    int operator()(int i) const {
        std::cout << "F: " << i << std::endl;
        return i + 1;
    }
};

int main()
{
    A a;
    std::tr1::function<int(int)> f = std::tr1::ref(a);
    std::cout << f(6) << std::endl;
}

Цель состоит в том, чтобы передать объект-функтор с помощью reference_wrapper, чтобы избежать бесполезных вызовов транзакций с архитектурой. Я ожидаю следующий вывод:

F: 6
7

Он корректно работает с GCC >= 4.4.0, Visual Studio 2008 и с boost, заменяя пространство имен std:: tr1 с boost. Он не работает только с новой версией Visual Studio 2010 как Express Beta 2, так и Release Candidate.

Являются ли эти новые функции С++ прослушиваемыми vs2010? Или в коде есть некоторая ошибка или неправильное использование?

Ответы

Ответ 1

Думаю, я нашел причину. Это то, что TR1 3.4/2 говорит о result_of<T(A1, A2, ..., AN)>::type, используемом при определении типа возврата reference_wrapper<T>::operator():

Реализация может определять член типа любыми способами, которые выражают точный тип выражения f (t1, t2,..., tN) для данных типов. [Примечание. Цель состоит в том, что в реализациях разрешено использовать специальные компиляторы для компиляции -end note]

И затем пункт 3:

Если F не является объектом функции, определенным стандартной библиотекой, и если либо реализация не может определить тип выражения f (t1, t2,..., tN), либо если выражение плохо сформировано, реализация должна использовать следующий процесс для определения члена типа:

  • Если F является, возможно, cv-классом типа класса без члена с именем result_type или если typename F::result_type не является типом:
    • Если N = 0 (без аргументов), тип недействителен.
    • Если N > 0, введите typename F::template result<F(T1, T2,..., TN)>::type

Сообщение об ошибке является артефактом попыток этих спадов. Предоставьте typedef для result_type до int, и он должен работать, я думаю. Обратите внимание, что в C++0x это другое. Он не полагается на шаблон result_type или result, так как он может использовать decltype.

Если с <functional> он не работает с MSVC10 в режиме С++ 0x, он будет пахнуть как ошибка, я бы сказал. Но, возможно, кто-то знает, что происходит. Он может (но не гарантированно) работать с <tr1/functional> в режиме С++ 0x, если этот заголовок выбирает способ decltype вместо ::result_type. Я бы сделал typedef result_type - таким образом, я думаю, что он всегда должен работать независимо от того, используется ли заголовок tr1 или заголовок C++0x.

Также обратите внимание, что boost::tr1 говорит в своей документации, что он не поддерживает оператор вызова функции (но он просто поддерживает неявные преобразования в T&).