なぜrvalueの要素からのdecltype（auto）の型減算int vector is int＆？

Question

次のコードの結果は0100です（CLang、GNU ++ 14に準拠）。 funcはパラメータとしてrvalueベクトルを取るので、forward（c）[0]はintのconst参照であるため、decltype（auto）の型減算はconst int &になるはずです。結果を理解するのを手伝ってください。ありがとう！

template <typename T> 
decltype(auto) func(T&& c) 
{ 
    return forward<T>(c)[0]; 
} 

int main(int argc, const char * argv[]) 
{ 
    cout 
    << is_same< int, decltype(func(vector<int>{3}))>::value 
    << is_same< int&, decltype(func(vector<int>{3}))>::value 
    << is_same< const int, decltype(func(vector<int>{3}))>::value 
    << is_same< const int&, decltype(func(vector<int>{3}))>::value 
    << endl; 
    return 0; 
} 

出力：

0100 

Answer 1

c右辺値参照です。

[]は、constおよび非constオーバーロードを持ちます。タイプがvector<T,A>&&のベクトルを渡すと、選択されたオーバーロードはconstである。

[]（値またはrvalueを返す&&オーバーロードを持つことができます）が、既存のコードを破損する可能性があります。おそらくこれは少なくともstd2まで起こらず、stdの改訂を破ることができ、既存のコードを壊すことはありません。