4

変数テンプレートの宣言で 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を扱う方法のためですか?

4

1 に答える 1

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
于 2014-02-16T00:19:26.263 に答える