命名空间
变体
操作

std::experimental::ranges::CommonReference

来自 cppreference.cn
< cpp‎ | experimental‎ | ranges
 
 
实验性
技术规范
文件系统库 (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)
实验性非TS
模式匹配
线性代数
std::execution
契约
2D图形
 
 
概念库
核心语言概念
CommonReference
                              
对象概念
                              
                              
比较概念
可调用概念
                                        
                              
URNG concept
 
template< class T, class U >

concept bool CommonReference =
    Same<ranges::common_reference_t<T, U>, ranges::common_reference_t<U, T>> &&
    ConvertibleTo<T, ranges::common_reference_t<T, U>> &&

    ConvertibleTo<U, ranges::common_reference_t<T, U>>;
(ranges TS)

概念 CommonReference<T, U> 规定了两种类型 TU 共享一个共同引用类型 (由 ranges::common_reference_t 计算得出),它们都可以转换为该类型。

只有当给定表达式 tu,使得 decltype((t))Tdecltype((u))U 时,CommonReference<T, U> 才满足:

换句话说,转换为共同引用类型不得改变原始表达式的保等属性。

[编辑] 保等性

如果一个表达式在给定相等输入时产生相等输出,则该表达式是保等的。

  • 表达式的输入由其操作数组成。
  • 表达式的输出由其结果和表达式修改的所有操作数(如果有)组成。

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

[编辑] 参见

确定一组类型的共同引用类型
(类模板) [编辑]
规定两种类型共享一个共同类型
(概念) [编辑]
确定一组类型的共同类型
(类模板) [编辑]