c++ decltype

返回值 decltype(表达式)

[返回值的类型是表达式参数的类型]

这个可也用来决定表达式的类型，就像Bjarne暗示的一样，如果我们需要去初始化某种类型的变量，auto是最简单的选择，但是如果我们所需的类型不是一个变量，例如返回值这时我们可也试一下decltype。

现在我们回看一些例子我们先前做过的，

---

[cpp] view plain copy

1. template < class U, class V>
2. void Somefunction(U u, V v)
3. {
4. result = u*v; //now what type would be the result???
5. decltype(uv) result = uv; //Hmm …. we got what we want
6. }

在下面的一个段落我将会让你熟悉这个观念用 auto 和 decltype 来声明模板函数的返回值，其类型依靠模板参数。

1. 如果这个表达式是个函数，decltype 给出的类型为函数返回值的类型。

---

[cpp] view plain copy

1. int add( int i, int j){ return i+j; }
2. decltype(add(5,6)) var = 5; //Here the type of var is return of add() - > which is int

2.如果表达式是一个左值类型，那么 decltype 给出的类型为表达式左值引用类型。

---

[cpp] view plain copy

1. struct M { double x; };
2. 3. double pi = 3.14;
3. const M* m = new M();
4. decltype( (m- >x) ) piRef = pi;
5. 7. // Note: Due to the inner bracets the inner statement is evaluated as expression,
6. // rather than member ‘x’ and as type of x is double and as this is lvale
7. // the return of declspec is double& and as ‘m’ is a const pointer
8. // the return is actually const double&.
9. // So the type of piRef is const double&

3.非常重要的标记一下， decltype 不会执行表达式而auto会 ，他仅仅推论一下表达式的类型。

---

[cpp] view plain copy

1. int foo(){}
2. decltype( foo() ) x; // x is an int and note that
3. // foo() is not actually called at runtime

跟踪返回类型：

这对 C++ 开发者来说是一个全新的特性，直到现在函数的返回类型必须放在函数名的前面。到了
C++11，我们也可以将函数返回值的类型放在函数声明后，当然仅需要用 auto 替代返回类型。现在我们想知道怎么做，让我们来寻找答案：

[cpp] view plain copy

1. template < class U, class V>
2. ??? Multiply(U u, V v) // how to specifiy the type of the return value
3. {
4. return u*v;
5. }

我们明显的不能像这样：

[cpp] view plain copy

1. template < class U, class V>
2. decltype(u*v) Multiply(U u, V v) // Because u & v are not defined before Multiply.
3. // What to do…what to do !!!
4. {
5. return u*v;
6. }

这种情况我们可也使用 auto 然后当我们使用 decltype(u*v) 作为返回值这个类型便知晓了.

这是不是很酷？

---

[cpp] view plain copy

1. template < class U, class V>
2. auto Multiply(U u, V v) -> decltype(u*v) // Note -> after the function bracet.
3. {
4. return u*v;
5. }
   6.