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