表达式`requires { typename enable_if_t<fun_v<T>>; }`是否与`fun_v<T>`定义等价？

你对std::remove_const_t对应的requires子句的判断完全正确——它确实等价于requires true，因为std::remove_const_t对任何合法的模板参数T都能生成有效类型，不会触发SFINAE，所以这个requires约束不会过滤任何类型。

针对你提出的核心问题：对于任意元谓词fun_v<T>，requires { typename std::enable_if_t<fun_v<T>>; }是否与fun_v<T>定义等价？ 结论是：对于绝大多数常规元谓词（比如标准库中的_v系列类型特征），二者语义等价，但存在几个前提条件：

• 首先，std::enable_if_t<B>的行为是：当B为true时，它是一个合法的空类型别名；当B为false时，这个别名不存在，会触发SFINAE。而requires表达式中的typename X;属于类型要求，它检查的是X是否是一个合法的类型名。因此：

  • 若fun_v<T>为true，std::enable_if_t<fun_v<T>>是合法类型，requires表达式值为true；
  • 若fun_v<T>为false，std::enable_if_t<fun_v<T>>不存在，requires表达式值为false；
    这一逻辑和直接使用fun_v<T>作为requires条件完全一致。

• 但等价性的前提是：fun_v<T>必须是能在未求值上下文中安全计算的常量表达式，且std::enable_if_t<fun_v<T>>的有效性仅由fun_v<T>的布尔值决定。如果fun_v<T>本身在求值时会引发未定义行为，或者依赖于其他复杂的SFINAE上下文，那二者可能出现语义差异，但对于std::is_integral_v<T>这类标准元谓词，完全满足等价条件。

• 额外注意：使用std::enable_if_t需要确保包含<type_traits>头文件，而直接使用fun_v<T>可能不需要，但这属于编译依赖问题，不影响二者的语义等价性。

总结来说，对于常规的元谓词，你构造的requires表达式确实和fun_v<T>定义等价，本质是利用std::enable_if的SFINAE特性，把布尔判断转化为类型存在性检查，而requires表达式恰好能完成这种检查。

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