We have observed a strange behaviour in the compilation of the follwing source code: template<template<class> class TT> struct X { }; template<class> struct Y { }; template<cl...

Can I use template aliases as template template parameters? template <template <typename...> class> struct foo {}; template <typename T> using simple_ptr = std::unique_ptr<T&...

I am writing some TMP-heavy code for g++ (version 4.8.1_1, Macports) and clang++ (version 3.3, Macports). While g++ rejects the following code listing with UNBRIDLED FURY, clang++ compiles it with ...

Info I am trying to use a template alias to improve the readabilty of my code. Ideally I would like to the alias to have a default argument such that if I leave out the template it uses the defaul...

Is this another case, where whitespace matters in C++, or is it a compiler bug? Is the following code syntactically correct? #include <type_traits> template <bool cond> using EnableIf...

In the case of a substitution failure involving a template alias (e.g. a template alias on a missing member typename, as in the code snippet below), should an error be triggered ? Clang and gcc s...

Let's say I have these template aliases: enum class enabler {}; template <typename T> using EnableIf = typename std::enable_if<T::value, enabler>::type; template <typename T> us...

Here's a simple example: class bar {}; template <typename> class foo {}; template <> using foo<int> = bar; Is this allowed?

In C++03, template parameter deduction does not occur in some contexts. For example: template <typename T> struct B {}; template <typename T> struct A { typedef B<T> type; }; ...