Я пошел посмотреть, можно ли использовать auto в объявлении шаблона переменной.
template <typename T>
auto F = T{};
Хорошо, но как только вы попробуете это использовать, лязгните в кости.
int f = F<int>; // error: cannot initialize a variable of type 'int' with an lvalue of type 'auto'
auto f = F<int>; // Stacktrace
decltype(F<int>) f = F<int>; // StackFace
std::cout << std::is_same<int, decltype(F<int>)>::value; // false
std::cout << typeid(decltype(F<int>)).name(); // Stacktrace
std::cout << std::is_same<decltype(F<int>), decltype(F<int>)>::value; // true
Любая комбинация decltype(auto)
, auto
не работает, хотя он говорит, что auto
это значение.
int f = static_cast<int>(F<int>); // error: static_cast from 'auto' to 'int' is not allowed
Я никогда не видел, чтобы авто действовало таким образом. Это из-за переменных шаблонов или из-за того, как clang обрабатывает auto?
Это, кажется, решено в последней версии clang
; положить это в файл и вызывая
clang++ -std=c++1y test.cpp
не дает мне ошибок.
kevinushey@Kevin-MBP:~$ clang++ -v
clang version 3.5 (trunk 201469)
Target: x86_64-apple-darwin13.0.0
Thread model: posix
Других решений пока нет …