รหัส C ที่พิมพ์จาก 1 ถึง 1,000 โดยไม่มีลูปหรือคำสั่งแบบมีเงื่อนไขทำงานอย่างไร

ฉันพบCรหัสที่พิมพ์จาก 1 ถึง 1,000 โดยไม่มีลูปหรือเงื่อนไข : แต่ฉันไม่เข้าใจวิธีการทำงาน ทุกคนสามารถอ่านรหัสและอธิบายแต่ละบรรทัดได้หรือไม่

#include <stdio.h>
#include <stdlib.h>

void main(int j) {
  printf("%d\n", j);
  (&main + (&exit - &main)*(j/1000))(j+1);
}

อย่าเขียนโค้ดแบบนั้น

สำหรับj<1000, j/1000คือศูนย์ (การหารจำนวนเต็ม) ดังนั้น:

(&main + (&exit - &main)*(j/1000))(j+1);

เทียบเท่ากับ:

(&main + (&exit - &main)*0)(j+1);

ซึ่งเป็น:

(&main)(j+1);

ซึ่งเรียกร้องกับmainj+1

ถ้าj == 1000เช่นนั้นบรรทัดเดียวกันจะออกมาเป็น:

(&main + (&exit - &main)*1)(j+1);

ซึ่งเดือดลงไป

(&exit)(j+1);

ซึ่งเป็นexit(j+1)และออกจากโปรแกรม

(&exit)(j+1)และexit(j+1)มันก็เป็นสิ่งเดียวกัน - การอ้างอิง C99 §6.3.2.1 / 4:

ตัวออกแบบฟังก์ชั่นคือการแสดงออกที่มีประเภทฟังก์ชั่น ยกเว้นเมื่อเป็นตัวถูกดำเนินการของตัวดำเนินการ sizeof หรือ unary & operator ตัวออกแบบฟังก์ชั่นที่มีประเภท " function return type " จะถูกแปลงเป็นนิพจน์ที่มีประเภท " pointer to function return type "

exitเป็นตัวกำหนดฟังก์ชั่น แม้ว่าจะไม่มี&โอเปอเรเตอร์แอดเดรสของผู้ใช้ แต่ก็ถือว่าเป็นตัวชี้ไปยังฟังก์ชัน ( &เพียงแค่ทำให้ชัดเจน)

และฟังก์ชั่นการโทรอธิบายไว้ใน§6.5.2.2 / 1 และต่อไปนี้:

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

ดังนั้นexit(j+1)ทำงานเนื่องจากการแปลงโดยอัตโนมัติของประเภทฟังก์ชั่นเป็นประเภทตัวชี้ไปยังฟังก์ชั่นและ(&exit)(j+1)ทำงานได้ดีกับการแปลงที่ชัดเจนเป็นประเภทตัวชี้ไปยังฟังก์ชั่น

ที่ถูกกล่าวว่ารหัสข้างต้นไม่สอดคล้อง ( mainใช้เวลาสองข้อโต้แย้งหรือไม่มีเลย) และ&exit - &mainฉันเชื่อว่าไม่ได้กำหนดตาม§6.5.6 / 9:

เมื่อพอยน์เตอร์สองตัวถูกลบทั้งคู่จะชี้ไปที่องค์ประกอบของวัตถุอาร์เรย์เดียวกันหรือผ่านองค์ประกอบสุดท้ายของวัตถุอาร์เรย์ ...

การเพิ่ม(&main + ...)จะถูกต้องในตัวเองและสามารถใช้ถ้าปริมาณเพิ่มเป็นศูนย์เนื่องจาก§6.5.6 / 7 พูดว่า:

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

ดังนั้นการเพิ่มศูนย์ให้&mainจะโอเค (แต่ไม่ค่อยมีประโยชน์)

จะใช้การเรียกซ้ำการคำนวณตัวชี้และใช้ประโยชน์จากพฤติกรรมการปัดเศษของการแบ่งจำนวนเต็ม

j/1000รอบระยะลงไปที่ 0 สำหรับทุกj < 1000; เมื่อครบj1,000 ครั้งมันจะประเมินเป็น 1

ตอนนี้ถ้าคุณมีa + (b - a) * nที่nเป็น 0 หรือ 1 คุณจะจบลงด้วยaถ้าn == 0และถ้าb n == 1การใช้&main(ที่อยู่ของmain()) และ&exitสำหรับaและbคำ(&main + (&exit - &main) * (j/1000))จะคืนค่า&mainเมื่อjต่ำกว่า 1,000 &exitมิฉะนั้น j+1ตัวชี้ฟังก์ชั่นส่งผลให้เป็นอาหารแล้วการโต้แย้ง

ผลลัพธ์การสร้างทั้งหมดนี้มีพฤติกรรมแบบเรียกซ้ำ: ในขณะที่jอยู่ต่ำกว่า 1,000 mainเรียกตัวเองซ้ำ ๆ เมื่อjถึง 1,000 จะเรียกexitใช้แทนทำให้โปรแกรมออกโดยใช้รหัสออก 1001 (ซึ่งค่อนข้างสกปรก แต่ใช้งานได้)