constexpr int GetVal(); constexpr int i = GetVal();

这段代码定义了一个返回值为`int`类型的函数`GetVal()`，并使用`constexpr`进行修饰。接着，定义了一个`constexpr`变量`i`，并将其初始化为调用`GetVal()`函数的返回值。由于`GetVal()`函数也是`constexpr`的，因此可以在编译时求值，从而得到`i`的值。

需要注意的是，使用`constexpr`修饰变量的条件是变量必须满足以下限制：

1. 变量的类型必须是字面值类型、对象类型或数组类型；
2. 变量必须被初始化为常量表达式；
3. 变量的初始化表达式中只能包含字面值、其他`constexpr`变量或函数的调用、类型转换和内置运算符。

如果变量满足以上所有限制，那么就可以将其声明为`constexpr`变量，从而使其能够在编译时求值。在本例中，由于`GetVal()`函数也是`constexpr`的，因此可以在编译时调用该函数并求得其返回值，进而将`i`初始化为一个常量。

相关问题

constexpr int GetVal(); int i = GetVal();

根据你的代码，你想要将一个constexpr函数的返回值赋给一个非constexpr的变量。这是合法的，但需要注意以下几点：

1. constexpr函数是在编译时求值的函数，它的返回值在编译时就已经确定了。
2. 非constexpr的变量在运行时才能确定其值。

因此，如果GetVal()是一个constexpr函数，它的返回值在编译时就已经确定了，那么将其赋给非constexpr的变量i是允许的。

例如，假设GetVal()是一个返回常量10的constexpr函数，那么你的代码可以这样写：

constexpr int GetVal() {
    return 10;
}

int main() {
    int i = GetVal();  // 编译时即可确定i的值为10
    return 0;
}

在这个例子中，GetVal()是一个constexpr函数，其返回值为常量10。将其赋给变量i是安全的，并且在编译时就可以确定i的值为10。

constexpr int GetVal();

这段代码定义了一个返回值为`int`类型的函数`GetVal()`，并且使用了`constexpr`关键字进行修饰。这意味着，如果`GetVal()`函数的参数和实现都满足`constexpr`的限制，那么该函数可以在编译时求值，并被用于编译时的优化。

需要注意的是，使用`constexpr`修饰函数的条件是函数必须满足以下限制：

1. 函数的返回值类型必须是字面值类型；
2. 函数体必须只包含一条`return`语句；
3. 函数参数的类型必须是字面值类型；
4. 函数体中不能包含任何形式的控制流语句（如`if`、`switch`、`while`、`for`等）；
5. 函数体中只能包含局部变量的定义和赋值，以及其他`constexpr`函数或变量的调用。

如果函数满足以上所有限制，那么就可以将其声明为`constexpr`函数，从而使其能够在编译时求值。