ความหมายของ int (*) (int *) = 5 (หรือค่าจำนวนเต็ม)

ฉันคิดไม่ออก:

int main() {
    int (*) (int *) = 5;
    return 0;
}

การมอบหมายข้างต้นรวบรวมด้วย g ++ c ++ 11 ฉันรู้ว่านั่นint (*) (int *)เป็นตัวชี้ไปยังฟังก์ชันที่ยอมรับ(int *)เป็นอาร์กิวเมนต์และส่งกลับค่า int แต่ฉันไม่เข้าใจว่าคุณจะเทียบเคียงเป็น 5 ได้อย่างไรในตอนแรกฉันคิดว่ามันเป็นฟังก์ชันที่คืนค่า 5 อย่างต่อเนื่อง (จากการเรียนรู้ล่าสุดของฉันใน F # น่าจะเป็นฮ่าฮ่า) จากนั้นฉันก็คิดสั้น ๆ ว่าตัวชี้ฟังก์ชันชี้ไปที่ตำแหน่งหน่วยความจำ 5 แต่ไม่ได้ผลชัดเจนและไม่มีค่าฐานสิบหก

คิดว่าอาจเป็นเพราะฟังก์ชันส่งคืน int และการกำหนด int ก็โอเค (อย่างใด) ฉันก็ลองสิ่งนี้ด้วย:

int * (*) (int *) = my_ptr

อยู่ที่ไหนmy_ptrประเภทประเภทint *เดียวกับตัวชี้ฟังก์ชันที่สองนี้เช่นเดียวกับในกรณีแรกที่มีประเภท int สิ่งนี้ไม่ได้รวบรวม การกำหนด 5 หรือค่า int ใด ๆ แทนที่จะmy_ptrไม่คอมไพล์สำหรับตัวชี้ฟังก์ชันนี้เช่นกัน

งานมอบหมายหมายความว่าอย่างไร?

อัปเดต 1

เราได้รับการยืนยันว่าเป็นข้อบกพร่องดังที่แสดงไว้ในคำตอบที่ดีที่สุด อย่างไรก็ตามยังไม่ทราบว่าเกิดอะไรขึ้นกับค่าที่คุณกำหนดให้กับตัวชี้ฟังก์ชันหรือเกิดอะไรขึ้นกับการกำหนด คำอธิบายใด ๆ (ที่ดี) เกี่ยวกับเรื่องนี้จะได้รับการชื่นชมมาก! โปรดดูการแก้ไขด้านล่างเพื่อความชัดเจนยิ่งขึ้นเกี่ยวกับปัญหา

แก้ไข 1

ฉันใช้ gcc เวอร์ชัน 4.8.2 (ใน Ubuntu 4.8.2)

แก้ไข 2

อันที่จริงการเทียบเคียงกับทุกสิ่งที่ใช้ได้กับคอมไพเลอร์ของฉัน แม้กระทั่งการเทียบเคียงกับตัวแปร std :: string หรือชื่อฟังก์ชันที่ส่งกลับค่า double ก็ใช้ได้

แก้ไข 2.1

ที่น่าสนใจทำให้ตัวชี้ฟังก์ชันไปยังฟังก์ชันใด ๆ ที่ส่งคืนชนิดข้อมูลที่ไม่ใช่ตัวชี้จะปล่อยให้คอมไพล์เช่น

std::string (*) () = 5.6;

แต่ทันทีที่ตัวชี้ฟังก์ชันไปยังฟังก์ชันที่ส่งกลับตัวชี้บางตัวก็จะไม่คอมไพล์เช่นด้วย

some_data_type ** (*) () = any_value;

เป็นบั๊กใน g ++

 int (*) (int *) 

เป็นชื่อประเภท

ใน C ++ คุณไม่สามารถประกาศด้วยชื่อประเภทที่ไม่มีตัวระบุ

ดังนั้นสิ่งนี้จะรวบรวมด้วย g ++

 int (*) (int *) = 5;

และสิ่งนี้รวบรวมเช่นกัน:

 int (*) (int *);

แต่เป็นการประกาศที่ไม่ถูกต้องทั้งคู่

แก้ไข :

TCกล่าวถึงในความคิดเห็น Bugzilla ข้อผิดพลาด60680กับกรณีทดสอบที่คล้ายกันแต่ก็ยังไม่ได้รับการอนุมัติ ข้อผิดพลาดได้รับการยืนยันใน bugzilla

แก้ไข 2 :

เมื่อการประกาศสองรายการข้างต้นอยู่ในขอบเขตไฟล์ g ++ จะออกการวินิจฉัยอย่างถูกต้อง (ไม่สามารถออกการวินิจฉัยที่ขอบเขตบล็อกได้)

แก้ไข 3 :

ฉันตรวจสอบแล้วและสามารถสร้างปัญหาซ้ำได้ในรุ่นล่าสุดของ g ++ เวอร์ชัน 4 (4.9.2), เวอร์ชันก่อนวางจำหน่ายล่าสุดล่าสุด (5.0.1 20150412) และเวอร์ชันทดลองล่าสุด 6 (6.0.0 20150412)

ไม่ใช่ C ++ ที่ถูกต้อง โปรดจำไว้ว่าเนื่องจากคอมไพเลอร์เฉพาะของคุณเกิดขึ้นเพื่อคอมไพล์ทำให้ไม่ถูกต้อง คอมไพเลอร์เช่นเดียวกับซอฟต์แวร์ที่ซับซ้อนบางครั้งอาจมีจุดบกพร่องและดูเหมือนจะเป็นหนึ่ง

ในทางตรงกันข้ามclang++บ่น:

funnycast.cpp:3:11: error: expected expression
    int (*) (int *) = 5;
          ^
funnycast.cpp:3:18: error: expected '(' for function-style cast or type construction
    int (*) (int *) = 5;
             ~~~ ^
funnycast.cpp:3:19: error: expected expression
    int (*) (int *) = 5;
                  ^
3 errors generated.

นี่เป็นลักษณะการทำงานที่คาดไว้เนื่องจากบรรทัดที่ละเมิดไม่ใช่ C ++ ที่ถูกต้อง โดยอ้างว่าเป็นการมอบหมายงาน (เนื่องจาก=) แต่ไม่มีตัวระบุ

ดังที่คำตอบอื่น ๆ ได้ชี้ให้เห็นว่ามันเป็นข้อบกพร่องที่

int (*) (int *) = 5;

รวบรวม การประมาณที่สมเหตุสมผลของข้อความนี้ที่คาดว่าจะมีความหมายคือ:

int (*proc)(int*) = (int (*)(int*))(5);

ตอนนี้procเป็นตัวชี้ต่อฟังก์ชันที่คาดว่าแอดเดรส5จะเป็นแอดเดรสฐานของฟังก์ชันที่รับint*และส่งกลับintไฟล์.

ในไมโครคอนโทรลเลอร์ / ไมโครโปรเซสเซอร์บางตัว5อาจเป็นรหัสแอดเดรสที่ถูกต้องและอาจเป็นไปได้ที่จะค้นหาฟังก์ชันดังกล่าวที่นั่น

ในคอมพิวเตอร์ที่ใช้งานทั่วไปส่วนใหญ่หน้าแรกของหน่วยความจำ (ที่อยู่0-1023สำหรับเพจ 4K) จะไม่ถูกต้องโดยเจตนา (ไม่ได้แมป) เพื่อที่จะตรวจจับการnullเข้าถึงตัวชี้

ดังนั้นในขณะที่พฤติกรรมขึ้นอยู่กับแพลตฟอร์มเราสามารถคาดหวังได้อย่างสมเหตุสมผลว่าข้อบกพร่องของเพจจะเกิดขึ้นเมื่อ*procมีการเรียกใช้ (เช่น(*proc)(&v)) ก่อนเวลาที่*procถูกเรียกไม่มีอะไรผิดปกติเกิดขึ้น

หากคุณไม่ได้เขียนตัวเชื่อมโยงแบบไดนามิกคุณไม่ควรคำนวณที่อยู่เป็นตัวเลขและกำหนดที่อยู่ให้กับตัวแปรตัวชี้ต่อฟังก์ชัน

/usr/lib/gcc/x86_64-pc-cygwin/4.9.2/cc1plus.exe -da so.cpp

บรรทัดคำสั่งนี้สร้างไฟล์ระดับกลางจำนวนมาก คนแรกso.cpp.170r.expandกล่าวว่า:

...
int main() ()
{
  int D.2229;
  int _1;

;;   basic block 2, loop depth 0
;;    pred:       ENTRY
  _1 = 0;
;;    succ:       3

;;   basic block 3, loop depth 0
;;    pred:       2
<L0>:
  return _1;
;;    succ:       EXIT

}
...

สิ่งนี้ยังไม่ตอบโจทย์ว่าเกิดอะไรขึ้นอย่างแน่นอน แต่ควรเป็นขั้นตอนในทิศทางที่ถูกต้อง