Блог

Я пытаюсь заставить псевдонимы шаблонов работать с clang, но это не работает, хотя в справочном листе указано, что это так

 ~~~~>$ cat template_alias.cpp 
#include <vector>

using namespace std;

template<typename T>
using DoubleVec = vector<vector<T>>;

int main() { return 0; }

~~~~>$ clang template_alias.cpp -o template_alias

template_alias.cpp:6:19: warning: alias declarations accepted as a C  0x extension [-Wc  0x-extensions]
using DoubleVec = vector<vector<T>>;
                  ^
template_alias.cpp:6:34: error: a space is required between consecutive right angle brackets (use '> >')
using DoubleVec = vector<vector<T>>;
                                 ^~
                                 > >
template_alias.cpp:6:1: error: cannot template a using declaration
using DoubleVec = vector<vector<T>>;
^
1 warning and 2 errors generated.

~~~~>$ clang -std=c  0x template_alias.cpp -o template_alias

template_alias.cpp:6:1: error: cannot template a using declaration
using DoubleVec = vector<vector<T>>;
^
1 error generated.
  

Я делаю это неправильно?

Ваша вторая команда (с -std=c 0x) верна, как и ваш тестовый пример. Возможно, вы используете версию clang, предшествующую поддержке псевдонимов шаблонов. Вы можете проверить это, выполнив:

 #if __has_feature(cxx_alias_templates)
  

Вот полный список макросов для тестирования функций, которые использует clang:

http://clang.llvm.org/docs/LanguageExtensions.html#checking_upcoming_features

Вот один, несколько неприятный, способ справиться с переходным периодом между поддержкой псевдонимов шаблонов и нет:

 #include <vector>

using namespace std;

#if __has_feature(cxx_alias_templates)

template<typename T>
using DoubleVec = vector<vector<T>>;

#else

template<typename T>
struct DoubleVec {
    typedef vector<vector<T> > type;
};

#endif

int main()
{
#if __has_feature(cxx_alias_templates)
    DoubleVec<int> v;
#else
    DoubleVec<int>::type v;
#endif
}