deploy: e6f439cb43ee51b13ed4d29ec84ac5450556b163

1 files changed, 34 insertions, 1 deletions

diff --git a/print.html b/print.html
index 5cc471f..e7afbf2 100644
--- a/print.html
+++ b/print.html
@@ -2437,6 +2437,8 @@ typename decltype(foo)::_;
 <h2 id="variadic-templates-parameter-pack"><a class="header" href="#variadic-templates-parameter-pack">Variadic templates (<a href="https://en.cppreference.com/w/cpp/language/parameter_pack">parameter pack</a>)</a></h2>
 <pre><code class="language-cpp">#include &lt;iostream&gt;
 
+// -- Example 1 - print template value arguments.
+
 // Base case with one parameter.
 template&lt;int P&gt;
 void show_int() {
@@ -2450,6 +2452,8 @@ void show_int() {
     show_int&lt;P1, Params...&gt;();
 }
 
+// -- Example 2 - print values of different types.
+
 // Base case with one parameter.
 template&lt;typename T&gt;
 void show(const T&amp; t) {
@@ -2468,7 +2472,36 @@ int main() {
     show(1, 1.0, &quot;foo&quot;, 'a');
 }
 </code></pre>
-<h2 id="sfinae-example-enable_if"><a class="header" href="#sfinae-example-enable_if"><a href="https://en.cppreference.com/w/cpp/language/sfinae">SFINAE</a> example (<a href="https://en.cppreference.com/w/cpp/types/enable_if">enable_if</a>)</a></h2>
+<h2 id="example-is_any_of-template-meta-function"><a class="header" href="#example-is_any_of-template-meta-function">Example: <code>is_any_of</code> template meta function</a></h2>
+<pre><code class="language-cpp">#include &lt;type_traits&gt;
+
+template&lt;typename T, typename... U&gt;
+struct any_of : std::false_type {};
+
+// Found our type T in the list of types U.
+template&lt;typename T, typename... U&gt;
+struct any_of&lt;T, T, U...&gt; : std::true_type {};
+
+// Pop off the first element in the list of types U,
+// since it didn't match our type T.
+template&lt;typename T, typename U0, typename... U&gt;
+struct any_of&lt;T, U0, U...&gt; : any_of&lt;T, U...&gt; {};
+
+// Convenience template variable to invoke meta function.
+template&lt;typename T, typename... U&gt;
+constexpr bool any_of_v = any_of&lt;T, U...&gt;::value;
+
+static_assert(any_of_v&lt;int, char, bool, int&gt;, &quot;&quot;);
+static_assert(!any_of_v&lt;int, char, bool, float&gt;, &quot;&quot;);
+</code></pre>
+<h2 id="example-sfinae-enable_if"><a class="header" href="#example-sfinae-enable_if">Example: <a href="https://en.cppreference.com/w/cpp/language/sfinae">SFINAE</a> (<a href="https://en.cppreference.com/w/cpp/types/enable_if">enable_if</a>)</a></h2>
+<p>Provide a single entry point <code>Invoke</code> to call some <code>Operations</code>.
+Use <code>enable_if</code> to enable/disable the template functions depending on the two
+available traits an operation can have:</p>
+<ul>
+<li>Operation returns a result</li>
+<li>Operation requires a context</li>
+</ul>
 <pre><code class="language-cpp">#include &lt;iostream&gt;
 #include &lt;type_traits&gt;