test04.cpp

chronolaw · chronolaw · commit 8d29d561c59c · 2020-02-15T16:31:23.000+08:00
diff --git a/section1/test04.cpp b/section1/test04.cpp
@@ -9,12 +9,13 @@
 
 #include <iostream>
 #include <stdexcept>
+#include <type_traits>
 
 //[[deprecated("deadline:2020-12-31")]]      // c+14 or later
 [[gnu::deprecated]] // c+11 or later
 int old_func()
 {
-    [[gnu::deprecated("I hate this")]]
+    //[[gnu::deprecated("I hate this")]]
     int value = 0;
 
     return value;
@@ -64,11 +65,35 @@ void case3()
     cout << "case3" << endl;
 }
 
+void case4()
+{
+    static_assert(sizeof(long) >= 8, "must run on x64");
+}
+
+template<typename T>
+void check_type(T v)
+{
+    using namespace std;
+
+    static_assert(is_integral<T>::value, "int");
+    //static_assert(is_pointer<T>::value, "ptr");
+    //static_assert(is_default_constructible<T>::value, "is_default_constructible");
+
+    cout << "static_assert : " << typeid(v).name() << endl;
+
+    cout << is_void<void>::value << endl;
+}
+
 int main()
 {
     old_func();
     get_num();
 
     case2();
     case3();
+
+    case4();
+
+    check_type(10);
+    //check_type((void*)0);
 }
