面试题：C++ 模板函数默认参数的深层次兼容性探讨

C++11之前：
- 在C++11之前，模板函数默认参数不能依赖于模板参数，除非在类模板的成员函数中。所以在普通的模板函数中像template<typename T> void templateFunc(T a, T b = T());这样的定义是不允许的。
C++11及之后：
- C++11引入了更宽松的规则，允许模板函数有依赖于模板参数的默认参数，就像给定的templateFunc函数一样。T()是对类型T的默认初始化。
- C++17：在C++17中，这种默认参数的行为保持一致，但C++17引入了一些新特性，如折叠表达式、if constexpr等，这些特性与模板默认参数并无直接的兼容性问题，但会影响模板函数整体的使用和实现。

明确类型：
- 在调用模板函数时，尽量明确指定模板参数类型，而不是依赖于编译器的类型推导。例如：
```
templateFunc<int>(1, 2);
```
- 这样可以减少因编译器类型推导差异导致的不一致。
使用特性检测：
- 通过std::enable_if等类型特性检测工具，确保模板函数在不同编译器和标准下的行为一致。例如：
```
#include <type_traits>
template<typename T, typename = std::enable_if_t<std::is_arithmetic<T>::value>>
void templateFunc(T a, T b = T()) {
    // 函数体
}
```
- 上述代码使用std::enable_if确保templateFunc仅对算术类型实例化，这样在不同标准和编译器下，对于非算术类型的实例化行为是一致的（即不会实例化）。
测试：
- 编写全面的单元测试，在不同的编译器（如GCC、Clang、MSVC等）和不同的C++标准设置下（如-std=c++11、-std=c++17等）运行测试，以验证模板函数默认参数的行为是否符合预期。

星途面试题库