为什么clang-tidy会对constexpr函数中的assert抛出告警？

你的猜测完全正确。

C++14 允许 constexpr 函数内部包含分支、循环等更多逻辑，但原生 assert 是运行时检查宏，无法在编译期上下文生效，因此你当前使用的标准库/工具链大概率对 assert 做了 constexpr 适配：这类适配实现通常会将断言失败的提示字符串（字符串字面量属于 const char[] 数组类型）传入报错逻辑，过程中发生的数组隐式转指针操作就会触发 clang-tidy 的数组衰变告警，属于规则误报，和你的业务代码本身无关。

更优的规避/优化方案 #

• 方案一：升级到 C++20 标准，使用 std::is_constant_evaluated 做检查分支隔离
  这是最符合标准、无任何副作用的方案，将编译期和运行期检查逻辑完全拆分，不会触发任何 lint 告警：

  #include <type_traits>
  #include <cassert>
  #include <stdexcept>
  
  constexpr int f(int x){
    if (std::is_constant_evaluated()) {
      // 编译期检查逻辑，触发时直接抛出异常会导致编译失败
      if(x <= 0) throw std::invalid_argument("x must be greater than 0");
    } else {
      // 运行期使用原生 assert，无数组衰变问题
      assert(x > 0);
    }
    // 执行业务逻辑
  }
  

• 方案二：封装 C14 兼容的 constexpr 断言宏，统一屏蔽告警
  如果必须兼容 C14 标准，可以将 NOLINT 逻辑封装到自定义断言宏内部，避免逐行加注释的冗余：

  // 全局定义一次即可
  #define CONSTEXPR_ASSERT(cond) \
    do { \
      if (!(cond)) { \
        assert( #cond && "assertion failed" ); /* NOLINT(cppcoreguidelines-pro-bounds-array-to-pointer-decay,hicpp-no-array-decay) : allow constexpr assert string decay */ \
      } \
    } while(0)
  
  // 调用时直接使用宏即可
  constexpr int f(int x){
    CONSTEXPR_ASSERT(x > 0);
    // 执行业务逻辑
  }
  

• 方案三：项目级规则豁免
  如果项目内大量使用适配 constexpr 的 assert 实现，可以直接在 .clang-tidy 配置文件中为对应规则添加路径/文件级豁免，不需要修改业务代码。

你当前使用的逐行加 NOLINT 注释的方法本身是合规的，不会遗漏任何优化点，只是存在代码冗余的问题，可以根据项目的标准兼容要求选择上面的方案优化。

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