From f6c58c2d21a49d84967e48ffa33e7d1c783ae671 Mon Sep 17 00:00:00 2001 From: "Davis E. King" Date: Sat, 26 Aug 2023 19:55:59 -0400 Subject: [PATCH] Make type safe union docs more clear regarding exceptions. --- dlib/type_safe_union/type_safe_union_kernel_abstract.h | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/dlib/type_safe_union/type_safe_union_kernel_abstract.h b/dlib/type_safe_union/type_safe_union_kernel_abstract.h index 0f3d64310..42268eb28 100644 --- a/dlib/type_safe_union/type_safe_union_kernel_abstract.h +++ b/dlib/type_safe_union/type_safe_union_kernel_abstract.h @@ -101,6 +101,10 @@ namespace dlib }; type_safe_union my_type_safe_union; // No error + + Finally, note that if the constructor of one of the Types throws when the type + safe union is constructing it then the type safe union will be left in an empty + state. I.e. this->empty() == true. !*/ public: