Чи законно нового виділення покажчика на функціонування?

Покажчики функцій не є простими покажчиками даних, оскільки вони не можуть бути збережені у покажчику недійсності *. Тим не менш, здається, що я можу зберігати копію вказівника функції в динамічній пам'яті (в gcc і clang), як у наведеному нижче коді. Чи законний такий код відповідно до стандарту C ++, чи, можливо, це якесь розширення компілятора?

Крім того, отриманий вказівник на функціональний покажчик поводиться як звичайний покажчик даних: я можу зберігати його в недійсності * та витягувати його з недійсності * static_cast. Чи така поведінка гарантується Стандартом?

int main()
{
  extern void fcn();
  void (*fcnPtr)() = &fcn;
  void (**ptrToFcnPtr)() = nullptr;

  //Make the copy of fcnPtr on the heap:
  ptrToFcnPtr = new decltype(fcnPtr)(fcnPtr);
  //Call the pointed-to function : 
  (**ptrToFcnPtr)();

  //Save the pointer in void* :
  void *ptr = ptrToFcnPtr;
  //retrieve the original ptr: 
  auto myPtr = static_cast< void(**)() > (ptr) ; 
  //free memory:
  delete ptrToFcnPtr ;

}

Хоча покажчики функцій не є об'єктними вказівниками, "покажчик на функцію якогось типу" все ще є типом об'єкта [basic.types] / 8 . Таким чином, покажчики функцій самі по собі є об'єктами, просто те, на що вони вказують, не є.

Таким чином, ви впевнені, що можете створити об’єкт типу вказівника функції за допомогою нового виразу ...

оскільки вони (функціональні покажчики) не можуть бути збережені у покажчику void *.

Насправді зберігання функціонального вказівника як a void*умовно підтримується. Це означає, що він може бути або не може зберігатися залежно від мовної реалізації. Якщо мовна реалізація підтримує динамічне завантаження, то, void*можливо, підтримується перетворення покажчика функції в . GCC, Clang та MSVC все це підтримують:

reinterpret_cast<void*>(&function);

Чи законно нового виділення покажчика на функціонування?

Звичайно. Усі вказівники, включаючи функціональні покажчики, є об'єктами, і всі об'єкти можуть бути розподілені динамічно.

Крім того, отриманий вказівник на покажчик функції поводиться як звичайний покажчик даних

Покажчик функції - це об’єкт. Вказівник на покажчик функції не тільки "поводиться як", але є вказівником на об'єкт.

Я можу зберігати його в void * та витягувати його з void * static_cast. Чи така поведінка гарантується Стандартом?

Перетворення між покажчиком на недійсним і покажчиком на об’єкт дозволено, так. І зворотне перетворення гарантовано дає вихідний покажчик.