c++ - constexpr 函数是隐式静态的吗？

Question

如果我在我的 program.cpp 中定义一个函数:

constexpr bool isThree(const int number)
{
  return number == 3;
}

这与声明它为静态有什么不同吗？

static constexpr bool isThree(const int number)
{
  return number == 3;
}

看起来这些应该是等价的，因为 constexpr 意味着函数是内联的，因此不在编译单元之间共享。

constexpr 全局函数是隐式静态的吗？

Answer 1

constexpr 函数是隐式内联。

inline 是一种链接功能。在不同编译单元中定义的 inline 函数不是错误；如果它们的定义不同，则您的程序格式错误，无需诊断，但如果它们具有相同的定义，则除一个版本外的所有版本都将被丢弃并使用该版本。

static，在非方法函数上，也是一个链接功能。 static 定义不在其编译单元之外共享；编译单元不会“通告”它具有 isThree 的定义。

方法函数上的

static 与链接无关。在那种情况下，它只是意味着 this 没有隐式传递给函数。有/没有 this it doesn't work 的方法有差异，但它们大多与它们是 constexpr 无关。请注意，至少在 c++14不使用 this 的 constexpr 方法仍然可以进行常量计算。 c++ 的一些版本使constexpr 方法隐式const； c++17没有。

一个编译单元中的

&isThree 和另一个编译单元中的 &isThree 在 static 时(除非激进的 ICF，这是一个对于不同的问题很重要)。当 inline 时，它们可能不会改变。

内联 函数在编译单元之间共享。它们的完整定义也经常在所有知道它的编译单元中可见，因此它使编译器“内联”(而不是关键字)您的代码更容易。 static 不是。 constexpr 函数是隐式内联，但不是隐式static。

请注意，constexpr 函数有时可以在运行时上下文中计算。在编译时上下文中评估时，它们的 inline 与 static 或链接状态真的无关紧要。

constexpr 也有其他含义，但您想知道两个不同的 constexpr 声明之间的区别，而这些含义都没有改变。