Clang 自动变量模板错误

Question

我去看看你是否可以在变量模板声明中使用 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 的方式？

Answer 1

这似乎在最新版本的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