为什么太空飞船允许混合比较（不同的模板实例化）和无意义的结果？

编辑：这与飞船无关。只是太空飞船的使用使我的代码中的真正问题变得模糊（请参阅答案以了解详细信息）。

我对该程序的输出感到惊讶：（如果您喜欢拼图，请随时打开Godbolt链接并尝试自己找出原因）

#include <cstdint>
#include <cassert>
#include <compare>
#include <cmath>
#include <iostream>
#include <limits>

template<typename T>
struct TotallyOrdered
{
    T val;
    constexpr TotallyOrdered(T val) :
        val(val) {}
    constexpr operator T() const { return val; }
    constexpr std::strong_ordering operator<=>(TotallyOrdered const& other) const
    {
        if (std::isnan(val) && std::isnan(other.val))
        {
            return std::strong_ordering::equal;
        }
        if (std::isnan(val))
        {
            return std::strong_ordering::less;
        }
        if (std::isnan(other.val))
        {
            return std::strong_ordering::greater;
        }
        if (val < other.val)
        {
            return std::strong_ordering::less;
        }
        else if (val == other.val)
        {
            return std::strong_ordering::equal;
        }
        else
        {
            assert(val > other.val);
            return std::strong_ordering::greater;
        }
    }
};



int main()
{
    const auto qNan = std::numeric_limits<float>::quiet_NaN();
    std::cout << std::boolalpha;
    std::cout << ((TotallyOrdered{qNan} <=> TotallyOrdered{1234.567}) ==  std::strong_ordering::less) << std::endl;
    std::cout << ((TotallyOrdered{qNan} <=> TotallyOrdered{1234.567}) ==  std::strong_ordering::equal) << std::endl;
    std::cout << ((TotallyOrdered{qNan} <=> TotallyOrdered{1234.567}) ==  std::strong_ordering::equivalent) << std::endl;
    std::cout << ((TotallyOrdered{qNan} <=> TotallyOrdered{1234.567}) ==  std::strong_ordering::greater) << std::endl;
}

输出：

假的
假的
假的
假的

经过一番责怪Godbolt缓存之后，我发现问题出在，我正在比较TotallyOrdered<float>和TotallyOrdered<double>（添加f后1234.567给出了预期的输出）。我的问题是：

• 为什么允许这样做？（不问这是否是标准行为；是，但对设计意图感到好奇。）
• 为什么比较不给strong_ordering中的任何“枚举”？尽管我只是定义了，但在进行混合比较时似乎得到了偏序strong_order <=>。
• 如何强制仅std::strong_ordering编译（给出结果）的“精确+ -cvref”比较，阻止给出的比较std::partial_ordering？