返回值类型与函数类型不匹配_C++返回值类型后置（跟踪返回值类型）

在泛型编程中，可能需要通过参数的运算来得到返回值的类型。考虑下面这个场景：

template <typename R, typename T, typename U>R add(T t, U u){    return t+u;}int a = 1; float b = 2.0;auto c = add<decltype(a + b)>(a, b);

我们并不关心 a+b 的类型是什么，因此，只需要通过 decltype(a+b) 直接得到返回值类型即可。但是像上面这样使用十分不方便，因为外部其实并不知道参数之间应该如何运算，只有 add 函数才知道返回值应当如何推导。

那么，在 add 函数的定义上能不能直接通过 decltype 拿到返回值呢？

template <typename T, typename U>decltype(t + u) add(T t, U u)  // error: t、u尚未定义{    return t + u;}

当然，直接像上面这样写是编译不过的。因为 t、u 在参数列表中，而 C++ 的返回值是前置语法，在返回值定义的时候参数变量还不存在。

可行的写法如下：

template <typename T, typename U>decltype(T() + U()) add(T t, U u){    return t + u;}

考虑到 T、U 可能是没有无参构造函数的类，正确的写法应该是这样：

template <typename T, typename U>decltype((*(T*)0) + (*(U*)0)) add(T t, U u){    return t + u;}

虽然成功地使用 decltype 完成了返回值的推导，但写法过于晦涩，会大大增加 decltype 在返回值类型推导上的使用难度并降低代码的可读性。

因此，在 C++11 中增加了返回类型后置(trailing-return-type，又称跟踪返回类型)语法，将 decltype 和 auto 结合起来完成返回值类型的推导。返回类型后置语法是通过 auto 和 decltype 结合起来使用的。上面的 add 函数，使用新的语法可以写成：

template <typename T, typename U>auto add(T t, U u) -> decltype(t + u){    return t + u;}

为了进一步说明这个语法，再看另一个例子：

int& foo(int& i);float foo(float& f);template auto func(T& val) -> decltype(foo(val)){    return foo(val);}

如果说前一个例子中的 add 使用 C++98/03 的返回值写法还勉强可以完成，那么这个例子对于 C++ 而言就是不可能完成的任务了。

在这个例子中，使用 decltype 结合返回值后置语法很容易推导出了 foo(val) 可能出现的返回值类型，并将其用到了 func 上。返回值类型后置语法，是为了解决函数返回值类型依赖于参数而导致难以确定返回值类型的问题。有了这种语法以后，对返回值类型的推导就可以用清晰的方式(直接通过参数做运算)描述出来，而不需要像 C++98/03 那样使用晦涩难懂的写法。

返回值类型与函数类型不匹配_C++返回值类型后置（跟踪返回值类型）相关推荐

若a为int类型，且其值为3，则执行完表达式a+= a-= a*a后，a的值是
若a为int类型,且其值为3,则执行完表达式a+= a-= a*a后,a的值是 #include<stdio.h> int main() {int a=3; a+=a-=a*a;print ...
Spring（十八）：Spring AOP（二）：通知（前置、后置、返回、异常、环绕）
AspectJ支持5种类型的通知注解: @Before:前置通知,在方法执行之前执行: @After:后置通知,在方法执行之后执行: @AfterRunning:返回通知,在方法返回结果之后执行(因此 ...
SQL函数类型及函数使用大全
转载地址:http://www.cnblogs.com/moss_tan_jun/archive/2010/08/23/1806861.html 一旦成功地从表中检索出数据,就需要进一步操纵这些数据, ...
c++中运算符重载（加号运算，左移运算，前置后置++运算符，赋值运算，关系运算，函数运算）
运算符重载注意重载的运算符要易读内置的数据类型的表达式的运算符是不可以改变的不要重载&& 和 | | 运算符 =,[]和->运算符只能通过成员函数进行重载 << ...
printf函数输出多个printf 、前置加加或者后置加加
目录 (1)前置加加和后置加加的区别 (2)printf输出前置加加 (3)printf输出后置加加 (4)printf输出printf (1)前置加加和后置加加的区别首先我们先来了解一下前置加加和 ...
函数前置条件和后置条件
前置条件指调用者调用该函数之前必须满足的条件.一般来说,前后置条件都可以转化为assert语句. 比如传递个strcpy的参数必须都是有效指针,win32下调用socket之前,必须先调用WAStar ...
设置hash后导致的返回问题的解决方案
设置hash后导致的返回问题的解决方案参考文章: (1)设置hash后导致的返回问题的解决方案 (2)https://www.cnblogs.com/calvinjs/p/4928660.html ...
import_array()报错，返回值类型与函数类型不匹配
问题: C++调用python程序,导入python数组时import_array()出现返回值类型与函数类型不匹配. 解决办法: 首先环境必须要配置无误,保证有numpy包.如图,右键进入__mul ...
php 函数返回值mixed,认识函数的类型、参数与返回值
函数的类型.参数与返回值一.函数的基本语法语法 functionfunctionName(类型限定参数列表):返回值类型 { } 案例:计算两个数之和. functionsum(int$a,int$ ...

返回值类型与函数类型不匹配_C++返回值类型后置（跟踪返回值类型）

返回值类型与函数类型不匹配_C++返回值类型后置（跟踪返回值类型）相关推荐

最新文章

热门文章