C++如何通过变量名获取对应类型的最大值并解决冗余判断警告？

1. 条件逻辑的编译期自动裁剪方案 #

存在可行实现，核心思路是利用编译期常量判断直接丢弃无效分支，同时保留未来修改MaxValue后的校验能力：

C++17及以上版本（最简洁） #

使用if constexpr编译期分支语句，配合decltype自动推导MaxValue的类型，完全不需要手动硬编码类型：

#include <type_traits>
#include <limits>

int some_function(uint16 n) {
    using ValueType = std::decay_t<decltype(MaxValue)>;
    // 编译期判断MaxValue是否小于类型上限
    if constexpr (MaxValue < std::numeric_limits<ValueType>::max()) {
        // 只有MaxValue小于类型上限时，这段判断才会被编译进二进制
        if (n > MaxValue) {
            n = MaxValue;
        }
    }
    do_something(n);
    // 其余逻辑
}

当MaxValue等于类型上限时，整个if constexpr的分支会在编译期直接移除，不会生成任何冗余代码，也不会触发编译器的恒假判断警告；当MaxValue被修改为小于类型上限的值时，判断逻辑会自动生效。

C++11/14兼容版本 #

可以用SFINAE机制实现相同效果，写两个重载的函数版本，编译期会自动匹配符合条件的实现：

#include <type_traits>
#include <limits>

using ValueType = std::decay_t<decltype(MaxValue)>;

template <typename T = ValueType,
          typename std::enable_if<(MaxValue < std::numeric_limits<T>::max()), int>::type = 0>
int some_function(uint16 n) {
    if (n > MaxValue) {
        n = MaxValue;
    }
    do_something(n);
    // 其余逻辑
}

template <typename T = ValueType,
          typename std::enable_if<(MaxValue == std::numeric_limits<T>::max()), int>::type = 0>
int some_function(uint16 n) {
    do_something(n);
    // 其余逻辑
}

2. 无需显式指定类型获取类型最大值的可移植方案 #

标准库实现（推荐，全类型兼容） #

你提到的类似std::numeric_limits<MaxValue>的写法只要稍作调整即可，通过decltype自动获取变量的类型，完全不需要显式指定类型：

std::numeric_limits<std::decay_t<decltype(MaxValue)>>::max()

这个写法是100%可移植的，兼容所有符合C++标准的编译器，支持任意整数、浮点类型，不管MaxValue是否带static、const修饰都可以正确推导类型。

无<limits>头依赖的实现（仅适用于无符号类型） #

如果不想引入标准库的<limits>头，且MaxValue是无符号类型，可以用以下可移植写法：

~(std::decay_t<decltype(MaxValue)>)0

原理是C++标准规定无符号整数的按位取反结果为该类型的最大值，运算过程符合无符号数的模运算规则，不存在未定义行为。如果MaxValue可能为有符号类型，不推荐使用该写法，有符号数的溢出属于未定义行为。

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