Add demo for floating point as template parameter

- this feature is not yet supported by gcc10
mdj2812 · Jan 19, 2022 · fb1df21 · fb1df21
1 parent 7bc50c5
commit fb1df21
Show file tree

Hide file tree

Showing 7 changed files with 24 additions and 6 deletions.
diff --git a/cpp17/StringLiteralTemplate.cpp → cpp17/NonTypeTemplateParameter.cpp b/cpp17/StringLiteralTemplate.cpp → cpp17/NonTypeTemplateParameter.cpp
@@ -1,4 +1,4 @@
-#include "StringLiteralTemplate.hpp"
+#include "NonTypeTemplateParameter.hpp"
 
 #include <cstring>
 #include <iostream>

diff --git a/cpp17/StringLiteralTemplate.hpp → cpp17/NonTypeTemplateParameter.hpp b/cpp17/StringLiteralTemplate.hpp → cpp17/NonTypeTemplateParameter.hpp
diff --git a/cpp17/cpp17Demos.hpp b/cpp17/cpp17Demos.hpp
@@ -7,6 +7,6 @@
 #include "GenericLambda.hpp"
 #include "LambdaCapture.hpp"
 #include "RangeBasedLoop.hpp"
-#include "StringLiteralTemplate.hpp"
+#include "NonTypeTemplateParameter.hpp"
 #include "ThreeComp.hpp"
 #include "WithoutConstinitSpecifier.hpp"
diff --git a/cpp20/StringLiteralTemplate.cpp → cpp20/NonTypeTemplateParameter.cpp b/cpp20/StringLiteralTemplate.cpp → cpp20/NonTypeTemplateParameter.cpp
@@ -1,11 +1,28 @@
-#include "StringLiteralTemplate.hpp"
+#include "NonTypeTemplateParameter.hpp"
 
 #include <algorithm>
 #include <cstddef>
 #include <iostream>
 
 namespace cpp20
 {
+#if 0
+    template <float value>
+    struct X
+    {
+    }; // assume that this is ok
+
+    void function(X<1.0>) {}
+
+    void function(X<1.00000000001>) {} // is this a valid overload?
+
+    void floatingPointAsTemplateParameterDemo()
+    {
+        function(X<1.0000000000999999>());
+        // is it void function( X< 1.00000000001 > ) ?
+    }
+#endif
+
     /**
      * Literal class type that wraps a constant expression string.
      *

diff --git a/cpp20/StringLiteralTemplate.hpp → cpp20/NonTypeTemplateParameter.hpp b/cpp20/StringLiteralTemplate.hpp → cpp20/NonTypeTemplateParameter.hpp
@@ -2,5 +2,6 @@
 
 namespace cpp20
 {
+    void floatingPointAsTemplateParameterDemo();
     void stringLiteralAsTemplateParameterDemo();
 }
diff --git a/cpp20/cpp20Demos.hpp b/cpp20/cpp20Demos.hpp
@@ -6,7 +6,7 @@
 #include "DesignatedInitializer.hpp"
 #include "EmptyClass.hpp"
 #include "LambdaCapture.hpp"
+#include "NonTypeTemplateParameter.hpp"
 #include "RangeBasedLoop.hpp"
-#include "StringLiteralTemplate.hpp"
 #include "TemplateLambda.hpp"
 #include "ThreeWayComp.hpp"
diff --git a/main.cpp b/main.cpp
@@ -68,8 +68,8 @@ int main(int, char **)
     std::cout << "**********************************************\n\n";
 #endif
 
-    // string literal as template parameter
-    std::cout << "***** string literal as template parameter *****\n";
+    // Non-type template parameter
+    std::cout << "********* Non-type template parameter ********\n";
     cpp17::stringLiteralAsTemplateParameterDemo();
     cpp20::stringLiteralAsTemplateParameterDemo();
     std::cout << "**********************************************\n\n";