对constexpr lambda的默认模板参数使用enable_if

对于constexpr lambda的默认模板参数使用enable_if，constexpr是C++11引入的关键字，用于声明可以在编译时求值的表达式。lambda函数是C++11引入的一种匿名函数形式，可以在函数内部定义函数。

而在C++17中，我们可以使用if constexpr语句来在编译时决定是否编译某段代码。通过在lambda函数的默认模板参数上使用std::enable_if来实现在编译时进行条件判断。

std::enable_if是一个模板元函数，用于在编译时根据给定的条件来选择特定的实现。如果给定条件为true，则std::enable_if的模板参数将被解释为有效的类型，否则将导致编译错误。

下面是使用constexpr lambda的默认模板参数使用enable_if的示例代码：

#include <iostream>
#include <type_traits>

template<typename T>
auto constexpr_lambda = [](T t) {
    if constexpr (std::is_integral<T>::value) {
        return t + 1;
    } else {
        return t + 0.5;
    }
};

int main() {
    std::cout << constexpr_lambda<int>(3) << std::endl;    // 输出: 4
    std::cout << constexpr_lambda<double>(3.5) << std::endl;    // 输出: 3.5

    return 0;
}

在上面的示例代码中，constexpr_lambda是一个constexpr lambda函数对象，它接受一个类型为T的参数t。通过if constexpr语句，我们判断参数T是否是整型类型，如果是，则返回t + 1；否则，返回t + 0.5。在main函数中，我们分别对整型和浮点型参数调用constexpr_lambda函数，并输出结果。

这个特性的应用场景包括但不限于：