Fix #706 - support exactOptionalPropertyTypes option

build/test.ts

@@ -123,7 +123,7 @@ async function main(): Promise<void> {
     await TestApplicationGenerator.generate(structures);
 
     // FILL SCHEMA CONTENTS
-    cp.execSync("npm run build:test");
+    cp.execSync("npm run build:test", { stdio: "inherit" });
     await TestApplicationGenerator.schema();
 
     // GENERATE TRANSFORMED FEATURES

package.json

@@ -1,6 +1,6 @@
 {
   "name": "typia",
-  "version": "4.1.3",
+  "version": "4.1.4",
   "description": "Superfast runtime validators with only one line",
   "main": "lib/index.js",
   "typings": "lib/index.d.ts",

packages/typescript-json/package.json

@@ -1,6 +1,6 @@
 {
   "name": "typescript-json",
-  "version": "4.1.3",
+  "version": "4.1.4",
   "description": "Superfast runtime validators with only one line",
   "main": "lib/index.js",
   "typings": "lib/index.d.ts",
@@ -68,7 +68,7 @@
   },
   "homepage": "https://typia.io",
   "dependencies": {
-    "typia": "4.1.3"
+    "typia": "4.1.4"
   },
   "peerDependencies": {
     "typescript": ">= 4.7.4"

src/factories/internal/metadata/emplace_metadata_object.ts

@@ -103,8 +103,7 @@ export const emplace_metadata_object =
             )(type, false);
 
             // OPTIONAL, BUT CAN BE RQUIRED BY `Required<T>` TYPE
-            if (node?.questionToken && (value.required === false || value.any))
-                Writable(value).optional = true;
+            if (node?.questionToken) Writable(value).optional = true;
             insert(key)(value)(prop);
         }
 

src/factories/internal/metadata/emplace_metadata_tuple.ts

@@ -35,10 +35,7 @@ export const emplace_metadata_tuple =
 
                 // CHECK OPTIONAL
                 const flag: ts.ElementFlags | undefined = flagList[i];
-                if (
-                    flag === ts.ElementFlags.Optional &&
-                    (child.required === false || child.any === true)
-                )
+                if (flag === ts.ElementFlags.Optional)
                     Writable(child).optional = true;
 
                 // REST TYPE

src/metadata/Metadata.ts

@@ -306,6 +306,10 @@ export class Metadata {
         return this.bucket() === (this.constants.length ? 1 : 0);
     }
 
+    public isRequired(): boolean {
+        return this.required === true && this.optional === false;
+    }
+
     /**
      * @internal
      */
@@ -347,7 +351,7 @@ export namespace Metadata {
     export const intersects = (x: Metadata, y: Metadata): boolean => {
         // CHECK ANY & OPTIONAL
         if (x.any || y.any) return true;
-        if (x.required === false && false === y.required) return true;
+        if (x.isRequired() === false && false === y.isRequired()) return true;
         if (x.nullable === true && true === y.nullable) return true;
         if (x.functional === true && y.functional === true) return true;
 
@@ -546,7 +550,7 @@ const getName = (metadata: Metadata): string => {
 
     // OPTIONAL
     if (metadata.nullable === true) elements.push("null");
-    if (metadata.required === false) elements.push("undefined");
+    if (metadata.isRequired() === false) elements.push("undefined");
 
     // ATOMIC
     for (const type of metadata.atomics) {

src/metadata/MetadataObject.ts

@@ -81,7 +81,7 @@ export class MetadataObject {
                 (property) =>
                     property.key.isSoleLiteral() &&
                     property.value.size() === 1 &&
-                    property.value.required === true &&
+                    property.value.isRequired() === true &&
                     property.value.nullable === false &&
                     (property.value.atomics.length === 1 ||
                         (level < 1 &&

src/programmers/CheckerProgrammer.ts

@@ -330,9 +330,9 @@ export namespace CheckerProgrammer {
                 );
 
             // UNDEFINDABLE
-            if (checkOptional || !meta.required)
-                (meta.required ? create_add(top)(input) : add)(
-                    !meta.required,
+            if (checkOptional || !meta.isRequired())
+                (meta.isRequired() ? create_add(top)(input) : add)(
+                    !meta.isRequired(),
                     ValueFactory.UNDEFINED(),
                 );
 
@@ -572,7 +572,7 @@ export namespace CheckerProgrammer {
                             obj.properties.every(
                                 (prop) =>
                                     !prop.key.isSoleLiteral() ||
-                                    !prop.value.required,
+                                    !prop.value.isRequired(),
                             ),
                         ),
                     })(input),

src/programmers/IsProgrammer.ts

@@ -122,7 +122,7 @@ export namespace IsProgrammer {
                     if (
                         target.size() === 1 &&
                         target.objects.length === 1 &&
-                        target.required === true &&
+                        target.isRequired() === true &&
                         target.nullable === false
                     ) {
                         // ONLY WHEN OBJECT WITH SOME ATOMIC PROPERTIES

src/programmers/RandomProgrammer.ts

@@ -225,7 +225,7 @@ export namespace RandomProgrammer {
                 );
 
             // NULL COALESCING
-            if (meta.required === false)
+            if (meta.isRequired() === false)
                 expressions.push(ts.factory.createIdentifier("undefined"));
             if (meta.nullable === true)
                 expressions.push(ts.factory.createNull());

src/programmers/StringifyProgrammer.ts

@@ -158,9 +158,9 @@ export namespace StringifyProgrammer {
             const size: number = meta.size();
             if (
                 size === 0 &&
-                (meta.required === false || meta.nullable === true)
+                (meta.isRequired() === false || meta.nullable === true)
             ) {
-                if (meta.required === false && meta.nullable === true)
+                if (meta.isRequired() === false && meta.nullable === true)
                     return explore.from === "array"
                         ? ts.factory.createStringLiteral("null")
                         : ts.factory.createConditionalExpression(
@@ -173,7 +173,7 @@ export namespace StringifyProgrammer {
                               undefined,
                               ts.factory.createIdentifier("undefined"),
                           );
-                else if (meta.required === false)
+                else if (meta.isRequired() === false)
                     return explore.from === "array"
                         ? ts.factory.createStringLiteral("null")
                         : ts.factory.createIdentifier("undefined");
@@ -420,7 +420,7 @@ export namespace StringifyProgrammer {
                                 obj.properties.every(
                                     (prop) =>
                                         !prop.key.isSoleLiteral() ||
-                                        !prop.value.required,
+                                        !prop.value.isRequired(),
                                 ),
                             ),
                         })(input),
@@ -802,7 +802,7 @@ export namespace StringifyProgrammer {
         meta: Metadata,
         explore: FeatureProgrammer.IExplore,
     ): ((expression: ts.Expression) => ts.Expression) => {
-        if (meta.required === true && meta.any === false)
+        if (meta.isRequired() === true && meta.any === false)
             return (expression) => expression;
         return (expression) =>
             ts.factory.createConditionalExpression(

src/programmers/helpers/StringifyJoinder.ts

@@ -41,7 +41,7 @@ export namespace StringifyJoiner {
             // POP LAST COMMA, IF REQUIRED
             const filtered: ts.Expression[] =
                 (regular.length &&
-                    regular[regular.length - 1]!.meta.required &&
+                    regular[regular.length - 1]!.meta.isRequired() &&
                     dynamic.length === 0) ||
                 (regular.length === 0 && dynamic.length)
                     ? expressions

src/programmers/helpers/StringifyPredicator.ts

@@ -5,8 +5,9 @@ export namespace StringifyPredicator {
         value.split("").some((ch) => ESCAPED.some((escaped) => escaped === ch));
 
     export const undefindable = (meta: Metadata): boolean =>
-        meta.required === false ||
-        (meta.resolved !== null && meta.resolved.returns.required === false);
+        meta.isRequired() === false ||
+        (meta.resolved !== null &&
+            meta.resolved.returns.isRequired() === false);
 
     const ESCAPED = ['"', "\\", "\b", "\f", "\n", "\n", "\r", "\t"];
 }

src/programmers/helpers/UnionPredicator.ts

@@ -37,7 +37,7 @@ export namespace UnionPredicator {
             const children: ISpecializedProperty[] = [];
             obj.properties.forEach((prop) => {
                 // MUST BE REQUIRED
-                if (prop.value.required === false) return;
+                if (prop.value.isRequired() === false) return;
                 const key: string | null = prop.key.getSoleLiteral();
                 if (key === null) return;
 

src/programmers/internal/application_object.ts

@@ -45,7 +45,7 @@ export const application_object =
             if (
                 property.value.functional === true &&
                 property.value.nullable === false &&
-                property.value.required === true &&
+                property.value.isRequired() === true &&
                 property.value.size() === 0
             )
                 continue;
@@ -79,7 +79,7 @@ export const application_object =
             if (schema === null) continue;
             else if (key !== null) {
                 properties[key] = schema;
-                if (property.value.required === true) required.push(key);
+                if (property.value.isRequired() === true) required.push(key);
             } else {
                 const pattern: string = metadata_to_pattern(true)(property.key);
                 if (pattern === PatternUtil.STRING)

src/programmers/internal/check_dynamic_properties.ts

@@ -30,10 +30,10 @@ export const check_dynamic_properties =
         const left: ts.Expression | null =
             props.equals === true && dynamic.length === 0
                 ? props.undefined === true ||
-                  regular.every((r) => r.meta.required)
+                  regular.every((r) => r.meta.isRequired())
                     ? ts.factory.createStrictEquality(
                           ts.factory.createNumericLiteral(
-                              regular.filter((r) => r.meta.required).length,
+                              regular.filter((r) => r.meta.isRequired()).length,
                           ),
                           length,
                       )
@@ -43,7 +43,8 @@ export const check_dynamic_properties =
                           [
                               length,
                               ts.factory.createNumericLiteral(
-                                  regular.filter((r) => r.meta.required).length,
+                                  regular.filter((r) => r.meta.isRequired())
+                                      .length,
                               ),
                               ts.factory.createNumericLiteral(regular.length),
                           ],
@@ -52,7 +53,7 @@ export const check_dynamic_properties =
         if (
             props.undefined === false &&
             left !== null &&
-            regular.every((r) => r.meta.required)
+            regular.every((r) => r.meta.isRequired())
         )
             return left;
 

src/programmers/internal/stringify_regular_properties.ts

@@ -28,7 +28,7 @@ export const stringify_regular_properties = (
             base.push(ts.factory.createStringLiteral(`,`));
 
         const empty: boolean =
-            (entry.meta.required === false &&
+            (entry.meta.isRequired() === false &&
                 entry.meta.nullable === false &&
                 entry.meta.size() === 0) ||
             (entry.meta.functional &&
@@ -37,15 +37,15 @@ export const stringify_regular_properties = (
 
         if (empty === true) return;
         else if (
-            entry.meta.required === false ||
+            entry.meta.isRequired() === false ||
             entry.meta.functional === true ||
             entry.meta.any === true
         )
             output.push(
                 ts.factory.createConditionalExpression(
                     (() => {
                         const conditions: ts.BinaryExpression[] = [];
-                        if (entry.meta.required === false || entry.meta.any)
+                        if (entry.meta.isRequired() === false || entry.meta.any)
                             conditions.push(
                                 ts.factory.createStrictEquality(
                                     ts.factory.createIdentifier("undefined"),
@@ -80,4 +80,4 @@ export const stringify_regular_properties = (
  * @internal
  */
 const sequence = (meta: Metadata): number =>
-    meta.any || !meta.required || meta.functional ? 0 : 1;
+    meta.any || !meta.isRequired() || meta.functional ? 0 : 1;

test/tsconfig.issue.json

@@ -1,6 +1,7 @@
 {
   "extends": "./tsconfig.json",  
   "compilerOptions": {
-    "noEmit": true
+    "noEmit": true,
+    // "exactOptionalPropertyTypes": true,
   }
 }

website/package.json

@@ -31,7 +31,7 @@
     "react": "^18.2.0",
     "react-dom": "^18.2.0",
     "typescript": "^5.1.3",
-    "typia": "^4.1.3"
+    "typia": "^4.1.4"
   },
   "devDependencies": {
     "@trivago/prettier-plugin-sort-imports": "^4.1.1",

website/public/sitemap-0.xml

@@ -1,20 +1,20 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9" xmlns:news="http://www.google.com/schemas/sitemap-news/0.9" xmlns:xhtml="http://www.w3.org/1999/xhtml" xmlns:mobile="http://www.google.com/schemas/sitemap-mobile/1.0" xmlns:image="http://www.google.com/schemas/sitemap-image/1.1" xmlns:video="http://www.google.com/schemas/sitemap-video/1.1">
-<url><loc>https://typia.io/</loc><lastmod>2023-07-04T13:02:52.708Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/</loc><lastmod>2023-07-04T13:02:52.708Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/json/parse/</loc><lastmod>2023-07-04T13:02:52.708Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/json/schema/</loc><lastmod>2023-07-04T13:02:52.708Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/json/stringify/</loc><lastmod>2023-07-04T13:02:52.708Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/miscellaneous/</loc><lastmod>2023-07-04T13:02:52.708Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/pure/</loc><lastmod>2023-07-04T13:02:52.708Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/random/</loc><lastmod>2023-07-04T13:02:52.708Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/setup/</loc><lastmod>2023-07-04T13:02:52.708Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/utilization/nestjs/</loc><lastmod>2023-07-04T13:02:52.708Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/utilization/prisma/</loc><lastmod>2023-07-04T13:02:52.708Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/utilization/trpc/</loc><lastmod>2023-07-04T13:02:52.708Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/validators/assert/</loc><lastmod>2023-07-04T13:02:52.708Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/validators/comment-tags/</loc><lastmod>2023-07-04T13:02:52.708Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/validators/is/</loc><lastmod>2023-07-04T13:02:52.708Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/validators/validate/</loc><lastmod>2023-07-04T13:02:52.708Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/playground/</loc><lastmod>2023-07-04T13:02:52.708Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/</loc><lastmod>2023-07-07T05:52:27.723Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/</loc><lastmod>2023-07-07T05:52:27.723Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/json/parse/</loc><lastmod>2023-07-07T05:52:27.723Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/json/schema/</loc><lastmod>2023-07-07T05:52:27.723Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/json/stringify/</loc><lastmod>2023-07-07T05:52:27.723Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/miscellaneous/</loc><lastmod>2023-07-07T05:52:27.723Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/pure/</loc><lastmod>2023-07-07T05:52:27.723Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/random/</loc><lastmod>2023-07-07T05:52:27.723Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/setup/</loc><lastmod>2023-07-07T05:52:27.723Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/utilization/nestjs/</loc><lastmod>2023-07-07T05:52:27.723Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/utilization/prisma/</loc><lastmod>2023-07-07T05:52:27.723Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/utilization/trpc/</loc><lastmod>2023-07-07T05:52:27.723Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/validators/assert/</loc><lastmod>2023-07-07T05:52:27.723Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/validators/comment-tags/</loc><lastmod>2023-07-07T05:52:27.723Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/validators/is/</loc><lastmod>2023-07-07T05:52:27.723Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/validators/validate/</loc><lastmod>2023-07-07T05:52:27.723Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/playground/</loc><lastmod>2023-07-07T05:52:27.723Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
 </urlset>