4

Я получил немного странный результат.

Если я напишу какое то простое выражение с указателем, например,

    int a = 10;
    cout << &a << endl;

то в консоль будет выведено что то типа 0x66fe1c, что похоже на адрес в памяти.

Но если я проделаю то же с указателем на функцию, я всегда получаю "1".

Пример:

    #include <iostream>
    using namespace std;

    void add(int a, int b){
        cout << a+b << endl;
    };

    void subtract(int a, int b){
        cout << a-b << endl;
    };

    void multiply(int a, int b){
        cout << a*b << endl;
    };

    int main(){

        void (*operations[3])(int, int) = {add, subtract, multiply};
        
        int length = sizeof(operations)/sizeof(operations[0]);

        for(int i=0; i<length;++i){
            cout << operations[i] << endl;
        }

        return 1;
    }

программа выведет

    1
    1
    1

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

В чем тут дело? что я делаю не так, и как получить "адрес функции в памяти"?

Спасибо заранее!

5

3 ответа 3

3

Зависит от компилятора. VC++, например, честно выводит адреса. GCC преобразует их в bool, как я понимаю (тут пусть гуру в стандарте скажут, верно это или нет).

Хотите оставить адреса - выполните приведение типов, в простейшем варианте как

cout << (void*)operations[i] << endl;

Полный код см. тут.

1
  • 1
    Clang тоже преобразует в bool. Обычно в таких ситуациях неправ оказывается MSVC. 18 июл 2020 в 13:01
1

Как сказано в документации https://en.cppreference.com/w/cpp/io/basic_ostream/operator_ltlt:

There are no overload for pointers to non-static member, pointers to volatile, or function pointers (other than the ones with signatures accepted by the (10-12) overloads). Attempting to output such objects invokes implicit conversion to bool, and, for any non-null pointer value, the value 1 is printed (unless boolalpha was set, in which case true is printed).

То есть для указателей на функции нет специальной перегрузки и при попытке их вывода будет неявное преобразование к типу bool.

7
  • Спасибо, там выше, @Tocic уже указвал мне на этот абзац. Хотя, лично мне такое поведение кажется контринтуитивным.
    – S.H.
    21 июл 2020 в 15:40
  • 1
    @S.H. дополнил ответ
    – dIm0n
    21 июл 2020 в 17:06
  • Типы передаваемых в функцию std::printf аргументов (boo, doo — преобразуются в указатели на функцию) не соответствуют используемому спецификатору преобразования (Спецификатор p означает, что аргумент должен быть указателем на void). Поведение программы не определено.
    – wololo
    22 июл 2020 в 7:16
  • @wololo разве не будет автоматического каста (void*)?
    – dIm0n
    22 июл 2020 в 7:19
  • 1
    Предполагаю, что на практике явный каст (reinterpret_cast<void*>(foo) или (void*)foo) будет работать всегда. Полученный указатель уже можно будет вывести через cout или printf. Однако, стандарт не требует обязательной поддержки такого преобразования. См. expr.reinterpret.cast/8. Привести пример реально существующего компилятора, который бы не позволял кастовать указатель на функцию в void* я не могу.
    – wololo
    22 июл 2020 в 7:47
0

Большое спасибо!

Про приведение к bool - я бы сам точно не догадался.

По меньшей мере, gcc может добраться до адресов так:

    #include <iostream>

    int boo(){
        return 7;
    };

    int doo(){
        return 8;
    }

    int main(){
        
        cout << "boo addr = "<< reinterpret_cast<void*>(boo) << endl;
        cout << "doo addr = "<< reinterpret_cast<void*>(doo) << endl;

    }

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

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