定义编译时常量的最佳方法

Question

在 C++11 中定义简单常量值的最佳方法是什么，这样就不会产生运行时损失？例如：（无效代码）

// Not ideal, no type, easy to put in wrong spot and get weird errors
#define VALUE 123

// Ok, but integers only, and is it int, long, uint64_t or what?
enum {
     Value = 123
};

// Could be perfect, but does the variable take up memory at runtime?
constexpr unsigned int Value = 123;

class MyClass {
    // What about a constant that is only used within a class, so
    // as not to pollute the parent namespace?  Does this take up
    // memory every time the class is instantiated?  Does 'static'
    // change anything?
    constexpr unsigned int Value = 123;

    // What about a non-integer constant?
    constexpr const char* purpose = "example";
    std::string x;
    std::string metadata() { return this->x + (";purpose=" purpose); }
    // Here, the compiled code should only have one string
    // ";purpose=example" in it, and "example" on its own should not
    // be needed.
};

编辑

因为有人告诉我这是一个无用的问题，因为它背后没有背景，这就是背景。

我正在定义一些标志，以便我可以做这样的事情：

if (value & Opaque) { /* do something */ }

Opaque 的值在运行时不会改变，所以它只在编译时才需要，让它出现在我的编译代码中似乎很愚蠢。这些值也在一个循环中使用，该循环对图像中的每个像素运行多次，所以我想避免运行时查找会减慢它（例如，在运行时检索常量值的内存访问。）这不是t 过早优化，因为该算法目前处理一张图像大约需要一秒钟，而且我通常有超过 100 张图像要处理，所以我希望它尽可能快。

既然人们说这是微不足道的，不用担心，我猜#define 是尽可能接近字面值，所以也许这是避免“过度思考”问题的最佳选择？我想普遍的共识是你只是希望没有人需要使用Opaque这个词或你想使用的其他常量？

Answer 1

确实，这比看起来要复杂。

只是为了明确重申要求：

1. 不应有运行时计算。
2. 除了实际结果外，不应有静态、堆栈或堆内存分配。 （不可能禁止分配可执行代码，但请确保 CPU 所需的任何数据存储都是私有的。）

在 C++ 中，表达式可以是左值或纯右值（在 C++11 之前和 C 中，右值对应于相关概念）。左值指的是对象，因此它们可以出现在赋值表达式的L左手侧。对象存储和左值是我们想要避免的。

您想要的是一个标识符，或 id-expression，以评估为纯右值。

目前，只有枚举器可以做到这一点，但正如您所观察到的，它们还有一些不足之处。每个枚举声明都引入了一个新的、不同的类型，因此enum { Value = 123 }; 引入了一个不是整数的常量，而是它自己的唯一类型，转换 为int。这不是适合这项工作的工具，尽管它可以在紧要关头工作。

您可以使用#define，但这是一个技巧，因为它完全避免了解析器。您必须用全部大写字母命名它，然后确保相同的全大写名称不用于程序中的其他任何内容。对于库接口，这样的保证尤其繁重。

下一个最佳选择是函数调用：

constexpr int value() { return 123; }

不过要小心，因为constexpr 函数仍然可以在运行时进行评估。您需要再跳一圈才能将此值表示为计算：

constexpr int value() {
    /* Computations that do not initialize constexpr variables
       (or otherwise appear in a constant expression context)
       are not guaranteed to happen at compile time, even
       inside a constexpr function. */

    /* It's OK to initialize a local variable because the
       storage is only temporary. There's no more overhead
       here than simply writing the number or using #define. */

    constexpr int ret = 120 + 3;
    return ret;
}

现在，您不能将常量称为名称，它必须是value()。函数调用运算符可能看起来效率较低，但它是当前唯一完全消除存储开销的方法。

Answer 2

我认为您应该考虑C++11 feature of specifying an underlying type for an enum，应用于您的示例将是：

enum : unsigned int { Value = 123 };

这消除了您对使用枚举的两个反对意见之一，即您无法控制实际使用哪种类型来表示它们。不过，它仍然不允许使用非整数常量。

Answer 3

你不会出错的：

static constexpr const unsigned int Value = 123;

不过，老实说，尽量不要在意这些。喜欢，真的试试。