std::experimental::ranges::ConvertibleTo

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

技术规范

文件系统库 (文件系统 TS)

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

数学特殊函数 (特殊函数 TR)

 

范围

概念

通用工具

迭代器

范围

算法

 

概念库

核心语言概念
Same DerivedFrom ConvertibleTo	CommonReference Common	Integral SignedIntegral UnsignedIntegral	Assignable SwappableSwappableWith
对象概念
Destructible Constructible DefaultConstructible	MoveConstructible CopyConstructible	Movable Copyable	Semiregular Regular
比较概念
Boolean	WeaklyEqualityComparableWith	EqualityComparableEqualityComparableWith	StrictTotallyOrderedStrictTotallyOrderedWith
可调用概念
InvocableRegularInvocable	Predicate	Relation	StrictWeakOrder
URNG 概念
UniformRandomNumberGenerator

 

定义于头文件 <experimental/ranges/concepts>
template <class From, class To> concept bool ConvertibleTo =   std::is_convertible<From, To>::value &&   requires(From (&f)()) {     static_cast<To>(f());   };		(范围 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 为到非 const 限定的右值引用类型，且 f() 所引用对象的结果状态合法，但在任一上述表达式后未指定；或
  • f() 所指代的对象不为任一上述表达式所修改。

ConvertibleTo<From, To> 与 std::is_convertible<From, To>::value 间不必有任何蕴含关系。

相等性保持

若表达式对给定的相等输入产生相等输出，则它保持相等性。

• 表达式的输入由其运算数组成。
• 表达式的输出由其结果和表达式所修改的所有运算数（若存在）组成。

进一步要求每个要求保持相等性的表达式都稳定：这种表达式带相同输入对象的二次求值必须拥有相等的输出，而无任何对这些输入对象的显式中间修改。

除非另外提醒，每个用于 requires 表达式中的表达式都要求保持相等性且稳定，而表达式的求值必须只修改其非常运算数。必须不修改常运算数。

参阅

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

检查是否能转换一个类型为另一类型 (类模板)