所以我需要一些帮助/提示来识别C++中的模板约束。下面是一些示例代码,共包含6个约束。我能找到明显的,但不能识别所有6…
template <class T>
T avg(const T a[], int size)
{
T sum = a[0];
for (int i = 1; i < size; i++)
sum += a[i];
return sum/size;
}
对每个约束或约束组做一个简短的解释会很好。谢谢你的帮助。
T
必须是对象类型,而不是引用,因为const T a[]
必须是有效的参数声明T
必须是可移动的或可复制的,因为它是返回类型- 由于
T sum = a[0]
,T
必须是可复制的 - 由于
sum += a[i]
,T
必须允许类型为T
的对象使用t += s
- 由于
sum/size
,T
必须可以被整数整除 - 分离的结果必须是
T
,或者必须至少隐式转换为T
,因为函数返回T
1-2。必须是T类型的数组。
3.大小必须是整数。
4.尺寸必须小于或等于a的长度。
5.接收返回的变量必须为T类型。
6.数组的长度必须大于或等于1。