std::experimental::ranges::ConvertibleTo

定义于头文件 `<experimental/ranges/concepts>`
template< class From, class To > concept bool ConvertibleTo = std::is_convertible<From, To>::value && requires(From (&f)()) { static_cast<To>(f()); };		(ranges TS)

概念 ConvertibleTo<From, To> 指定了由 From 指定的类型和值类别的表达式可以隐式和显式地转换为类型 To，并且两种形式的转换是等效的。

具体来说，只有在给定发明的函数 To test(From (&f)()) { return f(); } 和类型为 From () 的函数 f 使得表达式 f() 是相等性保持的（见下文）时，ConvertibleTo<From, To> 才满足，

以下条件之一为真
- From 不是对象引用类型，或者
- From 是对非 const 限定类型的右值引用，并且在上述任一表达式之后，由 f() 引用的对象的结果状态是有效的但不确定的；或者
- f() 引用的对象未被上述任一表达式修改。

在 ConvertibleTo<From, To> 和 std::is_convertible<From, To>::value 之间不需要有任何 subsumption 关系。

如果表达式在给定相等输入时产生相等输出，则该表达式是相等性保持的。

每个需要相等性保持的表达式还必须是稳定的：在没有任何显式干预修改这些输入对象的情况下，使用相同的输入对象对这样的表达式进行两次求值必须具有相等的输出。

除非另有说明，否则在 requires-expression 中使用的每个表达式都必须是相等性保持和稳定的，并且表达式的求值可能只会修改其非常量操作数。常量操作数不得修改。

(C++11)(C++20)

检查类型是否可以转换为另一种类型
(类模板) [编辑]

技术规范
文件系统库 (filesystem TS)
库基础 (library fundamentals TS)
库基础 2 (library fundamentals TS v2)
库基础 3 (library fundamentals TS v3)
并行性扩展 (parallelism TS)
并行性扩展 2 (parallelism TS v2)
并发性扩展 (concurrency TS)
并发性扩展 2 (concurrency TS v2)
概念 (concepts TS)
范围 (ranges TS)
反射 (reflection TS)
数学特殊函数 (special functions TR)
实验性 Non-TS
模式匹配
线性代数
std::execution
契约
2D图形