C++泛型编程06（默认模板实参）

当然，这里是对关于默认模板实参(Default Template Arguments)的内容进行了改进和优化后的叙述：

1.4 默认模板实参 (Default Template Arguments)

在C++中，可以为模板参数设置默认值，这些预设的值被称为默认模板实参。它们不仅适用于类模板，也可用于函数模板，极大地增强了代码的灵活性与复用性。

示例：灵活定义返回类型

考虑一个场景，需要根据不同的输入参数类型动态确定函数的返回类型。通过使用模板默认参数，我们可以简化这个过程，并提供一种自然的方式来处理不同类型间的转换。

方法一：使用条件运算符

#include <type_traits>template <typename T1, typename T2,typename RT = std::decay_t<decltype(true ? T1() : T2())>>
RT max(T1 a, T2 b) {return b < a ? a : b;
}

这段代码利用了条件运算符来推断两个参数类型的共同类型，并且通过std::decay_t确保返回类型不是引用类型。然而，这种方法要求T1和T2必须具有无参数构造函数，这在实际应用中可能并不总是可行的。

方法二：利用std::common_type

另一种更通用的方法是直接使用std::common_type特性来自动确定最合适的返回类型：

#include <type_traits>template <typename T1, typename T2,typename RT = std::common_type_t<T1, T2>>
RT max(T1 a, T2 b) {return b < a ? a : b;
}

这种方式不需要对象实例化，因此避免了对构造函数的需求，同时也能正确处理基本类型和用户自定义类型之间的转换。

注意点

虽然可以将返回类型作为第一个模板参数并尝试从后续参数中推断其类型，但这种做法通常会增加调用时的复杂度，因为需要明确指定多个模板参数。因此，在大多数情况下，让编译器根据传入的实际参数自动推断出最佳的返回类型是最简洁有效的解决方案。

综上所述，通过合理运用默认模板实参，不仅可以提升代码的可读性和维护性，还能有效应对复杂的类型推导问题。