面试题：C++函数模板非类型参数与模板特化及编译器优化的综合考查
考虑以下C++代码：
```cpp
#include <iostream>
// 函数模板声明
template <typename T, int value>
T addValue(T num) {
return num + value;
}
// 模板特化声明
template <typename T>
T addValue<T, 0>(T num) {
return num;
}
int main() {
int result1 = addValue<int, 5>(10);
int result2 = addValue<int, 0>(10);
std::cout << "result1: " << result1 << std::endl;
std::cout << "result2: " << result2 << std::endl;
return 0;
}
```
1. 解释上述代码中模板特化的作用，以及它与函数模板非类型参数的关系。
2. 从编译器优化的角度分析，在使用函数模板非类型参数时，编译器可能会进行哪些优化，尤其是针对不同非类型参数值的模板实例化。
3. 如果我们有大量不同非类型参数值的函数模板实例化需求，如何在保证代码可读性和可维护性的同时，尽量减少编译时间和可执行文件大小？请详细阐述策略和可能涉及的技术手段。
