关于C++标准SFINAE友好标记及STL相关组件的技术问询

C++17标准里的[temp.deduct]条款是SFINAE的核心基础之一；另外有一套特殊措辞的模板仅在6个STL组件中出现：std::tuple_size<cv-qualified T>、std::is_swappable_with<>、std::is_assignable<>、std::is_constructible<>、std::is_convertible<>和std::invoke_result<>。针对相关问题，解答如下：

问题1：该措辞是否是C++标准标记特性为SFINAE友好的方式？ #

是的，这套措辞就是标准官方用来明确标记这些模板为SFINAE友好的方式。标准通过这类措辞规定：在模板参数推导过程中，若相关未求值表达式不合法时，不会触发编译硬错误，而是直接排除该模板重载（即触发SFINAE）。比如std::is_constructible的措辞会明确说明，当对应的构造表达式在未求值语境下无效时，该模板的value成员不会存在，从而让推导失败时进入SFINAE流程而非编译错误。

问题2：这6个案例是否是STL中仅有的SFINAE友好场景？ #

当然不是。STL里还有大量其他SFINAE友好的组件和特性：

• 所有基于std::enable_if的用法本质都是SFINAE友好的，比如很多算法的重载会用它筛选可用的迭代器类型
• std::iterator_traits的特化逻辑，当传入非迭代器类型时，缺失某些成员会触发SFINAE而非硬错误
• C++20引入的概念（Concepts）本质是SFINAE的扩展，STL里大量使用概念约束模板参数，这也是SFINAE友好的场景
• 像std::declval这类配合未求值表达式的模板元编程工具，也完全依赖SFINAE工作

这6个只是标准中用统一特定措辞明确标注的典型案例，绝非全部SFINAE友好场景。

问题3：std::tuple_size的相关DR中添加了额外措辞：“若表达式TS::value作为未求值操作数是良构的[...]，否则无value成员”，为何添加该内容？若省略，因std::tuple_size<>无X类型特化，std::tuple_size::value不存在，是否仍能触发SFINAE？该措辞与SFINAE是无关还是实现兼容的必要部分？ #

为何添加该措辞？ #

这个DR的核心目的是明确标准语义，消除实现歧义。早期标准对std::tuple_size的泛化版本（未特化版本）没有明确说明是否包含value成员，不同编译器的实现存在差异：有些编译器的泛化版本会声明value但故意让它在实例化时出错，有些则直接不提供value成员。这套措辞统一了行为：只有当TS::value在未求值语境下合法时，std::tuple_size<cv-qualified T>才拥有value成员，否则完全没有。

省略该措辞能否触发SFINAE？ #

如果省略，当std::tuple_size<X>没有特化时，泛化版本的行为不明确：

• 若泛化版本根本没有value成员，访问std::tuple_size<X>::value属于未定义的名称查找失败，这种情况在模板推导阶段会触发SFINAE
• 但如果某个实现的泛化版本声明了value，但实例化时会产生硬错误（比如typedef void value;或其他非法定义），此时访问value会导致实例化错误，这不属于SFINAE的适用范围（SFINAE仅覆盖模板推导阶段的错误，不涉及实例化阶段）

因此省略措辞会导致不同编译器出现不一致的行为，无法保证跨编译器的SFINAE一致性。

该措辞与SFINAE的关系？ #

它是实现兼容的必要部分，同时直接影响SFINAE的有效性。通过明确泛化版本的行为，确保所有编译器在处理std::tuple_size<X>::value时，要么正常存在，要么完全不存在，从而让模板推导阶段的名称查找失败能够稳定触发SFINAE，避免不同实现出现不一致的硬错误或SFINAE行为。

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