gpt4 book ai didi

c++ - 传递模板数组时 sizeof 是如何工作的?

转载 作者:行者123 更新时间:2023-11-27 22:53:18 30 4
gpt4 key购买 nike

<分区>

因为 sizeof 和模板都是编译时的。 template 的第二个参数决定大小而不在调用函数中指定它是什么意思?

template <typename T, size_t n> bool isInHaystack(const T (&arr)[n], const T &needle)
{ /* I know const references are best with strings and non-primitives and should
be mitigated when using ints as in the example.*/
size_t i, size = sizeof arr / sizeof T; // how does it know n is the size?
for (i = 0; i < size; ++i)
if (arr[i] == needle)
return true;
return false;
}

int main(int argc, char **argv) {
int arr[] = { 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21 };
cout << isInHaystack(arr, 7) << endl;
isInHaystack<int, (size_t)(sizeof(arr) / sizeof(int))>(arr, 7); // this works, too


return 0;
}

这个size_t n在传递数组的时候是如何获取到它的值的?它如何在不明确提供的情况下知道?

为了更清楚一点,这不会编译:

template <typename T> bool foo(const T(&arr)[], const T needle) {
cout << sizeof arr << endl;
return true;
}
int main(){
int arr[] = {1,2,3};
foo(arr, 1); // Error: could not deduce template argument for 'const T (&)[]' from 'int [21]'
}

问题是什么?

30 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com