C++ åèæå
- C++11
- C++14
- C++17
- C++20
- C++ ç¼è¯å¨æ¯ææ åµè¡¨
- ç¬ç«ä¸å®¿ä¸»å®ç°
- C++ è¯è¨
- C++ å ³é®è¯
- é¢å¤çå¨
- C++ æ ååºå¤´æä»¶
- å ·åè¦æ±
- åè½ç¹æ§æµè¯ (C++20)
- å·¥å ·åº
- ç±»åæ¯æï¼åºæ¬ç±»åãRTTIãç±»åç¹æ§ï¼
- æ¦å¿µåº (C++20)
- é误å¤ç
- 卿å å管ç
- æ¥æåæ¶é´å·¥å ·
- å符串åº
- 容å¨åº
- è¿ä»£å¨åº
- std::begin, std::cbegin
- std::end, std::cend
- std::next
- std::reverse_iterator
- std::rbegin, std::crbegin
- std::indirectly_readable
- std::indirectly_writable
- std::weakly_incrementable
- std::prev
- std::move_iterator
- std::size, std::ssize
- std::empty
- std::data
- std::insert_iterator
- std::rend, std::crend
- std::incrementable
- std::input_or_output_iterator
- std::sentinel_for
- std::sized_sentinel_for, std::disable_sized_sentinel_for
- std::input_iterator
- std::output_iterator
- std::forward_iterator
- std::bidirectional_iterator
- std::random_access_iterator
- std::contiguous_iterator
- std::iterator_traits
- std::input_iterator_tag, std::output_iterator_tag, std::forward_iterator_tag, std::bidirectional_iterator_tag, std::random_access_iterator_tag, std::contiguous_iterator_tag
- std::iterator
- std::incrementable_traits
- std::indirectly_readable_traits
- std::iter_value_t, std::iter_reference_t, std::iter_difference_t, std::iter_rvalue_reference_t, std::iter_common_reference_t
- std::indirect_unary_invocable, std::indirectly_regular_unary_invocable
- std::indirect_unary_predicate
- std::indirect_binary_predicate
- std::indirect_equivalence_relation
- std::indirect_strict_weak_order
- std::indirectly_movable
- std::indirectly_movable_storable
- std::indirectly_copyable
- std::indirectly_copyable_storable
- std::indirectly_swappable
- std::indirectly_comparable
- std::permutable
- std::mergeable
- std::sortable
- std::indirect_result_t
- std::projected
- std::move_sentinel
- std::back_insert_iterator
- std::front_insert_iterator
- std::make_reverse_iterator
- std::make_move_iterator
- std::default_sentinel_t, std::default_sentinel
- std::unreachable_sentinel_t, std::unreachable_sentinel
- std::back_inserter
- std::front_inserter
- std::inserter
- std::istream_iterator
- std::ostream_iterator
- std::istreambuf_iterator
- std::ostreambuf_iterator
- std::advance
- std::distance
- 注é
- èå´åº (C++20)
- ç®æ³åº
- æ°å¼åº
- è¾å ¥/è¾åºåº
- æä»¶ç³»ç»åº
- æ¬å°ååº
- æ£å表达å¼åº
- ååæä½åº
- çº¿ç¨æ¯æåº
- å®éªæ§ C++ ç¹æ§
- æç¨çèµæº
- ç´¢å¼
- std 符å·ç´¢å¼
- åç¨æ¯æ (C++20)
- C++ å ³é®è¯
ä½ç½®ï¼é¦é¡µ > C++ åèæå >è¿ä»£å¨åº > std::indirectly_readable
std::indirectly_readable
concept __IndirectlyReadableImpl = // exposition only
requires(const In in) {
typename std::iter_value_t<In>;
typename std::iter_reference_t<In>;
typename std::iter_rvalue_reference_t<In>;
{ *in } -> std::same_as<std::iter_reference_t<In>>;
{ ranges::iter_move(in) } -> std::same_as<std::iter_rvalue_reference_t<In>>;
} &&
std::common_reference_with<
std::iter_reference_t<In>&&, std::iter_value_t<In>&
> &&
std::common_reference_with<
std::iter_reference_t<In>&&, std::iter_rvalue_reference_t<In>&&
> &&
std::common_reference_with<
std::iter_rvalue_reference_t<In>&&, const std::iter_value_t<In>&
concept indirectly_readable =
æ¦å¿µ indirectly_readable ç±éè¿åºç¨ operator* å¯è¯»çç±»åå®ç°ï¼ä¾å¦æéãæºè½æéåè¾å
¥è¿ä»£å¨ã
è¯ä¹è¦æ±
ç»å® I ç±»åå¼ i ï¼ä»
è¥è¢«è´å«çæææ¦å¿µåå¾å°å®ç°ä¸è¡¨è¾¾å¼ *i ä¿æç¸çæ§ï¼ I æå®ç° indirectly_readable ã
ç¸çæ§ä¿æ
è¥è¡¨è¾¾å¼å¯¹ç»å®çç¸çè¾å ¥äº§çç¸çè¾åºï¼åå®ä¿æç¸çæ§ã
- 表达å¼çè¾å ¥ç±å ¶æä½æ°ç»æã
- 表达å¼çè¾åºç±å ¶ç»æåè¡¨è¾¾å¼æä¿®æ¹çæææä½æ°ï¼è¥åå¨ï¼ç»æã
卿 åæ¦å¿µçè§èä¸ï¼æä½æ°å®ä¹ä¸ºä» å å«ä¸åå 容çæå¤§å表达å¼ï¼
- æ è¯è¡¨è¾¾å¼ï¼å
- 对 std::move ã std::forward ä¸ std::declval çè°ç¨ã
æ¯ä¸ªæä½æ°ç cv éå®ä¸å¼ç±»å«ï¼æ¯éè¿å设æ¯ä¸ªæ¨¡æ¿ç±»åå½¢å代表ä¸ä¸ª cv æ éå®çéæ°ç»å¯¹è±¡ç±»åç¡®å®çã
è¿ä¸æ¥è¦æ±æ¯ä¸ªè¦æ±ä¿æç¸çæ§ç表达å¼é½ç¨³å®ï¼è¿ç§è¡¨è¾¾å¼å¸¦ç¸åè¾å ¥å¯¹è±¡çäºæ¬¡æ±å¼å¿ é¡»æ¥æç¸ççè¾åºï¼èæ ä»»ä½å¯¹è¿äºè¾å ¥å¯¹è±¡çæ¾å¼ä¸é´ä¿®æ¹ã
é¤éå¦å¤æéï¼æ¯ä¸ªç¨äº requires 表达å¼ä¸ç表达å¼é½è¦æ±ä¿æç¸çæ§ä¸ç¨³å®ï¼è表达å¼çæ±å¼å¿ é¡»åªä¿®æ¹å ¶é常æä½æ°ãå¿ é¡»ä¸ä¿®æ¹å¸¸æä½æ°ã
