Compiling principle--Dynamic semantic error and static semantic error

  Dynamic Semantic errors : Logical errors, such as dead loops, are not discovered by the compiler at compile time, but logically this is a mistake;

  Static semantic error : A syntax error that can be found by the compiler, such as (5+6 (); A syntax error that will be found when the compiler compiles;

 
 
#include<iostream>

using namespace std;

int main() {
    
    int k = 0;
    for(; k<=100; );
    {
            k++;
    }
}

As in the code above, there is a for loop followed by a, so this for loop is a dead loop, there is a semantic error, there is no error when compiling, so it is a dynamic semantic error. In C + +, the direct write {} is used to produce a separate scope, which can be compiled through, conforming to lexical, grammatical, and static semantics.

Compiling principle--Dynamic semantic error and static semantic error