溢出跟模板函数有什么必然关系？普通一个语句a+b也可能溢出啊

可以THROW抛出异常

Quote: 引用 1 楼 sdghchj 的回复:

溢出跟模板函数有什么必然关系？普通一个语句a+b也可能溢出啊

引用 2 楼 zgl7903 的回复:

可以THROW抛出异常

你们真是误人子弟，有方法的：

在定义模板函数时，用于声明依赖模板参数的变量类型。



template <typename _Tx,typename _Ty>

void Multiply(_Tx x, _Ty y)

{

    auto v = x*y;

    std::cout << v;

}



若不使用auto变量来声明v，那这个函数就难定义啦，不到编译的时候，谁知道x*y的真正类型是什么呢？

模板函数依赖于模板参数的返回值



template <typename _Tx, typename _Ty>

auto multiply(_Tx x, _Ty y)->decltype(x*y)

{

    return x*y;

}



当模板函数的返回值依赖于模板的参数时，我们依旧无法在编译代码前确定模板参数的类型，故也无从知道返回值的类型，这时我们可以使用auto。格式如上所示。

decltype操作符用于查询表达式的数据类型，也是C++11标准引入的新的运算符，其目的也是解决泛型编程中有些类型由模板参数决定，而难以表示它的问题。

auto在这里的作用也称为返回值占位，它只是为函数返回值占了一个位置，真正的返回值是后面的decltype(_Tx*_Ty)。为何要将返回值后置呢？如果没有后置，则函数声明时为：



decltype(x*y)multiply(_Tx x, _Ty y)

链接：https://www.cnblogs.com/KunLunSu/p/7861330.html

Quote: 引用 1 楼 sdghchj 的回复:

溢出跟模板函数有什么必然关系？普通一个语句a+b也可能溢出啊

引用 2 楼 zgl7903 的回复:

可以THROW抛出异常

你们真是误人子弟，有方法的：

在定义模板函数时，用于声明依赖模板参数的变量类型。



template <typename _Tx,typename _Ty>

void Multiply(_Tx x, _Ty y)

{

    auto v = x*y;

    std::cout << v;

}



若不使用auto变量来声明v，那这个函数就难定义啦，不到编译的时候，谁知道x*y的真正类型是什么呢？

模板函数依赖于模板参数的返回值



template <typename _Tx, typename _Ty>

auto multiply(_Tx x, _Ty y)->decltype(x*y)

{

    return x*y;

}



当模板函数的返回值依赖于模板的参数时，我们依旧无法在编译代码前确定模板参数的类型，故也无从知道返回值的类型，这时我们可以使用auto。格式如上所示。

decltype操作符用于查询表达式的数据类型，也是C++11标准引入的新的运算符，其目的也是解决泛型编程中有些类型由模板参数决定，而难以表示它的问题。

auto在这里的作用也称为返回值占位，它只是为函数返回值占了一个位置，真正的返回值是后面的decltype(_Tx*_Ty)。为何要将返回值后置呢？如果没有后置，则函数声明时为：



decltype(x*y)multiply(_Tx x, _Ty y)

链接：https://www.cnblogs.com/KunLunSu/p/7861330.html

Quote: 引用 1 楼 sdghchj 的回复:

溢出跟模板函数有什么必然关系？普通一个语句a+b也可能溢出啊

引用 2 楼 zgl7903 的回复:

可以THROW抛出异常

你们真是误人子弟，有方法的：

在定义模板函数时，用于声明依赖模板参数的变量类型。



template <typename _Tx,typename _Ty>

void Multiply(_Tx x, _Ty y)

{

    auto v = x*y;

    std::cout << v;

}



若不使用auto变量来声明v，那这个函数就难定义啦，不到编译的时候，谁知道x*y的真正类型是什么呢？

模板函数依赖于模板参数的返回值



template <typename _Tx, typename _Ty>

auto multiply(_Tx x, _Ty y)->decltype(x*y)

{

    return x*y;

}



当模板函数的返回值依赖于模板的参数时，我们依旧无法在编译代码前确定模板参数的类型，故也无从知道返回值的类型，这时我们可以使用auto。格式如上所示。

decltype操作符用于查询表达式的数据类型，也是C++11标准引入的新的运算符，其目的也是解决泛型编程中有些类型由模板参数决定，而难以表示它的问题。

auto在这里的作用也称为返回值占位，它只是为函数返回值占了一个位置，真正的返回值是后面的decltype(_Tx*_Ty)。为何要将返回值后置呢？如果没有后置，则函数声明时为：



decltype(x*y)multiply(_Tx x, _Ty y)

链接：https://www.cnblogs.com/KunLunSu/p/7861330.html

Quote: 引用 1 楼 sdghchj 的回复:

溢出跟模板函数有什么必然关系？普通一个语句a+b也可能溢出啊

引用 2 楼 zgl7903 的回复:

可以THROW抛出异常

你们真是误人子弟，有方法的：

在定义模板函数时，用于声明依赖模板参数的变量类型。



template <typename _Tx,typename _Ty>

void Multiply(_Tx x, _Ty y)

{

    auto v = x*y;

    std::cout << v;

}



若不使用auto变量来声明v，那这个函数就难定义啦，不到编译的时候，谁知道x*y的真正类型是什么呢？

模板函数依赖于模板参数的返回值



template <typename _Tx, typename _Ty>

auto multiply(_Tx x, _Ty y)->decltype(x*y)

{

    return x*y;

}



当模板函数的返回值依赖于模板的参数时，我们依旧无法在编译代码前确定模板参数的类型，故也无从知道返回值的类型，这时我们可以使用auto。格式如上所示。

decltype操作符用于查询表达式的数据类型，也是C++11标准引入的新的运算符，其目的也是解决泛型编程中有些类型由模板参数决定，而难以表示它的问题。

auto在这里的作用也称为返回值占位，它只是为函数返回值占了一个位置，真正的返回值是后面的decltype(_Tx*_Ty)。为何要将返回值后置呢？如果没有后置，则函数声明时为：



decltype(x*y)multiply(_Tx x, _Ty y)

链接：https://www.cnblogs.com/KunLunSu/p/7861330.html

楼主自己看看，ini*int是什么类型？

Quote: 引用 12 楼 weixin_44749415 的回复:

楼主自己看看，ini*int是什么类型？

楼上说了 还是int类型 如果溢出了 结果就不正确了，一般你们 int*int 用什么类型接？

Quote: 引用 16 楼 jiht594 的回复:

哦~~ 也就是说 语言层面是干不了这事的 最终还是要靠人的自觉和意识对吧

Quote: 引用 16 楼 jiht594 的回复:

哦~~ 也就是说 语言层面是干不了这事的 最终还是要靠人的自觉和意识对吧

在现实世界中，除时间和空间可能是无限的以外，其它任何事物都是有限的。