c++ - constexpr 函数和硬编码参数

Question

所以通常 constexpr 函数是在编译时执行的函数，当传递给它的参数也是 constexpr 时，如下所示:

constexpr int function(int x, int y){
   return x+y;
}

参数声明如下:

constexpr int x = 5;
constexpr int y = 6;

将在编译时执行，但参数声明如下:

int x=5;
int y=6;

不会。我想知道如果我们按以下方式调用此函数会发生什么情况:

function(5,6);

从技术角度来看，5 和 6 是右值，但没有办法(我猜)将它们转换为 constexpr(如果我们可以笼统地说转换为 constexpr)，所以在我看来它将被执行在运行时。然而，没有实际理由在运行时执行它，因为 x 和 y 在编译时都是已知的。

所以我的问题是它在现实生活中如何？这个函数是运行时执行还是编译时执行

Answer 1

constexpr int fun(int x, int y) { return x+y; }
fun(5,6) // << constant expression?

tl;dr

5 和 6 是常量表达式。因此 fun(5,6) 也是一个常量表达式，将在编译时进行计算，这是强制性的(例如非类型模板)。

东西...我快速浏览了该标准，希望我没有遗漏任何要点。

我们已经从@42 的回答中得知:

• 根据 N4527，int 是 constexpr 函数 的有效参数类型，因为它是文字类型(因为它是标量类型，由 §同一文档的 3.9/10 是文字类型)。因此，fun 是一个有效的 constexpr 函数。

• 它提供的代码将 fun(5,6) 放入需要常量表达式并且似乎被某些编译器接受的上下文中。

现在的问题是这是否是有效的、符合标准的行为。

来自 N4527 的§5.20 说:

A conditional-expression e is a core constant expression unless the evaluation of e, following the rules of the abstract machine (1.9), would evaluate one of the following expressions:

• here comes a large list of things that prevent expressions from being core constant expression

该列表不包含“具有常量表达式参数的 constexpr 函数”，因此它们是核心常量表达式(除非它们在使用时未定义)。

因此，如果 5 和 6 是常量表达式，则 fun(5,6) 是常量表达式，如果 fun 是一个有效的 constexpr 函数 并且在使用它之前定义。给定函数满足 §7.1.5/3 中要求的约束并且是有效的constexpr 函数。

根据 §2.13.2，5 和 6 都是整数文字 int

1) An integer literal is a sequence of digits that has no period or exponent part, with optional separating single quotes that are ignored when determining its value. [...]

2) The type of an integer literal is the first of the corresponding list in Table 5 in which its value can be represented.

Suffix: none, Decimal literal: int, long int, long long int

现在再次查看 §5.20 我们看到:两者都是常量表达式。