Другая реализация метафункции is_function<T> для C++98/03

[@thedsi666]

Я провел следующий эксперимент:

• Получаем обманным путем (с помощью примера с Extract из баг-репорта автора к gcc) указатель на "void()const".
• Присваиваем данному указателю адрес non-member функции. (Причем, в clang нужен cast, в gcc — не нужен).
• Вызываем функцию с помощью этого указателя.

В программе, скомпилированной clang просто произошел вызов функции, а вот с gcc интереснее: генерируется вообще некорректный код.
Если вызов был произведен через указатель на "void()const", то код вызова отсутствует совсем, если же const заменить на volatile или const volatile, то функция вызывается, но после программа падает (код вызывающей функции обрывается после вызова).

Кстати, в VC++ проверка, видимо, есть, но она не работает из-за другого бага: код автора компилируется только когда параметр функции, который должен стать указателем, является безымянным. Если же имя у парамтра есть, то мы всё же получаем желаемую ошибку:

error C2270: 'value': modifiers not allowed on nonmember functions
note: see reference to class template instantiation 'S<void (void) volatile>' being compiled

При этом, если проверку всё же обойти, то std::is_same для типов указателей на "void()const" и "void()volatile" возвращает false, но любое другое использование данных типов указывает на то, что компилятор их не различает.

В целом, действительно интересная статья, автору спасибо. Мне понравился итоговый способ, хотя, конечно, всем уже давно пора перейти на новый стандарт языка.

[@wander]

Спасибо — это очень интересно.
Может быть стоит добавить эту информацию в багрепорт?

[@thedsi666]

Думаю, действительно стоит.
Я подготовил универсальный (для всех трех компиляторов) пример, иллюстрирующий баг: pastebin.
Предлагаю вам добавить его в баг репорты.

[@wander]

Спасибо, прикрепил файлики.

[@degs]

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

[@wander]

Спасибо за отзыв.
К сожалению, в моем случае перспектива перехода на С++11 на работе кажется фантастической :)

[@Gorthauer87]

Кровавый emdedded?

[@wander]

Не совсем. Но версия компилятора у нас приколочена очень крепко (самый новый из доступных — GCC 4.1.3).

[@vladon]

Но с какой целью приколачивают? Мамонты в руководстве, боящиеся нового?

[@wander]

Ну не без этого, но это не главная причина.
У нас много legacy, при чем это касается не только софта, но и всяких бюрократических моментов.

[@wander]

В MS имеют другую точку зрения на этот вопрос: их реализация просто игнорирует const в тех контекстах, где он недопустим.
Это следует и из ответа, который мне дали в багтрекере, и в принципе согласуется с практическими экспериментами ув. thedsi666 c VS.