В приведенном ниже коде функциональный указатель и то, что я назвал "функцией-ссылкой", похоже, имеет идентичную семантику:
#include <iostream>
using std::cout;
void func(int a) {
cout << "Hello" << a << '\n';
}
void func2(int a) {
cout << "Hi" << a << '\n';
}
int main() {
void (& f_ref)(int) = func;
void (* f_ptr)(int) = func;
// what i expected to be, and is, correct:
f_ref(1);
(*f_ptr)(2);
// what i expected to be, and is not, wrong:
(*f_ref)(4); // i even added more stars here like (****f_ref)(4)
f_ptr(3); // everything just works!
// all 4 statements above works just fine
// the only difference i found, as one would expect:
// f_ref = func2; // ERROR: read-only reference
f_ptr = func2; // works fine!
f_ptr(5);
return 0;
}
Я использовал gcc версию 4.7.2 в Fedora/Linux
ОБНОВЛЕНИЕ
Мои вопросы:
-
Почему функция указателя не требует разыменования? -
Почему разыменование ссылки на функцию не приводит к ошибке? - Есть ли (есть) ситуация, в которой я должен использовать один над другим?
- Почему
f_ptr = &func;
работает? Так как func должен быть разложен в указатель?
Покаf_ptr = &&func;
не работает (неявное преобразование изvoid *
)