检查 C++ 中的值定义

Question

我正在使用 C++ 工作，我需要知道标量值（例如 double）是否已“定义”。 如果需要的话，我还需要能够“undef”它：

class Foo {
public:
    double get_bar();

private:
    double bar;
    void calculate_bar() {
        bar = something();
    }
};

double Foo::get_bar() {
    if ( undefined(bar) )
        calculate_bar();
    return bar;
}

Is it possible in C++?

谢谢

Answer 1

正如其他答案所说，C++没有这个概念。 不过，您可以轻松解决它。

您可以在构造函数中将 bar 初始化为未定义的值，通常为 -1.0 或类似的值。

如果您知道calculate_bar永远不会返回负值，您可以实现未定义的函数来检查< 0.0。

一个更通用的解决方案是使用一个 bool 来表示 bar 是否已定义，并且您在构造函数中将其初始化为 false，并且当您第一次设置它时将其更改为 true。 boost::optional 执行此操作一种优雅的模板化方式。

这就是您的代码示例的样子。

class Foo {
public:
    double get_bar();
    Foo() : barDefined(false) {}
private:
    double bar;
    bool barDefined;
    void calculate_bar() {
        bar = something();
    }
};

double Foo::get_bar() {
    if ( barDefined == false ) {
        calculate_bar();
        barDefined = true;
    }
    return bar;
}

Answer 2

正如其他人指出的那样，没有什么比“未定义”状态更好的了。 但您可能想查看 boost.可选

Answer 3

如果你的意思是在运行时，则不存在这样的事情。 如果 bar 从未初始化，它将具有随机位，具体取决于对象的分配方式（某些分配器会将新内存初始化为全零）。

编辑：由程序员在构造函数和/或手动初始化方法（如 init() ）中处理对象状态

Answer 4

C++ 没有原始类型的“未定义”状态。 最接近的 float/double 是 NAN，但这确实有不同的含义。

Answer 5

为什么不维护一个单独的标志，该标志被初始化为 false，然后在计算 bar 时设置为 true。 然后可以通过再次将标志设置为 false 来“取消定义”。

if(!isBarValid)
{
    calculateBar();
    isBarValid = true;
}
return bar;

Answer 6

这在 C/C++ 中是不可能的，基元将始终分配一个值（主要是垃圾，无论它之前的内存中的位置是什么，除非在声明时显式分配）。 我通常有一个占位符值（即指针为 0），表示未使用，但是这些值也必须显式分配。 如果您的 double 可以采用任何值，那么我建议您在它旁边放置一个布尔值，最初分配为 false，并在您想要进行计算时测试/设置该值。

Answer 7

您必须使用额外的布尔值来完成此操作。

要使用额外的布尔值来实现，您可以尝试类似以下模板的逻辑：

template<typename T>
struct Defined
{
 bool defined;
 T value;
 Defined() : defined(false) {}
 Defined(const T& value_) : defined(true), value(value_) {}
 ... and perhaps other operators here ...
 ... to make this behave even more like a T ...
};

Answer 8

您可以尝试 Construct on first use idiom 和这样编写 get_bar() ：

double & get_bar()
{
    static double *bar = new double(something());
    return *bar;
}

当您调用 get_bar() 时，如果还没有人要求它，它会为您创建 bar 。 任何后续调用都只会返回 bar。 正如链接页面所说，这在技术上不会泄漏内存，因为操作系统会在程序退出时回收它。

更新：

将返回值更改为 double & 以允许您修改 bar。

Answer 9

将 bar 初始化为某个值，当您在构造函数中调用 something() 函数时，该值永远不会发生。

例如：

Foo(): bar(-1)
{
}

然后在 get_bar 函数中检查值 -1。

（嗯 Laserallan 也在 1 分钟前发布了这个答案:-( ;-) ）