std::experimental::ranges::ConvertibleTo
来自 cppreference.com
< cpp | experimental | ranges
| template< class From, class To > concept bool ConvertibleTo = |
(范围 TS) | |
概念 ConvertibleTo<From, To> 指定了由 From 指定的类型和值类别的表达式可以隐式或显式转换为类型 To，并且两种转换形式是等效的。
具体来说，ConvertibleTo<From, To> 仅在以下情况下满足：给定发明的函数 To test(From (&f)()) { return f(); } 和类型为 From () 的函数 f，使得表达式 f() 保持相等（见下文），
- 要么
-
To既不是对象类型，也不是对对象类型的引用，或者 - static_cast<To>(f()) 等于
test(f)，并且
-
- 以下之一为真
-
From不是对对象类型的引用，或者 -
From是对非常量限定类型的右值引用，并且在上面的任一表达式之后，由 f() 引用的对象的状态有效但未指定；或者 - 由
f()引用的对象不会被上面的任一表达式修改。
-
ConvertibleTo<From, To> 和 std::is_convertible<From, To>::value 之间不必有任何包含关系。
[编辑] 保持相等
如果表达式在给定相等输入的情况下产生相等的输出，则该表达式是 *保持相等的*。
- 表达式的输入包括其操作数。
- 表达式的输出包括其结果和表达式修改的所有操作数（如果有的话）。
每个要求保持相等的表达式还要求是 *稳定的*：在没有对这些输入对象进行任何显式干预修改的情况下，对这样的表达式进行两次评估，使用相同的输入对象，必须具有相等的输出。
除非另有说明，否则在 *requires-表达式* 中使用的每个表达式都要求保持相等且稳定，并且表达式的评估只能修改其非常量操作数。常量操作数不得修改。
[编辑] 另请参阅
| (C++11)(C++20) |
检查类型是否可以转换为另一种类型 (类模板) |
