如何让C++ requires表达式恒失败？及requires工作原理解析

requires表达式的核心是依赖SFINAE（替换失败不是错误）机制，但它只处理和模板参数绑定的替换失败场景：

• 当你在requires块里写代码时，编译器会尝试用当前模板参数替换里面的依赖项。如果替换后代码合法，requires表达式返回true；如果替换后代码不合法（比如调用了类型不存在的成员函数），这属于替换失败，requires返回false，编译会继续往下走。
• 但如果代码里有不依赖模板参数的硬错误——比如直接写static_assert(false);、引用完全不存在的非模板符号，或者语法错误——编译器不会把这当成替换失败，而是直接抛出编译错误，整个编译流程直接终止。这就是你遇到的问题：不是表达式返回false，而是整个编译直接挂了。

要达到类似static_assert(false);的效果，不能直接在requires里写硬错误，得构造一个永远无法满足的约束，让编译器在尝试实例化模板/调用函数时，因为约束不满足而报错。常见两种方式：

1. 直接用requires (false)
   这是最简单的写法，直接把约束设为false，任何尝试实例化对应的模板或调用函数的行为都会触发编译错误：

template<typename T>
void forbidden_function() requires (false)
{
    // 永远无法被实例化
}

当你尝试调用forbidden_function<int>()时，编译器会明确报错说约束不满足。

2. 依赖模板参数的永远false条件
   如果需要和模板参数绑定，或者自定义错误信息，可以先定义一个永远返回false的模板，再在requires里引用它：

template<typename T>
struct AlwaysFalse : std::false_type {};

template<typename T>
void another_forbidden() requires requires {
    // 依赖模板参数T，确保是替换失败而非硬错误
    static_assert(AlwaysFalse<T>::value, "这个函数禁止被实例化");
}
{
}

这里的static_assert依赖于模板参数T，编译器检查requires条件时，会因为AlwaysFalse<T>::value恒为false而判定约束不满足，从而拒绝实例化，同时还能显示自定义的错误提示。

注意：绝对不要直接在requires块里写static_assert(false);，这属于不依赖模板参数的硬错误，会直接导致整个编译失败，而非仅约束不满足。

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