5

然后我想对数据类型进行正常操作（加法，减法等）。无穷大上的所有操作都是以自然方式定义的。例如，无穷大 + 任何整数 = 无穷大。

当然，我可以使用 struct 构造来做到这一点，然后定义所有操作。有没有一种巧妙的方法可以在 C++ 中做到这一点。

谢谢你

4

2 回答 2

15

有没有一种巧妙的方法可以在 C++ 中做到这一点。

好消息是您不必这样做；这个问题已经在boost::date_time::int_adapter.

我不知道它为什么在 中date_time，但是那个特定的类模板是一个适配器，用于创建具有 ±∞ 和“不是数字”的整数类型。

示例程序：

#include <boost/date_time/int_adapter.hpp>
#include <iostream>

int main()
{
    typedef boost::date_time::int_adapter<int> integer;
    integer const i = integer::max();
    std::cout << "i = " << i << '\n';
    std::cout << "i + 1 = " << i + 1 << '\n';
    std::cout << "Infinity looks like: " << integer::pos_infinity() << '\n';
    // So for instance , infinity + any integer = infinity.
    std::cout << "infinity + any integer = " << integer::neg_infinity() + 1 << '\n';
}

样本输出：

i = 2147483645
i + 1 = not-a-number
Infinity looks like: +infinity
infinity + any integer = -infinity
于 2013-05-26T12:13:47.480 回答
2

如果您定义一个隐式转换运算符和构造函数来转换为/从包装类型（在您的情况下，我猜您的意思是int），那么所有算术运算都按预期在包装值上工作。像这样的东西：

class Infinity {}; // Empty helper class, see second constructor

class MaybeInfinity {
    int value;
    bool infinity;

public:
    MaybeInfinity(int value = 0) : value(value), infinity(false) {}
    MaybeInfinity(Infinity) : value(0), infinity(true) {}

    bool isInfinity() const { return infinity; }

    const int & operator() const { return value; }
    int & operator() { return value; }
    ...
};

但是，您说您想为（某些）算术运算定义自定义行为。那么你最好重载所有算术运算符。例如，加法可以写成：

class MaybeInfinity {
    ...
    MaybeInfinity operator +(const MaybeInfinity & other) const {
        if (infinity || other.infinity) {
            return Infinity();
        }
        return value + other.value;
    }
    ...
};

请注意，对于您不为特定算术运算符重载的所有运算符，由于转换运算符，您的类的行为类似于普通整数算术。此外，您可以使用您的类和整数值进行计算，例如：

MaybeInfinity number = 3;
number += 2;
MaybeInfinity otherNumber = Infinity();
number += otherNumber;
// and so on

PS：这个类可以是模板。替换int为T，在定义前加上template<typename T>，确保不要在 .cpp 文件中分离实现，然后使用类似的类型MaybeInfinity<int>或使用其他包装类型。

于 2013-05-26T12:10:43.243 回答