Question

因为sizeof和templates都是编译时。什么是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]'
}

问题是什么？

Answer 1

如果你问“编译器如何知道将数组大小放入n”......表达式

const T (&arr)[n]

正在通过

int arr[11]

因此可以推断T为int而n为11。

如果你问它怎么知道arr有多大......

int arr[] = { 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21 };
cout << isInHaystack(arr, 7) << endl;

arr是一个数组。编译器知道它有多大。如果你在想“arr真的只是一个指针”，那不是真的。数组和指针被认为具有等价（参见K＆amp; R第5.3节），这并不意味着它们是相同的，但它们在有限数量的上下文中导致相同的行为。

在C和C ++中，数组能够衰减成指针，但在衰变发生之前它们仍然不是指针。

int arr[] = { 1, 3, 5, 7 };
int* arrp = arr; // decay
cout << isInHaystack(arr, 7); // Error.

请参阅http://c-faq.com/aryptr/aryptrequiv.html

传递模板数组时sizeof如何工作？

1 个答案: