（没看过 C++ Primer）

1. int f() 这里不是已经写了 f 的返回值是 int 类型嘛，编译时当然可以分析出 f() 的类型是 int.
   decltype 的性质就和 sizeof 是类似的， sizeof(f()) 也是可以在编译时求值的。

「如果 decltype 的对象是一个表达式且是一个左值，则结果是它的引用类型」这只是一个规定，我也说不太清楚设计者的逻辑，但可以看一下维基百科的这个页面，上面有一些比较细致的讨论 http://zh.wikipedia.org/wiki/Decltype

1) 你说为什么编译器是如何获取到类型的，首先你要了解 声明 的本质是什么？

A  declaration  is a statement in a program that  communicates this 
information to the compiler .

• 摘自 Stanford 语义分析 - Types and Declarations

直白的说，你的 f() 在声明的那一刻，编译器就已经记住了你所声明的类型。你用 decltype 的时候，仅仅是直接用了这个结果而已。

这个问题，超出了 C++ Primer 的范畴，你需要学习编译原理。

2) 显然，你没搞清楚 int 与 int& 的差别。请回到 2.3.1 References 这一节。

A reference defines an alternative name for an object.
A reference must be initialized .

简单说， int& 是引用，引用是什么？别名。别名是什么？另一个名字。你必须先有一个对象，才能有另一个名字。所以，你可以写：

 int i;

但是你不可以写:

 int& ri; // error!!! a reference must be initialized.

回到你的问题。如果是 int ， decltype(*p) c; 不会报错；如果是 int& ，会报错。

所以强调。

@王子亭 提醒我题主可能是不清楚为何返回的是 int& , 这个可能看过书就比较清楚了，为了更清楚的描述题主的疑问，我将书上这部分代码在此补全：

 cpp


 int i = 42, *p = &i, &r = i;
decltype(r + 0) b; // ok
decltype(*p) c; // error: c is int& and must be initialized.

书上的解释：（抱歉，我只有英文版）

As we've seen, when we dereference a pointer, we get the object to which the pointer points . Moreover, we can assign to that object. Thus, the type deduced by decltype(*p) is int&, not plain int.

故， decltype(*p) <==> decltype(&i) , 你明白这个即可。

据我所知，如果你只看到此书的这个地方，应该还不了解左值和右值的。所以，尽量不要想太多。

若你非要打破沙锅问到底，如 @王子亭 所言，C++ 11 标准( draft N3690 )中是规定这个了的：

7.1.6.2/4
The type denoted by decltype(e) is defined as follows:

• if e is an unparenthesized id-expression or an unparenthesized class member access (5.2.5), decltype(e) is the type of the entity named by e. If there is no such entity, or if e names a set of overloaded functions, the program is ill-formed;
• otherwise, if e is an xvalue, decltype(e) is T&&, where T is the type of e;
• otherwise, if e is an lvalue, decltype(e) is T&, where T is the type of e ;
• otherwise, decltype(e) is the type of e.

The operand of the decltype specifier is an unevaluated operand (Clause 5).