вот решил понять получше, что есть указатели на функции
в связи с этим несколько вопросов появилось (скорее всего детских):

пусть есть:


1. Наивный вопрос, но хочется уточнить. НИКАК нельзя в стандартном C++ сделать прямую зависимость между типом Func и func, как функцией этого типа?

2. что представляет собой выражение *func?

3. почему нет разницы между func и &func? Или есть?

4. если передавать в функцию указатель на другую функцию, то какой-то шутник (или просто невнимательный человек) может передать туда 0. Потому приходится все время проверять на 0 перед вызовом по указателю. Есть ли для функций механизм, похожий на ссылочный, который "гарантирует", что передается непустое значение?

Литературку читать не пробовал и поиском пользоваться?

да, может есть у кого на примете статья, где рассматривается подноготная указателей на функции?
к примеру, интересует, 

5. всегда ли компилятор может оптимизировать вот такое:


Добавлено через 2 минуты и 3 секунды

в детстве Незнайку читал 

пытался найти ответ на первый вопрос, но не смог - даже составить текст запроса на поиск. Если даш "литературку", где ответы на эти вопросы написаны, буду благодарен

"Бьерн Страуструп. Язык программирования С++"

ты уверен, что там есть ответы на эти вопросы?
(второй, заметь - это ПОЧЕМУ. В литературке такие подробности редко пишут)

Добавлено через 10 минут и 6 секунд
хоть когда-то и читал, но все же поглядел на главу "4.6.9 Указатель на функцию" из рекомендованной "литературки"
негусто
ни на 1 из вопросов ответа не нашел (хотя дошло, что 2 и 3 взаимосвязанны)

может у кого есть "литературка", где это поглубже рассматривается?

а чем

не устраивает?

Alek86, недавно прочёл вот эту статью : Member Function Pointers and the Fastest Possible C++ Delegates. Весьма и весьма профессиональный рассказ. Не то чтобы я узнал много нового, но все мои разрозненные знания как бы сложились в общую картину   Хорошо читаеш по-английски?

Это сообщение отредактировал(а) marcusmae - 26.2.2008, 12:09

устраивает
проблема в том, что я чёто был уверен, что сцылок на функции нету (даже не проверил)...



угу, с моим другом-словарем...
спасибо, посмотрим-с 

Строго говоря, замена указателя ссылкой не спасет от "шутников". Ибо здесь вам C. Например, разыменуем нулевой указатель и передадим. Все прекрасно скомпилируется. Естественно, получишь в runtime исключение, как и при вызове функции по нулевому указателю, только несколько другое. 
То же самое относится и к ссылкам на данные. Ссылка лишь декларирует соглашение - объект должен быть - но никто не мешает нарушать его при желании. Тем не менее функции принято передавать по указателю, а не по ссылке - просто тебя лохо поймут.

у слова "гарантирует", наверное, не заметила кавычек
все равно, что объвление функции константной "гарантирует", что она не будет менять объект а инкапсуляция "гарантирует" неприкосновенность приватных переменных

но за труды в написании спасибо 


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

лучши скажи, как передать в функтор

функцию так, чтобы нормальный оптимизатор вызов

соптимизировал так, чтобы он был аналогичен вызову


MVC 2005 при использовании ссылок оптимизирует их одинаково только если func() не может быть встраиваемой.
иначе же:

:(


PS. marcusmae, если это есть в той статье, то я ее еще не читал - работа...

существует ли возможность обьявить ссылку на функцию-член класса?
пробовал - не получилось. в стандарте тоже не нашел

А ещё моя тема здесь на форуме : Передать в класс указатель на функцию, если функция - член другого класса

Это сообщение отредактировал(а) marcusmae - 27.2.2008, 14:10

ключевое слово - "ссылку"  то есть что-то типа float (SomeClass::&my_memfunc_ptr)(int, char *)

статейку я прочел, и даже + зарядил за нее
кстати, русский вариант

Ого!   Если что, "::*" - это целостный специальный оператор для указателей.



Ага, я внимательно читаю. Загляни в тему, которую я привёл. В кратце, должно быть что-то вроде



То есть, завести амперсанд не выйдет, а вот взять адрес указателя - вполне  

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



я во время компиляции передаю в качестве параметра шаблона... не подходит
конечно, проблема решаемая (принимать указатель, и во время компиляции гавкать, если туда 0 записали) но все же...
на обычные функции есть, а на члены - нету :(