labeled-statement: attribute-specifier-seqopt identifier : statement attribute-specifier-seqopt case constant-expression : statement attribute-specifier-seqopt default : statement
Необязательный параметр attribute-specifier-seqотносится к этикетке. identifier label Объявляет идентификатор. Единственное использование метки идентификатора - это цель файла goto. Объем метки - это функция, в которой она появляется. Ярлыки не должны повторно объявляться внутри функции. Метку можно использовать в goto операторе перед его объявлением. Ярлыки имеют собственное пространство имен и не мешают другим идентификаторам. [ Note: Метка может иметь то же имя, что и другое объявление в той же области видимости или template-parameterиз охватывающей области. Unqualified name lookup игнорирует ярлыки. ] — end note