3

Есть такой код:

    #include <iostream>
    using namespace std;

    int func()
    {
        cout << "func" << endl;
        return 0;
    }

    int main()
    {
        void * p;

        p = func;
        cout << p << endl;
        cout << func << endl;

        return 0;
    }

В Visual Studio 2010 данный код прекрасно компилируется и в обоих случаях выводит некоторый адрес.

Вопрос 1. Разве есть неявное преобразование, которое позволяет преобразовать функцию (указатель на функцию?) в тип void *?

Вопрос 2. Почему при передаче функции в качестве аргумента перегруженному оператору << компилятор снова преобразовал функцию (указатель на функцию?) в тип void *, а не, скажем, в bool? Ведь неявное преобразование, позволяющее преобразовать указатель в тип bool есть.

2
  • 1
    Нестандартное поведение из разряда "это было давно и неправда". Commented 6 дек. 2017 в 19:55
  • 1
    @AnT: Ну, Visual Studio 2017 без ключа /Za всё ещё компилирует. Обратная совместимость и всё такое.
    – VladD
    Commented 6 дек. 2017 в 20:47

1 ответ 1

2

Этот код не компилирует ни gcc, ни MSVC в режиме с отключенными Майкрософтовскими расширениями языка (/Za).

Так что это и не должно компилироваться. Ну а почему неправильный код MSVC компилирует так, а не иначе — подробности их внутренней реализации, думаю. В режиме совместимости со стандартом (/Za) строка

cout << func << endl;

вызывает конвертацию в bool и вывод значения 1.


Насколько я понимаю, по стандарту нет разрешения преобразования указателя на код в указатель на данные [в частности] потому, что на разных платформах эти указатели могут иметь разную длину.

Список всех возможных преобразований есть в стандарте; преобразование указателя на функцию в указатель на void там просто не упомянуто. Самое близкое, что там есть, это 7.11/2:

A prvalue of type “pointer to cv T”, where T is an object type, can be converted to a prvalue of type “pointer to cv void”. The pointer value is unchanged by this conversion.

Это правило позволяет конвертировать указатель на объект в указатель на void, но не указатель на функцию.

2
  • 1
    Стоит отметить, что явное преобразование условно поддерживается: Converting a function pointer to an object pointer type or vice versa is conditionally-supported. The meaning of such a conversion is implementation-defined, except that if an implementation supports conversions in both directions, converting a prvalue of one type to the other type and back, possibly with different cv-qualification, shall yield the original pointer value. Commented 7 дек. 2017 в 12:21
  • 1
    @Croessmah: Ну это через reinterpret_cast только (да и то conditionally).
    – VladD
    Commented 7 дек. 2017 в 13:59

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.