支持lossy curly braces的类C假设语言else if行为等效性问询

我在编写代码时遇到一个疑问：假设有一门类C编程语言，支持lossy curly braces（可省略大括号）、if和else，但无显式else if语法。该语言会将代码：

if(a)
if(b)
f();
else
g();

解析为：

if(a){
  if(b){
    f();
  }else{
    g();
  }
}

的结构。那么类似：

if(a){
  f1();
}else if(b){
  f2();
}else if(c){
  f3();
}else{
  f4();
}

的代码会被解析为：

if(a){
  f1();
}else{
  if(b){
    f2();
  }else{
    if(c){
      f3();
    }else{
      f4();
    }
  }
}

的结构，请问这种情况下该语言的else if行为是否与C语言一致？

补充说明 #

• lossy curly braces（我曾误以为拼写为loosy）源于编译器警告，比如编写以下代码时会触发提示：

if(a)
    if(b)
        f1();
    else
        f2();

• 此外，我发现该假设语言中：

if(a) else
    f();

可正常运行，但C语言中此写法无效，C语言对应的有效写法为：

if(a); else
f();

我知晓while(...);的用法，但此前未考虑过if的这种写法。

结论：行为一致 #

C语言本身也不存在显式的else if语法，else if本质是else块嵌套if的语法糖。C语言会将else if(b)解析为else { if(b) }，和假设语言的解析逻辑完全一致。

两者在多分支条件判断的执行逻辑上没有差异：先判断a，不成立则进入else块判断b；若b也不成立，就进入下一层else判断c；所有条件都不满足时，最终执行f4()。

唯一的差异是空语句的语法要求：假设语言允许省略if后的语句直接写else，但C语言要求if后必须跟一个语句（哪怕是空语句;），这属于语法细节的区别，不影响else if的核心行为。

内容的提问来源于stack exchange，提问作者markoj