申論題

Fortran, C, and C++ provide union constructs in which there is no language support for type checking; the union in these languages is called free union. Type checking of unions require that each union include a type indicator called a discriminant