能否让consteval函数针对特定参数值触发弃用警告？

现有如下consteval函数：

consteval int func(int n) {
    ...
}

需要实现：当传入特定参数值（例如参数小于5）时触发弃用警告，且不能修改函数签名（比如改成模板函数或枚举参数），仅针对特定参数值而非符号本身标记弃用。

期望效果：

constexpr int a = func(6); // ok，无警告
constexpr int b = func(4); // 触发deprecated警告

曾尝试两种方案但均不可行：

1. 模板特化方案（受API限制无法采用）：

template <int N> requires (N < 5)
[[deprecated]] consteval int funcT() {
    return 0;
}

template <int N> requires (N >= 5)
consteval int funcT() {
    return N;
}

constexpr int a = funcT<4>(); // deprecated
constexpr int b = funcT<6>(); // ok

2. 调用弃用函数方案（无论分支是否执行都会触发警告）：

[[deprecated]] constexpr void deprecatedFunctionToTriggerWarning() {}

consteval int func(int n) {
    if (n < 5) {
        deprecatedFunctionToTriggerWarning();
        return 0;
    }
    return n;
}

请问是否有可行的实现方式？

可以利用编译期分支配合带条件约束的弃用代码来实现，核心是让编译器仅在触发条件的分支中实例化带有[[deprecated]]属性的逻辑，具体有两种实现方式：

方式一：模板特化辅助函数 #

// 基础模板：带弃用属性，仅在N<5时被实例化
template<int N>
[[deprecated("参数值小于5已被弃用")]]
consteval void warn_if_deprecated() {}

// 约束特化：N>=5时无弃用属性
template<int N> requires (N >=5)
consteval void warn_if_deprecated() {}

consteval int func(int n) {
    // 编译期分支：仅n<5时实例化弃用的辅助函数
    if constexpr (n < 5) {
        warn_if_deprecated<n>();
    }
    // 原函数逻辑
    return n < 5 ? 0 : n;
}

方式二：带约束的重载辅助函数 #

// 约束重载1：n<5时触发弃用
consteval void warn_if_deprecated(auto n) requires (n <5) {
    [[deprecated("参数值小于5已被弃用")]] (void)0;
}

// 约束重载2：n>=5时无操作
consteval void warn_if_deprecated(auto n) requires (n >=5) {}

consteval int func(int n) {
    if constexpr (n <5) {
        warn_if_deprecated(n);
    }
    // 原函数逻辑
    return n <5 ? 0 : n;
}

原理说明 #

• consteval函数要求所有调用参数必须是编译期常量，因此if constexpr可以在编译期确定分支是否执行；
• 只有条件为真的分支会被实例化，带有[[deprecated]]属性的代码仅在n<5时被编译器处理，此时才会发出弃用警告；
• 完全保留原函数的签名，符合遗留API的限制。

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