负零整数

Question

我需要一个整数向量，我可以在其中区分 0 和 -0。 到目前为止，我已经提出了为这种特殊情况定义一个名为zero_int的新类的想法。

但是，现在我无法将普通整数和zero_int推入同一向量。 解决方案 std：：variant 的大小为 8 字节，我需要保留每个变量 4 个字节的大小。 定义虚拟基类my_int并将zero_int设置为其派生类会将zero_int的大小增加到 32 字节...

我知道人们可以使用类似vector<void*>的东西，但我不知道如何.. - 此外，在内存中连续的指针向量中指针指向的对象?? - 在这种情况下，这很重要。

我将不胜感激有关如何解决此问题的任何建议

Answer 1

解决方案 std：：variant 的大小为 8 字节，我需要保留每个变量 4 个字节的大小。

这是不可能的，除非您不介意丢失一个可能的非零int值。

这就引出了"显而易见"的解决方案：将 0 视为 -0，并将每个正数视为自身减去 1。

vec[i]:  -5 -4 -3 -2 -1  0 +1 +2 +3 +4 +5
my "value":  -5 -4 -3 -2 -1 -0 +0 +1 +2 +3 +4

(或者反过来做，这让你在正负范围内对称;无论你喜欢什么。

让任何类包装你的向量以适合你的项目的方式处理这个"映射"。

---

内存中连续的指针向量中的指针指向的对象是否？？

不。

您不希望在此处进行更多间接寻址。

---

有人会建议使用浮点，因为IEEE 754支持有符号零。但是，我认为在任何情况下切换到浮点数来表示实数可能会引入比解决更多的问题。

Answer 2

我会考虑使用无符号类型并将顶部位显式管理为符号位：

class my_int {
public:
my_int(int v) { set(v); }
explicit operator int() const { return get(); }
bool is_negative() const { return value & sign_bit; }
private:
const static unsigned sign_bit =
1u << (std::numeric_limits<unsigned>::digits - 1);
unsigned value;
void set(int v) { value = v < 0 ? (-v) & sign_bit : v;
}
int get() const { return value & sign_bit ? -(value & ~sign_bit) : value; }
};

注意：书面但不测试。