std::experimental::ranges::ConvertibleTo
来自 cppreference.cn
< cpp | experimental | ranges
| template< class From, class To > concept bool ConvertibleTo = |
(ranges TS) | |
概念 ConvertibleTo<From, To> 指定了 From 所指定的类型和值类别的表达式可以隐式和显式转换为类型 To，并且两种转换形式是等价的。
具体来说，仅当给定虚构函数 To test(From (&f)()) { return f(); } 和类型为 From () 的函数 f（使得表达式 f() 保持相等性，参见下文）时，ConvertibleTo<From, To> 才被满足：
- 或者
-
To既不是对象类型也不是对象引用类型，或者 - static_cast<To>(f()) 等于
test(f)，并且
-
- 以下之一为真
-
From不是对象引用类型，或者 -
From是非 const-qualified 类型的右值引用，并且在上述任一表达式之后，由 f() 引用的对象的最终状态是有效但未指定的；或者 - 由
f()引用的对象未被上述任一表达式修改。
-
ConvertibleTo<From, To> 和 std::is_convertible<From, To>::value 之间不需要存在任何从属关系。
[编辑] 相等性保持
如果一个表达式在给定相等输入时产生相等输出，则称其为保持相等性。
- 表达式的输入由其操作数组成。
- 表达式的输出由其结果以及被表达式修改的所有操作数（如果有的话）组成。
所有要求保持相等性的表达式还必须是稳定的：在没有显式介入修改输入对象的情况下，对具有相同输入对象的表达式的两次求值必须产生相等的输出。
除非另有说明，requires-expression 中使用的每个表达式都必须保持相等且稳定，并且表达式的评估只能修改其非常量操作数。常量操作数不得修改。
[编辑] 参见
| (C++11)(C++20) |
检查一个类型是否可以转换为另一个类型 (类模板) |
