如何编写不依赖std::function的编译期范围检查模板函数？

当然可以！你的第一个思路其实完全没问题，之所以编译失败，核心原因是C++标准对非类型模板参数（NTP）的类型限制：在C++17及更早版本中，浮点类型（比如float）不能作为非类型模板参数使用。不过我们有几种办法可以实现类似的编译期范围检查逻辑，完全不需要依赖std::function和运行时生成的lambda。

方案1：C++20及以上版本——直接使用浮点非类型模板参数 #

C20放宽了非类型模板参数的限制，允许使用浮点类型作为模板参数，只要该参数是常量表达式。你可以直接修改最初的代码，在C20兼容的编译器下就能正常运行：

template<class T, T min, T max>
constexpr bool in_range(T val) {
    return (val >= min && val <= max);
}

// 编译期验证
static_assert(in_range<float, 0.0f, 1.0f>(0.5f), "范围检查失败");
static_assert(!in_range<float, 0.0f, 1.0f>(1.5f), "范围检查失败");

注意：浮点常量表达式可能存在精度问题，使用时要确保min和max的取值是编译器能准确解析的常量。

方案2：C++17及更早版本——用模板结构体包装范围参数 #

如果你的项目还不能升级到C++20，可以把范围的上下限打包到一个模板结构体中，间接实现编译期的范围固化：

template<class T, T Min, T Max>
struct Range {
    using value_type = T;
    static constexpr T min = Min;
    static constexpr T max = Max;
};

template<class RangeType>
constexpr bool in_range(typename RangeType::value_type val) {
    return (val >= RangeType::min && val <= RangeType::max);
}

// 使用方式：先定义范围类型，再调用检查函数
using UnitFloatRange = Range<float, 0.0f, 1.0f>;
static_assert(in_range<UnitFloatRange>(0.5f), "范围检查失败");

这种写法虽然多了一步定义范围类型的操作，但完全是编译期处理，没有任何运行时开销，也不需要依赖std::function。

方案3：更灵活的constexpr函数（C++17+） #

如果你不需要把范围作为模板参数“固化”，只是希望检查逻辑能在编译期执行，还可以直接写一个普通的constexpr函数，把上下限作为函数参数传入——只要调用时传入的是常量表达式，整个检查过程会在编译期完成：

template<class T>
constexpr bool in_range(T val, T min, T max) {
    return (val >= min && val <= max);
}

// 编译期验证
static_assert(in_range(0.5f, 0.0f, 1.0f), "范围检查失败");
static_assert(!in_range(1.5f, 0.0f, 1.0f), "范围检查失败");

这种方式更灵活，同一个函数可以处理任意范围的检查，同时保留编译期验证的能力，完全避开了std::function和运行时lambda。

内容的提问来源于stack exchange，提问作者dfreese