c++ - 编译器如何生成正确版本的模板函数，其参数在运行时知道？

Question

我试图用参数声明一个模板类，哪些类型在运行时会被清除，并且想看看代码编译是否期望它不会，因为模板是在编译时实例化的，而这里的参数是在运行时定义的。但它编译并正常工作。

我有：

int main()
{
    int a;
    std::cin >> a;
    if (!a) {
        std::vector<int> v;
        v.push_back(a);
        std::cout << v[0] << std::endl;
    }
    else {
        std::vector<char> v;
        v.push_back(a);
        std::cout << v[0] << std::endl;
    }
    return 0;
}

如果输入为 67，它会打印“C”，因此它可以正常工作。

使用的向量成员是否在运行时实例化？如果不是，编译器如何实例化向量成员？