自定义“数字”类-是否可以用来替换'float'或其他内置类型？

我正在编写一个具有各种运算符重载的类，它应该是一种 float（或类似类型）的“外部”代码的替代品。 特别是，有 3 个我想支持的示例用法（见下文），我无法找到一种定义我的类的方式，以满足所有 3 个用例。

这可能吗？

Aside: 实际上，我正在尝试在 Lua 5.3 中实现自定义 lua_Number 类型，它通常是 float 或 double。 我正在将 Lua 编译为 C++，并尝试使用固定点表示。虽然我可以修改“外部”代码（因为它只是嵌入的 Lua），但我非常不想要这样（：

如果您想玩一下，可以查看以下在线代码链接：https://godbolt.org/z/37c6nj

这里是我需要支持的 3 个用例：

示例 1：简单的用法，其中 MyNum 是一个联合成员。 这意味着我不能有奇特的复制构造函数和类似的东西，因为“非平凡”的那些版本会导致联合体失效（无需修改）。

SomeUnion x;
x.num = 123.0f;
SomeUnion y = x;

示例 2： MyNum 是联合的成员（如上所述），并且该联合是结构体的成员。我不确定这与第一个示例有何不同，但这是我当前版本的代码的最后一个难点。这是当前链接示例中不编译的部分。

SomeStruct s1;
s1.u.num = x.num;
SomeStruct s2;
// 此时，这是失败的那一行：
//   error: use of deleted function 'SomeStruct& SomeStruct::operator=(const SomeStruct&)'
//   note: 'SomeStruct& SomeStruct::operator=(const SomeStruct&)' is implicitly deleted because the default definition would be ill-formed
s2 = s1;

示例 3：涉及 volatile 的使用。 这需要一个自定义的 operator=。

volatile SomeUnion v;
// 如果我们没有带有 'volatile' 限定符的自定义 operator=，则会得到：
// ERROR: passing 'volatile MyNum' as 'this' argument discards qualifiers [-fpermissive]
v.num = x.num;

如果我删除 volatile 实现的 operator=，那么 Example1 和 Example2 就会编译，但 Example3 不会。

如果我包括 volatile 版本的 operator=，则 Example1 和 Example3 就会编译，但 Example2 不会。

有没有办法让它们全部工作？

或者，如果失败，是否有任何关于对“外部”代码进行“最小侵入性”更改的想法，以使其能够正常工作？