C++返回类型后置

C++返回类型后置

[参考]http://blog.csdn.net/fjb2080/article/details/7527349/http://blog.csdn.net/zwvista/article/details/5472096/

decltype是C++0x所引入的用于提取表达式类型的新关键字，其语法形式为：decltype(expression) 。这种语法形式在C++0x草案中被称为decltype类型指示符。

根据C++0x最终草案，decltype(e)所提取的类型由以下规则决定： 
如果e是一个没有外层括弧的标识符表达式或者类成员访问表达式，那么decltype(e)就是e所命名的实体的类型。 
如果e是一个函数调用或者一个重载操作符调用（忽略e的外层括弧），那么decltype(e)就是该函数的返回类型。 
否则，假设e的类型是T：若e是一个左值，则decltype(e)就是T&；若e是一个右值，则decltype(e)就是T。 
比如， 
int a; 
int f(void); 
decltype(a) x1 = a; //相当于 int x1 = a;（规则1，e是标识符） 
decltype(f()) x2 = a; //相当于 int x2 = a;（规则2，e是函数调用） 
decltype((a)) x3 = a; //相当于 int& x3 = a;（规则3，e是左值） 
decltype(a+1) x4 = a; //相当于 int x4 = a;（规则3，e是右值）

注意：decltype(e)中的操作数e仅用于推导类型，编译器不会计算e的值。

C++11的解决办法是将返回类型放在它所属的函数名的后面：

template<class T, class U>
auto mul(T x, U y) -> decltype(x*y)
{
    return x*y;
}

复制去Google翻译 翻译结果

模板 < 类 T， 类 U>
自动 MUL （T X ，U Y） - > decltype （ X * Y ）
{      返回 X * Y ;
}