静态constexpr和C++ 17中的静态内联变量有什么区别？

Question

使用C++ 17,我们得到内联变量.

其中一个用途是在类中定义常量字段.

那么这两个常量定义之间的区别是什么:

class MyClass {
    static constexpr int myFirstVar = 10;
    static const inline int mySecondVar = 100;
};

当然constexpr是myFirstVar隐式内联.

什么是更好的选择,使用constexpr或inline？

注意:当你不需要constness时,那就inline更容易了.随着constexpr你没有这样的选择.

Answer 1

您不必mySecondVar在声明时指定初始化程序.初始化程序也不是必需的constexpr.

这意味着如果我们尝试定义myFirstVar如下:

class MyClass {
    static constexpr int myFirstVar;
};

int MyClass::myFirstVar = 1;

或者像这样:

#include <cstdlib>

class MyClass {
    static constexpr int myFirstVar = rand();
};

无论如何,它都是不合理的.constexpr语义要求它并且有充分的理由.

的inline说明符方法使我们能够包括在报头本身的静态变量的定义,而不初始化福祉constexpr; 或者如果初始化程序相当复杂,则不必在类定义本身中.

所以这是C++ 17中完全有效的标题:

#include <cstdlib>

class MyClass {
    static const int mySecondVar;
};

inline const int MyClass::mySecondVar = rand();

该标准承诺,包含标题的所有翻译单元将看到变量的相同值,即使我们在运行时之前不知道它是什么.

它主要是一个图书馆作家工具.假设您的库只是标题.那么在过去的日子里,如果你需要一个像这样定义的静态常量,你有什么选择？

好吧,您可以在库中附带一个目标文件.它将从仅包含常量定义的翻译单元编译.现在该库不仅仅是标题库.

或者你可以依靠内联函数.内联变量效果可以通过以下方式实现:

class MyClass {
    static inline int mySecondVar();
};

inline int MyClass::mySecondVar() {
  static const int value = rand();
  return value;
}

但它隐藏在语法墙后面,并使用函数调用运算符掩盖本质上是常量的东西.