可选参数"必须是编译时常量"

"必须是编译时常量"是编译器中一个重要的概念。在编译代码时，编译器需要将源代码转换为可执行的机器代码，这个过程需要将源代码编译成二进制文件。编译时常量是指那些在编译过程中被确定，不会在运行时改变的量。这些常量通常在编译时被插入到代码中，并被编译器优化，以减少代码运行时的开销。

在编程中，如果某些常量值在编译时常量确定后发生改变，那么就需要重新编译代码，以反映这些变化。这会增加代码的复杂性和编译时间，因此，在编程中，应尽可能减少更改编译时常量。

对于"必须是编译时常量"，不同的编程语言和编译器可能有着不同的实现和规则，但它们都是为了优化代码性能，减少运行时开销，提高程序的可维护性和可扩展性。