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

如何解决编译器如何生成在运行时知道参数的模板函数的正确版本？

我试图声明一个带有参数的模板类，其类型在运行时是明确的 并希望看到代码编译时不会，因为模板是在编译时实例化的，而这里的参数是在运行时定义的。但它编译并正常工作。

我有：

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'，所以它可以正常工作。

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