如何实现仅对编译期求值参数禁用函数？

你想禁止函数/构造函数接受编译期求值的参数（字面量、constexpr表达式），同时保留运行时参数的正常处理，这个需求完全能做到，而且不需要像非类型模板参数那样改变调用方式。下面是针对你的严格整数类型场景的具体实现：

方案1：C++20+ 用std::is_constant_evaluated()精准控制 #

C++20引入的std::is_constant_evaluated()可以直接判断当前代码是否处于编译期求值上下文，利用它我们可以在编译期触发错误，运行时正常执行逻辑：

#include <type_traits>
#include <stdexcept>
#include <climits>

struct StrictInt {
    int value;

    explicit StrictInt(int val) {
        // 如果是编译期求值的参数，直接触发编译错误
        if (std::is_constant_evaluated()) {
            static_assert(false, "StrictInt 不允许使用编译期常量初始化！");
        }

        // 运行时窄化转换检查：仅当值在运行时可知时执行
        if (val > INT_MAX || val < INT_MIN) {
            throw std::invalid_argument("窄化转换会破坏语义，初始化失败！");
        }
        value = val;
    }
};

这个方案的优势是语义清晰，完全基于标准库，没有编译器依赖。当你尝试用constexpr int x = 10; StrictInt s(x);或者直接StrictInt s(5);时，编译器会触发static_assert的错误；而用运行时变量（比如int x = read_int(); StrictInt s(x);）则会正常进入运行时检查逻辑。

方案2：C++11+ 用SFINAE禁用编译期参数的重载 #

如果你需要兼容C11到C17的版本，可以结合SFINAE和编译器扩展（比如GCC/Clang的__builtin_constant_p）来实现类似效果：

#include <type_traits>
#include <stdexcept>
#include <climits>

struct StrictInt {
    int value;

    // 运行时版本：接受所有int参数
    explicit StrictInt(int val) {
        if (val > INT_MAX || val < INT_MIN) {
            throw std::invalid_argument("窄化转换会破坏语义，初始化失败！");
        }
        value = val;
    }

    // 编译期版本：匹配编译期常量参数并禁用
    template <typename T, typename = typename std::enable_if<
        __builtin_constant_p(std::declval<T>()) && std::is_same<T, int>::value
    >::type>
    explicit StrictInt(T val) = delete;
};

这里利用编译器内置函数判断参数是否为编译期常量，然后通过= delete禁用这个重载。注意不同编译器可能有不同的内置函数（比如MSVC使用__is_constant_expression），需要根据环境调整。

对比你提到的非类型模板参数方案 #

你说用非类型模板参数可以实现“只允许编译期参数”的反向效果，但会改变调用语法（比如StrictInt<5>）。而上面的两个方案都保持了原有的StrictInt(5)调用形式，只是在参数是编译期常量时直接阻止编译，完全符合你的需求——既不改变调用方式，又能精准区分编译/运行时参数的处理逻辑。

关于窄化转换的补充处理 #

针对你提到的“若源值仅在运行时可知，且窄化转换会破坏其语义”的规则，上面的代码已经把窄化检查放在了运行时分支里，只有当参数是运行时变量时才会执行这个检查，完美匹配你的错误处理规则。

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