[問題] decltype疑問

[WangDaMing (王大明)]

開發平台(Platform): (Ex: Win10, Linux, ...) 
Linux

編譯器(Ex: GCC, clang, VC++...)+目標環境(跟開發平台不同的話需列出)
GCC


問題(Question)：

#include <iostream>

int main()
{
  int a;
  int *ptr = &a;
  int b[10] = {0};
  int &d = a;
  decltype(*ptr) c1 = a;//int &
  decltype(b[0]) c2 = a;//int &
  decltype(ptr)  c3 = &a; //int *
}

最近再看decltype,書上說c1,c2都是"int &"
雖然這是結果,可是其實我還是不是很懂,為何c1,c2不是"int"

有人能更好的解釋為何c1,c2不應該是int??
還是就是規定沒什麼好說?


感謝各位




--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 39.11.98.99 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1616859398.A.A25.html
※ 編輯: WangDaMing (39.11.98.99 臺灣), 03/27/2021 23:38:15
→ nh60211as: ptr的型別是int*，defrence之後變int&吧。b[0]同理
→ nh60211as: 錯字dereference
推 jcaosola: 漲姿勢
推 KanzakiHAria: 如果你想要得到int的話用auto
→ KanzakiHAria: decltype特色就是能導出reference型態
→ KanzakiHAria: 如果要強制指定成reference則用auto &
→ KanzakiHAria: 推薦看modern effective c++
推 g0010726: 簡單說 decltype(var) 跟 decltype (expr) 規則不同
→ g0010726: 詳細規則可以翻 cppreference
→ g0010726: 你的前兩個例子是屬於 expression, 這個狀況下
→ g0010726: lvalue expression會產生reference
→ g0010726: 第三個是 variable, 產生的type就是原本宣告的type