ในภาษาโปรแกรมป้ายกำกับคือลำดับของอักขระที่ระบุตำแหน่งภายในซอร์สโค้ดในภาษาส่วนใหญ่ ป้ายกำกับจะมีรูปแบบเป็นตัวระบุซึ่งมักตามด้วยอักขระเครื่องหมายวรรคตอน (เช่นโคลอน ) ในภาษาโปรแกรมระดับสูงหลายภาษาวัตถุประสงค์ของป้ายกำกับคือการทำหน้าที่เป็นปลายทางของGOTOคำสั่ง^{[ 1 ] [ 2 ]} ใน ภาษาแอสเซมบลี ป้ายกำกับสามารถใช้ได้ทุกที่ที่ สามารถใช้ ที่อยู่ได้ (ตัวอย่างเช่น เป็นตัวดำเนินการของคำสั่ง a หรือ b ) ^{[ 3 ]} รวมถึงในภาษาปาสคาลและภาษาที่พัฒนาต่อยอดจากปาสคาล บางภาษา เช่นฟอร์ทรานและBASICรองรับป้ายกำกับตัวเลข^{[ 4 ]} ป้ายกำกับยังใช้เพื่อระบุจุดเริ่มต้นใน ลำดับคำสั่งที่คอม ไพล์แล้ว (เช่น ระหว่างการดีบัก )JMPMOV

ใน ภาษา ซีป้ายกำกับ (label) ใช้ระบุคำสั่งในโค้ด คำสั่งเดียวสามารถมีป้ายกำกับได้หลายป้าย ป้ายกำกับเป็นเพียงตัวบ่งชี้ตำแหน่งในโค้ด และการเข้าถึงป้ายกำกับนั้นไม่มีผลต่อการทำงานจริงของโค้ด

void foo ( int number ) { if ( number < 0 ) goto error ; bar ( number ); return ; error : fprintf ( stderr , "Invalid number! \n " ); }

switch ( die ) { default : printf ( "ไม่ถูกต้อง\n " ); break ;กรณีที่ 1 : กรณีที่3 : กรณีที่5 : printf ( "odd \n " ); break ;กรณีที่ 2 : กรณีที่4 : กรณีที่6 : พิมพ์( "even \n " ); หยุด; }

ในCommon Lispมีวิธีการกำหนดป้ายกำกับอยู่สองวิธี วิธีแรกเกี่ยวข้องกับtagbodyตัวดำเนินการพิเศษ ซึ่งแตกต่างจากการใช้งานในภาษาโปรแกรมอื่นๆ ที่อนุญาตให้มีการนำทางทั่วโลก เช่นCป้ายกำกับจะสามารถเข้าถึงได้เฉพาะในบริบทของตัวดำเนินการนี้เท่านั้น ภายในtagbodyป้ายกำกับจะถูกกำหนดเป็นรูปแบบที่เริ่มต้นด้วยสัญลักษณ์goรูปแบบพิเศษนี้อนุญาตให้ถ่ายโอนการควบคุมระหว่างป้ายกำกับเหล่านี้^{[ 5 ]}

( let (( iteration NIL )) ( tagbody start ( print 'started ) ( setf iteration 0 ) increase ( print iteration ) ( incf iteration 1 ) ( go check ) check ( if ( >= iteration 10 ) ( go end ) ( go increase )) end ( print 'done )))

วิธีที่สองใช้มาโครตัวอ่านและโดยมาโครตัวแรกจะติดป้ายกำกับวัตถุที่อยู่ถัดไปทันที ส่วนมาโครตัวหลังจะอ้างอิงถึงค่าที่ประเมินแล้ว^{[ 6 ]}ป้ายกำกับในความหมายนี้ถือเป็นทางเลือกแทนตัวแปร โดยการประกาศและกำหนดค่าเริ่มต้นให้กับ “ตัวแปร” และการเข้าถึงตัวแปรนั้น ตัวยึดตำแหน่งnจะกำหนดจำนวนเต็มทศนิยมที่ไม่ระบุเครื่องหมายที่เลือกไว้เพื่อระบุป้ายกำกับ#n=#n##n=#n#

( progn #1= "สวัสดี" ( print #1# ))

นอกจากนั้น แบบฟอร์มบางแบบอนุญาตหรือกำหนดให้ต้องระบุป้ายกำกับเพื่อใช้อ้างอิงในภายหลัง รวมถึงแบบฟอร์มพิเศษblockที่กำหนดการตั้งชื่อ และloopมาโครที่สามารถระบุได้ด้วยnamedข้อความย่อย การออกจากแบบฟอร์มที่มีชื่อโดยทันทีสามารถทำได้โดยใช้return-fromตัวดำเนินการพิเศษ

( บล็อกmyblock ( วนลูปสำหรับการวนซ้ำตั้งแต่0 ทำซ้ำ( ถ้า( >= การวนซ้ำ10 ) ( ส่งคืนจากmyblock 'เสร็จสิ้น' ) ( พิมพ์การวนซ้ำ))))

( วนลูปชื่อmyloop สำหรับการวนซ้ำตั้งแต่0 ทำซ้ำ( ถ้า( >= การวนซ้ำ10 ) ( ออกจากmyloop 'เสร็จสิ้น') ( พิมพ์การวนซ้ำ)))

ในลักษณะที่คล้ายกับ C มาโครcase, ccase, ecase, ^{[ 7 ]}typecaseและกำหนดคำสั่ง switch ^{[ 8 ]}ctypecaseetypecase

( let (( my-value 5 )) ( case my-value ( 1 ( print "one" )) ( 2 ( print "two" )) (( 3 4 5 ) ( print "three four or five" )) ( otherwise ( print "any other value" ))))

( let (( my-value 5 )) ( typecase my-value ( list ( print "a list" )) ( string ( print "a string" )) ( number ( print "a number" )) ( otherwise ( print "any other type" ))))

• หมายเลขบรรทัด