Что означает указатель на константную функцию?

В C нет такой вещи, как функция, являющаяся const или иным образом, поэтому указатель на константную функцию не имеет смысла (не должен компилироваться, хотя я не проверял ни с каким конкретным компилятором).

Обратите внимание, что хотя это и отличается, у вас может быть указатель const на функцию, указатель на функцию, возвращающую const, и т. д. По сути, все, кроме самой функции, может быть константой. Рассмотрим несколько примеров:

// normal pointer to function
int (*func)(int);

// pointer to const function -- not allowed
int (const *func)(int);

// const pointer to function. Allowed, must be initialized.          
int (*const func)(int) = some_func;

// Bonus: pointer to function returning pointer to const
void const *(*func)(int);

// triple bonus: const pointer to function returning pointer to const.
void const *(*const func)(int) = func.

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

Согласно спецификации C (C99, раздел 6.7.3):

Свойства, связанные с квалифицированными типами, имеют смысл только для выражений, которые являются lvalue.

Когда в спецификации говорится «квалифицированные типы», это означает вещи, определенные с помощью ключевых слов const, restrict или volatile. Функции Snice не являются lvalue, ключевое слово const в функции не имеет смысла. Возможно, вы смотрите на какое-то расширение, специфичное для компилятора. Некоторые компиляторы выдают ошибку, если вы попытаетесь объявить функцию как const.

Вы уверены, что ищете указатель на константную функцию, а не константный указатель на функцию (то есть const это указатель, а не функция)?

Относительно #4: см. это руководство, где содержится полезный обзор создания, передачи и использования функций. указатели.

В C нет такой вещи, как функция const. const — это квалификатор типа, поэтому его можно использовать только для определения типа, а не функции. Может быть, вы имеете в виду константный указатель на функцию или неконстантный указатель на функцию?

В C++ методы могут быть const. Если метод const, это означает, что после вызова этого метода объект, содержащий метод, будет в том же состоянии, что и до вызова метода (ни одна из переменных экземпляра[1] не была изменена). Таким образом, вы можете указать на константный метод и неконстантный метод, и эти методы различны.

Вы можете принять указатель функции в списке аргументов как retType (*variableName)(arguments).

[1] Если только они не mutable.

В C функции могут быть const, если вы работаете в мире GCC! Функции могут быть объявлены const с помощью атрибутов, прикрепленных к объявлениям функций и других символов. В основном он используется для предоставления компилятору информации о том, что делает функция, даже если ее тело недоступно, поэтому компилятор может выполнить с ним какую-то оптимизацию.

Постоянная функция обычно определяется в терминах функции pure.

Чистая функция — это функция, практически не имеющая побочных эффектов. Это означает, что чистые функции возвращают значение, вычисляемое на основе заданных параметров и глобальной памяти, но не могут влиять на значение какой-либо другой глобальной переменной. Чистые функции не могут по разумным причинам не иметь возвращаемого типа (т. е. иметь возвращаемый тип void).

И теперь мы можем определить, что такое константная функция,

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

Здесь const ничего не говорит об изменчивости функций. Но это функция, которая не затрагивает глобальную память. Таким функциям можно назначать обычные указатели. В любом случае область кода, как правило, (забыв на время о самоизменяющемся коде) будет RO, и вы не сможете изменить ее с помощью обычного указателя.

Прочтите полную содержательную статью здесь.

Поэтому, когда речь заходит о постоянных функциях GCC, мы говорим об оптимизации, а не об изменении функций.

1. В чем смысл указателя на константную функцию по сравнению с указателем на непостоянную функцию?

Нет никакой разницы между константой и неконстантой: сама функция не модифицируема.

Примечание. В C++, если функция является функцией-членом класса, const означает, что состояние объекта внутри этой функции не может быть изменено (назначаются переменные-члены, вызываются неконстантные функции-члены). В этом случае ключевое слово const является частью сигнатуры функции-члена и поэтому имеет значение с точки зрения указателя.

2.Может ли функция быть константой?

См. выше.

3.Может ли функция быть непостоянной (мутабельной)?

См. выше

4.Каков правильный (безопасный) синтаксис для передачи указателя на функцию?

Все указатели на свободные функции могут быть приведены к любому другому указателю на свободную функцию (т. е. их размер одинаков). Таким образом, вы можете определить тип для (гипотетической) функции: void f(); и преобразовать все указатели функций в этот тип для сохранения. Обратите внимание, что вы не должны вызывать функцию через этот общий тип: вам нужно привести ее обратно к исходному типу указателя на функцию, иначе вы получите неопределенное поведение (и, скорее всего, сбой)

Для C++: не гарантируется, что указатели на функции-члены могут быть преобразованы в указатели на свободные функции.

1. Синтаксически негде разместить 'const', чтобы сделать содержимое функции постоянным.

Вы столкнетесь с ошибкой «функция не является l-значением» независимо от того, есть ли у вас константа или нет.

typedef void (* FUNC)(void);
FUNC pFunc;
pFunc = 0;     // OK
*pFunc = 0;    // error:  Cannot assign to a function (a function is not an l-value)

typedef void (* const FUNC)(void);
FUNC pFunc;
pFunc = 0;     // error  (const)
*pFunc = 0;    // error:  Cannot assign to a function (a function is not an l-value)

typedef void (const * FUNC)(void);   // error:  <cv-qualifier>  (lol?)

2 и 3. Указатели на функции - да.. Содержимое функции, не похоже.

4. Я не думаю, что есть способ сделать передачу указателя на функцию более безопасной. Со всеми константами в мире единственное, что вы можете защитить, это то, что «SetCallback» не может изменить свою собственную локальную копию параметра.

typedef void (* const FUNC)(void);
void SetCallback(const FUNC const pCallback)
{
  FUNC pTemp = pCallback;   // OK  (even though pTemp is not const!!)
  pCallback = 0;            // error  (const)
}