Merge pull request #2306 from guwirth/fix-2305

C++14: add type traits helper support

Author: guwirth

cxx-squid/src/main/java/org/sonar/cxx/parser/CxxGrammarImpl.java

@@ -2185,7 +2185,13 @@ private static void templates(LexerfulGrammarBuilder b) {
         b.sequence( // C++ (PEG: different order) todo one up
           typeConstraint,
           b.firstOf(
-            b.sequence(b.optional(IDENTIFIER), "=", typeId), // C++
+            b.sequence(
+              b.optional(IDENTIFIER), "=",
+              b.firstOf(
+                typeId, // C++
+                initializerClause // syntax sugar to handle type traits providing type name (e.g. std::enable_if_t<>=0)
+              )
+            ),
             b.sequence(b.optional("..."), b.optional(IDENTIFIER)) // C++ (PEG: different order)
           )
         )

cxx-squid/src/test/resources/parser/own/C++14/type-traits-helper.cc

@@ -0,0 +1,7 @@
+// C++14 type traits helper were added (issue #2305)
+
+// using types trait with/without helper with/without default value
+template <typename T, typename std::enable_if  <std::is_base_of<BaseT, T>::value, int>::type  = 0> class A {};
+template <typename T, typename std::enable_if  <std::is_base_of<BaseT, T>::value, int>::type>      class B {};
+template <typename T,          std::enable_if_t<std::is_base_of<BaseT, T>::value, int>        = 0> class C {};
+template <typename T,          std::enable_if_t<std::is_base_of<BaseT, T>::value, int>>            class D {};