การจัดสรรตัวชี้ใหม่ให้ทำงานนั้นถูกกฎหมายหรือไม่

ตัวชี้ไปยังฟังก์ชันไม่ใช่ตัวชี้ข้อมูลธรรมดาเนื่องจากไม่สามารถเก็บไว้ในตัวชี้โมฆะ * อย่างไรก็ตามดูเหมือนว่าฉันสามารถเก็บสำเนาของตัวชี้ฟังก์ชั่นในหน่วยความจำแบบไดนามิก (ใน gcc และเสียงดังกราว) เช่นในรหัสด้านล่าง รหัสดังกล่าวถูกกฎหมายตามมาตรฐาน 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 *

ที่จริงแล้วการจัดเก็บตัวชี้ฟังก์ชันตามที่void*ได้รับการสนับสนุนตามเงื่อนไข ซึ่งหมายความว่าสามารถหรือไม่สามารถจัดเก็บขึ้นอยู่กับการใช้ภาษา หากการใช้ภาษารองรับการโหลดแบบไดนามิกการแปลงตัวชี้ฟังก์ชันในvoid*อาจได้รับการสนับสนุน GCC, Clang และ MSVC สนับสนุนทั้งหมดนี้:

reinterpret_cast<void*>(&function);

การจัดสรรตัวชี้ใหม่ให้ทำงานนั้นถูกกฎหมายหรือไม่

แน่ใจ พอยน์เตอร์ทั้งหมดรวมถึงพอยน์เตอร์ฟังก์ชั่นเป็นวัตถุและวัตถุทั้งหมดสามารถจัดสรรได้แบบไดนามิก

นอกจากนี้ตัวชี้ผลลัพธ์ไปยังตัวชี้ฟังก์ชันจะทำงานเป็นตัวชี้ข้อมูลธรรมดา

ตัวชี้ฟังก์ชั่นเป็นวัตถุ ตัวชี้ไปยังตัวชี้ฟังก์ชันไม่เพียง "ทำงานเป็น" แต่เป็นตัวชี้ไปยังวัตถุ

ฉันสามารถเก็บไว้ในโมฆะ * และดึงจากโมฆะ * โดย static_cast พฤติกรรมนี้รับประกันโดยมาตรฐานหรือไม่

อนุญาตให้ทำการแปลงระหว่างตัวชี้เป็นโมฆะและตัวชี้เป็นวัตถุได้ และการแปลงแบบไปกลับรับประกันว่าจะให้ตัวชี้ดั้งเดิม