非类型引用参数可以在运行时修改,这是否意味着模板可以在运行时实例化?

不, All the standard requires is that the observable behavior be as if the templates were instantiated before the program started to run. .

输出的原因 5 是引用类型吗 auto &这里的意思是

• N 将与绑定 a 当被实例化时
• 实例化仍发生在 compile-time .

看看这个:

#include <iostream>
template<auto& N>
struct X{
    int operator()() { return N; }
};

int a;
int main()
{
    auto temp = X<a>();
    std::cout << "Compile-time: " << temp() << '\n'; //output 0
    std::cin >> a; //stdin: 5
    std::cout << "Run-time: " << temp() << '\n'; //output 5
}

live demo

感谢纪尧姆·拉西科特的评论,下面是错误的。

a初始化为 0 在 编译时间 修改时间 运行时间 . n 在里面 temp 从改变 零 ( 编译时间 到 五 ( 运行时间 )

更新:

在许多实现中, 一 存储在 bss 段,将被初始化为零,或者在源代码中没有显式初始化 crt0 在运行时。