Не может быть метка в объявлении среднего потока в C?

Question

Так что это в C99:

label: 
    int ret = function(of, stuff); 

дает ошибку во время компиляции, в то время как это:

label: 
    ; 
    int ret = function(of, stuff); 

работает просто отлично.

Является ли это ошибкой компилятора? Или это ошибка в определении стандарта C? Или, если это часть стандарта C99, возможно, кто-то встанет на защиту стандарта C, чтобы утверждать, что это имеет смысл?

Answer 1

Этикетки, которые определены в N1256 6.8.1 Обозначенные маркировки могут содержать только заявления.

Syntax 
1  labeled-statement: 
      identifier : statement 
      case constant-expression : statement 
      default : statement 

int ret = function(of, stuff); является декларация, которая определена в N1256 6.7 декларациях и не является утверждением.

отчетность определены ниже в N1256 6.8 отчетности и блоков:

Syntax 
1  statement: 
      labeled-statement 
      compound-statement 
      expression-statement 
      selection-statement 
      iteration-statement 
      jump-statement 

compound-statement так называемые блоки , который является 0 или более декларации и заявления, окруженные {}.

expression-statement - это нуль или одно выражение, определенное в N1256 6.5. Выражения, за которыми следует точка с запятой, как i++;. Выражение в синтаксисе определено в N1256 6.5.17 Оператор запятой.

selection-statement является if и switch заявление.

iteration-statement является while, do-while и for заявление.

jump-statement является goto, continue, break и return заявление.

Как вы видите, объявления не являются утверждением, поэтому вы не можете помещать метки в объявления.

Answer 2

Возможно, ошибка в спецификации - когда она была изменена, чтобы разрешать выражения и объявления смешиваться в блоке (а не требовать всех объявлений перед операторами), он также должен был быть изменен, чтобы разрешать метки в объявлении, но это не так. Артефакт о том, как язык развивался с течением времени.

Это не серьезная проблема, как вы ее обнаружили, так как вы можете обойти ее тривиально, поставив метку на пустой оператор перед объявлением.