详解C++14中返回类型推导的使用.docx

第

详解C++14中返回类型推导的使用

使用C++14中的auto返回类型，编译器将尝试自动推导(deduce)返回类型:

namespace{

intxx=1;

autof(){returnxx;}//returntypeisint

constautof3(){returnxx;}//returntypeisconstint

automultiply(inta,intb){return(a*b);}

autoincrease(inta){a++;returna;}

}//namespace

inttest_auto_14_1()

inta=4,b=5;

autov1=multiply(a,b);

std::coutv1:v1\n;//v1:20

autov2=increase(a);

std::coutv2:v2\n;//v2:5

v2=10;

std::couta:a\n;//a:10

return0;

}

在C++14中使用lambda，可以使用auto推导其返回类型，这使得返回推导引用或右值引用成为可能:

namespace{

templatetypenameT

autof2(Tt){returnt;}

}//namespace

inttest_auto_14_2()

//returnsareferencetoadeducedtype

autog=[](autox)-auto{returnf2(x);};

inty=123;

intz=g(y);//referencetoy

std::coutz:z\n;//z:123

z=456;

std::couty:y\n;//y:456

return0;

}

decltype(auto)类型说明符(type-specifier)也像auto一样推导出一个类型。但是，它会在保留其引用和cv限定符(cv-qualifier)的同时推导返回类型，而auto则不会:

namespace{

decltype(auto)increase(inta){a++;returna;}

intxxx=123;

autof(constinti){returni;}//returntypeisint

static_assert(std::is_sameconstint,decltype(f(xxx))::value==0);

static_assert(std::is_sameint,decltype(f(xxx))::value==1);

decltype(auto)g(constinti){returni;}//returntypeisconstint

static_assert(std::is_sameconstint,decltype(g(xxx))::value==1);

intxx=1;

decltype(auto)f2(){returnxx;}//returntypeisint,sameasdecltype(x)

static_assert(std::is_sameint,decltype(f2())::value==1);

decltype(auto)f3(){return(xx);}//returntypeisint,sameasdecltype((x))

static_assert(std::is_sameint,decltype(f3())::value==1);

//constdecltype(auto)f4(constint){returnxx;}//constdecltype(auto)isanerror,decltype(auto)mustbeusedonitsown

//error:“decltype(auto)”不能与任何其他类型说明符组合

//autof5(boolflag){

//if(flag)return1;

//elsereturn1.0;//error:所有返回表达式必须推导为相同类型:以前为“int”

//class