在C11中，如何实现适合内置类型层次结构的算术类型？

Question

基本上，我想实现一个flat16类型。但这个问题不是关于如何做到这一点的详细信息，而是如何设置东西，以便我的新flat16类型在浮动、双精度和所有整数类型中表现适当。

我希望我的< code>float16类型能够类似地转换为float或double。例如，它应该隐式转换为这两种类型。它还应该有STD::common _ type(http://en.cppreference.com/w/cpp/types/common_type ),其行为类似于std::common_types对其他浮点类型的行为。这意味着< code>std::common_type

我需要编写哪些构造函数和强制转换运算符才能实现此目的？任何帮助将不胜感激！

我最近的另一个问题可能是相关的。

编辑:好的，我像安东一样做了一个最小的例子。这是

struct float16 {
    explicit operator int() {
        return 0;
    }

    operator float() {
        return 0.0f;
    }
};

这为浮点数和浮点数16提供了正确的通用类型，但 int 和浮点数16 的通用类型仍然是 int。我不明白。

Answer 1

我将为这个问题提供我自己的答案。

我现在同意6502，我不认为这是一件容易的事。我发现做到这一点的唯一方法是为每一种可能的类型组合提供操作符重载。这可以用稍微好一点的方式用模板来完成(Boost操作符，http://www . Boost . org/doc/libs/1 _ 59 _ 0/libs/utility/operators . htm就是一个很好的例子)，但这仍然需要大量的工作和样板代码。

Answer 2

如果将它实现为结构/类类型，请提供所有相关运算符和构造函数的重载。如果一个类支持与其他类型的相互转换，请查阅指南了解该类需要什么。

如果您希望类能够很好地使用标准模板，如＜code＞std：：common_type，则需要提供这些模板的适当专门化。最好阅读实际标准来描述此类专业的要求，但可能有一些教程材料（我已经看到了专业化std：：numeric_limits，但不适用于std：：common_type的良好介绍材料）。

除非您使用特定于编译器的类型，否则您的类型与内置标准类型（int、float等）的匹配方式总会有一些限制。

Answer 3

我认为你不能完全理解这一点，因为C核心语言对待本机定义的转换（例如chartoint）与用户定义的转换不同（即使它们是隐式的）。

例如之后

struct float16 { float16(int) {} }; // cast int->float16 is implicit

struct Foo { Foo(const double&){} };  // constructor accepts a double&
struct Bar { Bar(const float16&){} }; // constructor accepts a float16&

void foo(const Foo&) {}
void bar(const Bar&) {}

调用＜code＞foo（3）可以隐式转换为＜code＞double，并且＜code＞foo接受一个＜code＞foo实例，该实例可以通过用户定义的转换（不是＜code＞显式的＜code＞的＜code>foo构造函数）从＜code＞double

但是bar（3）无效，因为这样的调用需要两个隐式用户定义的转换（int→flat16和flat16→Bar），这是不允许的。