std::experimental::ranges::ConvertibleTo
來自 cppreference.com
< cpp | experimental | ranges
| 定義於標頭檔案 <experimental/ranges/concepts> |
||
| 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) |
檢查一個型別是否可以轉換為另一個型別 (類模板) |
