我理解在C++中可以使用constexpr关键字执行编译时计算，例如：
constexpr int factorial(int n)
{
return n <= 1 ? 1 : (n * factorial(n - 1));
}
(来源于https://en.cppreference.com/w/cpp/language/constexpr)
在C++和C之间，编译时计算能否被视为一个关键优势？
据我了解，在C中不可能进行编译时计算。我相信constexpr是不可用的，代码只能在运行时被评估。
这是C++程序可以实现比等效的C程序更好的性能（例如速度）的一种方式吗？
只有一件事是确定的 - 编译时计算使得 C++编译器必然更加复杂，而且编译速度也必然更慢，因为编译器在编译期间需要进行计算，参见例如：
constexpr int factorial(int n) {
return n <= 1 ? 1 : (n * factorial(n - 1));
}
int main(void) {
static_assert(factorial(10) == 3628800, "factorial 10 was correct");
static_assert(factorial(3) == 42, "factorial 3 was 42");
}
由于后者的static_assert，必须在编译时无法通过编译，而前者可以。
C语言编译器不需要如此复杂，因为C语言编译器在编译时没有计算递归函数值的要求。一个简单的C语言编译器可以将每个语句分别汇编成机器代码，而无需记住先前的语句做了什么。C标准当然不要求编译器在编译时能够评估递归函数。
但这并不是说没有C语言编译器会在编译时这样做。看这个例子：
#include <stdio.h>
int factorial(int n) {
return n <= 1 ? 1 : (n * factorial(n - 1));
}
int main(void) {
printf("%d\n", factorial(10));
}
使用GCC 10.2编译成C语言程序，使用-O3优化参数，并由于as-if规则的帮助，该程序得以优化。
factorial:
mov eax, 1
cmp edi, 1
jle .L4
.L3:
mov edx, edi
sub edi, 1
imul eax, edx
cmp edi, 1
jne .L3
ret
.L4:
ret
.LC0:
.string "%d\n"
main:
sub rsp, 8
mov esi, 3628800
mov edi, OFFSET FLAT:.LC0
xor eax, eax
call printf
xor eax, eax
add rsp, 8
ret
更直接对应于哪个
unsigned factorial(unsigned n) {
unsigned i = 1;
while (n > 1) {
i *= n;
n --;
}
return i;
}
int main(void) {
printf("%d\n", 3628800);
}
while循环，还计算了常量的阶乘，而且全部都没有使用任何特殊的关键字。constexpr进行编译时计算。然而，C语言本身并不保证以任何形式支持此功能。因此，正如您所展示的，一些C编译器将具有高度优化的此功能，而另一些则没有。但是对于C++来说，这是一个保证。 - thatmarkdude编译时计算是否可以被认为是C++相对于C的一个关键优势？
请参考维基百科上的构建自动化页面。
注意，许多软件项目（包括github或gitlab上的许多开源项目）从更抽象的东西（例如使用软件工具）生成C（甚至是C ++）代码。一个典型的例子显然是解析器生成器（又称编译器编译器），如GNU bison或ANTLR。另一个例子是像rpcgen或SWIG这样的粘合代码生成器。而GNU autoconf则适应于计算机上可用的软件包。请注意，Chicken-Scheme和Bigoo都将C代码从Scheme源代码生成。当然还有this。在某些情况下，从微小的输入产生大量的C文件（也可以参见XBM格式）。Maple能够生成大量的C文件，在某些情况下生成大量的C代码-例如50万行-是有意义的（如Pitrat的书《人工存在：有意识机器的良知》中所解释的那样）以及博客。
-flto 标志，用于 链接时优化；您实际上需要使用 gcc -Wall -O2 -flto 编译并进行链接），并且需要一些编译器在“链接时间”上的支持。*.c或*.cc文件 - 必须编译然后链接）。如果你想要看一个生成C代码的C程序的例子，可以查看我为Linux编写的manydl.c代码，或者我的Bismon程序，该程序在this draft报告中有所描述。过去版本的已废弃的GCC MELT项目确实生成了一百万行的C或C++代码。manydl.c能够在几天内生成并编译C代码，并且说明dlopen(3)可以被多次使用。如果你想要看一个在Linux上生成C++代码的C++软件的例子，可以查看我的RefPerSys项目。此外，还可以参考tunes.org网站上与元编程和生成C或C++代码相关的讨论。
例如，在笔记本电脑上为您的树莓派编译C ++代码，或为Arduino编译C代码，可能使用GCC。或者，在您的PC上编译远程top500超级计算机的代码。
我理解C++标准n3337并没有规定编译时计算（但我不敢说自己是C++专家）。 特别地，没有任何禁止你制作C++解释器（可以用C、C ++、Ocaml、Java等编码）。将这个想法视为一个有趣的编程练习（但在尝试之前请阅读Dragon book）。
我的观点是，一个学习C ++的学生班级可以被视为符合C ++标准规定的C ++实现。教授C ++的好方法是询问教室关于几个C ++程序的语义（链接1），并且可以用铅笔和纸或白板进行教学。我曾经以这种方式在巴黎第六大学教授过一门 操作语义学 课程。黑板是黑色的，我用各种颜色的粉笔。
constexpr或consteval并不意味着编译器不能在编译时进行计算，如果所有值都已知。使用关键字告诉编译器您的意图，以便编译器可以警告您是否犯了错误，以确保您的意图。 - t.nieseconstexpr的存在也不能保证编译时计算。 - rustyx