mirror of
https://github.com/simdjson/simdjson
synced 2026-06-08 17:27:07 +00:00
lemire
213 lines
20 KiB
HTML
213 lines
20 KiB
HTML
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
<html xmlns="http://www.w3.org/1999/xhtml">
|
|
<head>
|
|
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
|
|
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
|
|
<meta name="generator" content="Doxygen 1.9.1"/>
|
|
<meta name="viewport" content="width=device-width, initial-scale=1"/>
|
|
<title>simdjson: include/simdjson/concepts.h Source File</title>
|
|
<link href="tabs.css" rel="stylesheet" type="text/css"/>
|
|
<script type="text/javascript" src="jquery.js"></script>
|
|
<script type="text/javascript" src="dynsections.js"></script>
|
|
<link href="navtree.css" rel="stylesheet" type="text/css"/>
|
|
<script type="text/javascript" src="resize.js"></script>
|
|
<script type="text/javascript" src="navtreedata.js"></script>
|
|
<script type="text/javascript" src="navtree.js"></script>
|
|
<link href="search/search.css" rel="stylesheet" type="text/css"/>
|
|
<script type="text/javascript" src="search/searchdata.js"></script>
|
|
<script type="text/javascript" src="search/search.js"></script>
|
|
<link href="doxygen.css" rel="stylesheet" type="text/css" />
|
|
<link href="doxygen-awesome.css" rel="stylesheet" type="text/css"/>
|
|
<link href="doxygen-awesome-sidebar-only.css" rel="stylesheet" type="text/css"/>
|
|
<link href="doxygen-awesome-sidebar-only-darkmode-toggle.css" rel="stylesheet" type="text/css"/>
|
|
</head>
|
|
<body>
|
|
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
|
|
<div id="titlearea">
|
|
<table cellspacing="0" cellpadding="0">
|
|
<tbody>
|
|
<tr style="height: 56px;">
|
|
<td id="projectlogo"><img alt="Logo" src="logotiny.png"/></td>
|
|
<td id="projectalign" style="padding-left: 0.5em;">
|
|
<div id="projectname">simdjson
|
|
 <span id="projectnumber">3.11.0</span>
|
|
</div>
|
|
<div id="projectbrief">Ridiculously Fast JSON</div>
|
|
</td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
</div>
|
|
<!-- end header part -->
|
|
<!-- Generated by Doxygen 1.9.1 -->
|
|
<script type="text/javascript">
|
|
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&dn=gpl-2.0.txt GPL-v2 */
|
|
var searchBox = new SearchBox("searchBox", "search",false,'Search','.html');
|
|
/* @license-end */
|
|
</script>
|
|
<script type="text/javascript" src="menudata.js"></script>
|
|
<script type="text/javascript" src="menu.js"></script>
|
|
<script type="text/javascript">
|
|
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&dn=gpl-2.0.txt GPL-v2 */
|
|
$(function() {
|
|
initMenu('',true,false,'search.php','Search');
|
|
$(document).ready(function() { init_search(); });
|
|
});
|
|
/* @license-end */</script>
|
|
<div id="main-nav"></div>
|
|
</div><!-- top -->
|
|
<div id="side-nav" class="ui-resizable side-nav-resizable">
|
|
<div id="nav-tree">
|
|
<div id="nav-tree-contents">
|
|
<div id="nav-sync" class="sync"></div>
|
|
</div>
|
|
</div>
|
|
<div id="splitbar" style="-moz-user-select:none;"
|
|
class="ui-resizable-handle">
|
|
</div>
|
|
</div>
|
|
<script type="text/javascript">
|
|
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&dn=gpl-2.0.txt GPL-v2 */
|
|
$(document).ready(function(){initNavTree('concepts_8h_source.html',''); initResizable(); });
|
|
/* @license-end */
|
|
</script>
|
|
<div id="doc-content">
|
|
<!-- window showing the filter options -->
|
|
<div id="MSearchSelectWindow"
|
|
onmouseover="return searchBox.OnSearchSelectShow()"
|
|
onmouseout="return searchBox.OnSearchSelectHide()"
|
|
onkeydown="return searchBox.OnSearchSelectKey(event)">
|
|
</div>
|
|
|
|
<!-- iframe showing the search results (closed by default) -->
|
|
<div id="MSearchResultsWindow">
|
|
<iframe src="javascript:void(0)" frameborder="0"
|
|
name="MSearchResults" id="MSearchResults">
|
|
</iframe>
|
|
</div>
|
|
|
|
<div class="header">
|
|
<div class="headertitle">
|
|
<div class="title">concepts.h</div> </div>
|
|
</div><!--header-->
|
|
<div class="contents">
|
|
<div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span> <span class="preprocessor">#ifndef SIMDJSON_CONCEPTS_H</span></div>
|
|
<div class="line"><a name="l00002"></a><span class="lineno"> 2</span> <span class="preprocessor">#define SIMDJSON_CONCEPTS_H</span></div>
|
|
<div class="line"><a name="l00003"></a><span class="lineno"> 3</span> <span class="preprocessor">#if SIMDJSON_SUPPORTS_DESERIALIZATION</span></div>
|
|
<div class="line"><a name="l00004"></a><span class="lineno"> 4</span>  </div>
|
|
<div class="line"><a name="l00005"></a><span class="lineno"> 5</span> <span class="preprocessor">#include <concepts></span></div>
|
|
<div class="line"><a name="l00006"></a><span class="lineno"> 6</span> <span class="preprocessor">#include <type_traits></span></div>
|
|
<div class="line"><a name="l00007"></a><span class="lineno"> 7</span>  </div>
|
|
<div class="line"><a name="l00008"></a><span class="lineno"> 8</span> <span class="keyword">namespace </span><a class="code" href="namespacesimdjson.html">simdjson</a> {</div>
|
|
<div class="line"><a name="l00009"></a><span class="lineno"> 9</span> <span class="keyword">namespace </span>concepts {</div>
|
|
<div class="line"><a name="l00010"></a><span class="lineno"> 10</span>  </div>
|
|
<div class="line"><a name="l00011"></a><span class="lineno"> 11</span> <span class="keyword">namespace </span>details {</div>
|
|
<div class="line"><a name="l00012"></a><span class="lineno"> 12</span> <span class="preprocessor">#define SIMDJSON_IMPL_CONCEPT(name, method) \</span></div>
|
|
<div class="line"><a name="l00013"></a><span class="lineno"> 13</span> <span class="preprocessor"> template <typename T> \</span></div>
|
|
<div class="line"><a name="l00014"></a><span class="lineno"> 14</span> <span class="preprocessor"> concept supports_##name = !std::is_const_v<T> && requires { \</span></div>
|
|
<div class="line"><a name="l00015"></a><span class="lineno"> 15</span> <span class="preprocessor"> typename std::remove_cvref_t<T>::value_type; \</span></div>
|
|
<div class="line"><a name="l00016"></a><span class="lineno"> 16</span> <span class="preprocessor"> requires requires(typename std::remove_cvref_t<T>::value_type &&val, \</span></div>
|
|
<div class="line"><a name="l00017"></a><span class="lineno"> 17</span> <span class="preprocessor"> T obj) { \</span></div>
|
|
<div class="line"><a name="l00018"></a><span class="lineno"> 18</span> <span class="preprocessor"> obj.method(std::move(val)); \</span></div>
|
|
<div class="line"><a name="l00019"></a><span class="lineno"> 19</span> <span class="preprocessor"> requires !requires { obj = std::move(val); }; \</span></div>
|
|
<div class="line"><a name="l00020"></a><span class="lineno"> 20</span> <span class="preprocessor"> }; \</span></div>
|
|
<div class="line"><a name="l00021"></a><span class="lineno"> 21</span> <span class="preprocessor"> };</span></div>
|
|
<div class="line"><a name="l00022"></a><span class="lineno"> 22</span>  </div>
|
|
<div class="line"><a name="l00023"></a><span class="lineno"> 23</span> SIMDJSON_IMPL_CONCEPT(emplace_back, emplace_back);</div>
|
|
<div class="line"><a name="l00024"></a><span class="lineno"> 24</span> SIMDJSON_IMPL_CONCEPT(emplace, emplace);</div>
|
|
<div class="line"><a name="l00025"></a><span class="lineno"> 25</span> SIMDJSON_IMPL_CONCEPT(push_back, push_back);</div>
|
|
<div class="line"><a name="l00026"></a><span class="lineno"> 26</span> SIMDJSON_IMPL_CONCEPT(add, add);</div>
|
|
<div class="line"><a name="l00027"></a><span class="lineno"> 27</span> SIMDJSON_IMPL_CONCEPT(push, push);</div>
|
|
<div class="line"><a name="l00028"></a><span class="lineno"> 28</span> SIMDJSON_IMPL_CONCEPT(append, append);</div>
|
|
<div class="line"><a name="l00029"></a><span class="lineno"> 29</span> SIMDJSON_IMPL_CONCEPT(insert, insert);</div>
|
|
<div class="line"><a name="l00030"></a><span class="lineno"> 30</span> SIMDJSON_IMPL_CONCEPT(op_append, <span class="keyword">operator</span>+=);</div>
|
|
<div class="line"><a name="l00031"></a><span class="lineno"> 31</span>  </div>
|
|
<div class="line"><a name="l00032"></a><span class="lineno"> 32</span> <span class="preprocessor">#undef SIMDJSON_IMPL_CONCEPT</span></div>
|
|
<div class="line"><a name="l00033"></a><span class="lineno"> 33</span> } <span class="comment">// namespace details</span></div>
|
|
<div class="line"><a name="l00034"></a><span class="lineno"> 34</span>  </div>
|
|
<div class="line"><a name="l00037"></a><span class="lineno"> 37</span> <span class="keyword">template</span> <<span class="keyword">typename</span> T></div>
|
|
<div class="line"><a name="l00038"></a><span class="lineno"> 38</span> concept appendable_containers =</div>
|
|
<div class="line"><a name="l00039"></a><span class="lineno"> 39</span>  details::supports_emplace_back<T> || details::supports_emplace<T> ||</div>
|
|
<div class="line"><a name="l00040"></a><span class="lineno"> 40</span>  details::supports_push_back<T> || details::supports_push<T> ||</div>
|
|
<div class="line"><a name="l00041"></a><span class="lineno"> 41</span>  details::supports_add<T> || details::supports_append<T> ||</div>
|
|
<div class="line"><a name="l00042"></a><span class="lineno"> 42</span>  details::supports_insert<T>;</div>
|
|
<div class="line"><a name="l00043"></a><span class="lineno"> 43</span>  </div>
|
|
<div class="line"><a name="l00045"></a><span class="lineno"> 45</span> <span class="keyword">template</span> <appendable_containers T, <span class="keyword">typename</span>... Args></div>
|
|
<div class="line"><a name="l00046"></a><span class="lineno"> 46</span> constexpr decltype(<span class="keyword">auto</span>) emplace_one(T &vec, Args &&...args) {</div>
|
|
<div class="line"><a name="l00047"></a><span class="lineno"> 47</span>  <span class="keywordflow">if</span> constexpr (details::supports_emplace_back<T>) {</div>
|
|
<div class="line"><a name="l00048"></a><span class="lineno"> 48</span>  <span class="keywordflow">return</span> vec.emplace_back(std::forward<Args>(args)...);</div>
|
|
<div class="line"><a name="l00049"></a><span class="lineno"> 49</span>  } <span class="keywordflow">else</span> <span class="keywordflow">if</span> constexpr (details::supports_emplace<T>) {</div>
|
|
<div class="line"><a name="l00050"></a><span class="lineno"> 50</span>  <span class="keywordflow">return</span> vec.emplace(std::forward<Args>(args)...);</div>
|
|
<div class="line"><a name="l00051"></a><span class="lineno"> 51</span>  } <span class="keywordflow">else</span> <span class="keywordflow">if</span> constexpr (details::supports_push_back<T>) {</div>
|
|
<div class="line"><a name="l00052"></a><span class="lineno"> 52</span>  <span class="keywordflow">return</span> vec.push_back(std::forward<Args>(args)...);</div>
|
|
<div class="line"><a name="l00053"></a><span class="lineno"> 53</span>  } <span class="keywordflow">else</span> <span class="keywordflow">if</span> constexpr (details::supports_push<T>) {</div>
|
|
<div class="line"><a name="l00054"></a><span class="lineno"> 54</span>  <span class="keywordflow">return</span> vec.push(std::forward<Args>(args)...);</div>
|
|
<div class="line"><a name="l00055"></a><span class="lineno"> 55</span>  } <span class="keywordflow">else</span> <span class="keywordflow">if</span> constexpr (details::supports_add<T>) {</div>
|
|
<div class="line"><a name="l00056"></a><span class="lineno"> 56</span>  <span class="keywordflow">return</span> vec.add(std::forward<Args>(args)...);</div>
|
|
<div class="line"><a name="l00057"></a><span class="lineno"> 57</span>  } <span class="keywordflow">else</span> <span class="keywordflow">if</span> constexpr (details::supports_append<T>) {</div>
|
|
<div class="line"><a name="l00058"></a><span class="lineno"> 58</span>  <span class="keywordflow">return</span> vec.append(std::forward<Args>(args)...);</div>
|
|
<div class="line"><a name="l00059"></a><span class="lineno"> 59</span>  } <span class="keywordflow">else</span> <span class="keywordflow">if</span> constexpr (details::supports_insert<T>) {</div>
|
|
<div class="line"><a name="l00060"></a><span class="lineno"> 60</span>  <span class="keywordflow">return</span> vec.insert(std::forward<Args>(args)...);</div>
|
|
<div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  } <span class="keywordflow">else</span> <span class="keywordflow">if</span> constexpr (details::supports_op_append<T> && <span class="keyword">sizeof</span>...(Args) == 1) {</div>
|
|
<div class="line"><a name="l00062"></a><span class="lineno"> 62</span>  <span class="keywordflow">return</span> vec.operator+=(std::forward<Args>(args)...);</div>
|
|
<div class="line"><a name="l00063"></a><span class="lineno"> 63</span>  } <span class="keywordflow">else</span> {</div>
|
|
<div class="line"><a name="l00064"></a><span class="lineno"> 64</span>  static_assert(!<span class="keyword">sizeof</span>(T *),</div>
|
|
<div class="line"><a name="l00065"></a><span class="lineno"> 65</span>  <span class="stringliteral">"We don't know how to add things to this container"</span>);</div>
|
|
<div class="line"><a name="l00066"></a><span class="lineno"> 66</span>  }</div>
|
|
<div class="line"><a name="l00067"></a><span class="lineno"> 67</span> }</div>
|
|
<div class="line"><a name="l00068"></a><span class="lineno"> 68</span>  </div>
|
|
<div class="line"><a name="l00072"></a><span class="lineno"> 72</span> <span class="keyword">template</span> <<span class="keyword">typename</span> T></div>
|
|
<div class="line"><a name="l00073"></a><span class="lineno"> 73</span> concept returns_reference = appendable_containers<T> && requires {</div>
|
|
<div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  <span class="keyword">typename</span> std::remove_cvref_t<T>::reference;</div>
|
|
<div class="line"><a name="l00075"></a><span class="lineno"> 75</span>  requires requires(<span class="keyword">typename</span> std::remove_cvref_t<T>::value_type &&val, T obj) {</div>
|
|
<div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  {</div>
|
|
<div class="line"><a name="l00077"></a><span class="lineno"> 77</span>  emplace_one(obj, std::move(val))</div>
|
|
<div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  } -> std::same_as<typename std::remove_cvref_t<T>::reference>;</div>
|
|
<div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  };</div>
|
|
<div class="line"><a name="l00080"></a><span class="lineno"> 80</span> };</div>
|
|
<div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  </div>
|
|
<div class="line"><a name="l00082"></a><span class="lineno"> 82</span> <span class="keyword">template</span> <<span class="keyword">typename</span> T></div>
|
|
<div class="line"><a name="l00083"></a><span class="lineno"> 83</span> concept smart_pointer = requires(std::remove_cvref_t<T> ptr) {</div>
|
|
<div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  <span class="comment">// Check if T has a member type named element_type</span></div>
|
|
<div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  <span class="keyword">typename</span> std::remove_cvref_t<T>::element_type;</div>
|
|
<div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  </div>
|
|
<div class="line"><a name="l00087"></a><span class="lineno"> 87</span>  <span class="comment">// Check if T has a get() member function</span></div>
|
|
<div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  {</div>
|
|
<div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  ptr.get()</div>
|
|
<div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  } -> std::same_as<typename std::remove_cvref_t<T>::element_type *>;</div>
|
|
<div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  </div>
|
|
<div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  <span class="comment">// Check if T can be dereferenced</span></div>
|
|
<div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  { *ptr } -> std::same_as<typename std::remove_cvref_t<T>::element_type &>;</div>
|
|
<div class="line"><a name="l00094"></a><span class="lineno"> 94</span> };</div>
|
|
<div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  </div>
|
|
<div class="line"><a name="l00096"></a><span class="lineno"> 96</span> <span class="keyword">template</span> <<span class="keyword">typename</span> T></div>
|
|
<div class="line"><a name="l00097"></a><span class="lineno"> 97</span> concept optional_type = requires(std::remove_cvref_t<T> obj) {</div>
|
|
<div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  <span class="keyword">typename</span> std::remove_cvref_t<T>::value_type;</div>
|
|
<div class="line"><a name="l00099"></a><span class="lineno"> 99</span>  { obj.value() } -> std::same_as<typename std::remove_cvref_t<T>::value_type&>;</div>
|
|
<div class="line"><a name="l00100"></a><span class="lineno"> 100</span>  requires requires(<span class="keyword">typename</span> std::remove_cvref_t<T>::value_type &&val) {</div>
|
|
<div class="line"><a name="l00101"></a><span class="lineno"> 101</span>  obj.emplace(std::move(val));</div>
|
|
<div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  obj = std::move(val);</div>
|
|
<div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  {</div>
|
|
<div class="line"><a name="l00104"></a><span class="lineno"> 104</span>  obj.value_or(val)</div>
|
|
<div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  } -> std::convertible_to<typename std::remove_cvref_t<T>::value_type>;</div>
|
|
<div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  };</div>
|
|
<div class="line"><a name="l00107"></a><span class="lineno"> 107</span>  { <span class="keyword">static_cast<</span><span class="keywordtype">bool</span><span class="keyword">></span>(obj) } -> std::same_as<bool>; <span class="comment">// convertible to bool</span></div>
|
|
<div class="line"><a name="l00108"></a><span class="lineno"> 108</span> };</div>
|
|
<div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  </div>
|
|
<div class="line"><a name="l00110"></a><span class="lineno"> 110</span> } <span class="comment">// namespace concepts</span></div>
|
|
<div class="line"><a name="l00111"></a><span class="lineno"> 111</span> } <span class="comment">// namespace simdjson</span></div>
|
|
<div class="line"><a name="l00112"></a><span class="lineno"> 112</span> <span class="preprocessor">#endif </span><span class="comment">// SIMDJSON_SUPPORTS_DESERIALIZATION</span></div>
|
|
<div class="line"><a name="l00113"></a><span class="lineno"> 113</span> <span class="preprocessor">#endif </span><span class="comment">// SIMDJSON_CONCEPTS_H</span></div>
|
|
<div class="ttc" id="anamespacesimdjson_html"><div class="ttname"><a href="namespacesimdjson.html">simdjson</a></div><div class="ttdoc">The top level simdjson namespace, containing everything the library provides.</div><div class="ttdef"><b>Definition:</b> <a href="arm64_2base_8h_source.html#l00008">base.h:8</a></div></div>
|
|
</div><!-- fragment --></div><!-- contents -->
|
|
</div><!-- doc-content -->
|
|
<!-- start footer part -->
|
|
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
|
|
<ul>
|
|
<li class="navelem"><a class="el" href="dir_d44c64559bbebec7f509842c48db8b23.html">include</a></li><li class="navelem"><a class="el" href="dir_49a0b2767ded4a45005c5d6720a18cd1.html">simdjson</a></li><li class="navelem"><b>concepts.h</b></li>
|
|
<li class="footer">Generated by <a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.1 </li>
|
|
</ul>
|
|
</div>
|
|
</body>
|
|
</html>
|