c++ - 编译器如何处理这个没有大小参数的模板函数

Question

在下面的代码中，我有一个必须传递长度参数的函数，如下所示:

int recv(char* buf, int len);

但是一个方便的方法是像这样写一个辅助函数:

    template <size_t N>
    int recv(char(&array)[N]) {
        return recv(array, N);
    }

这意味着您可以传递一个数组，而编译器以某种方式“知道”大小，因此您不必传递它。

但是之前用过模板的时候，需要传类型，eg

std::vector<int> myvec;

但是它是如何工作的呢？在内部，编译器正在做什么来解决这个问题？此功能的名称是什么？

请解释语法。

#include <string.h>
#include <iostream>

class test_recv
{
public:
    test_recv() {
        strcpy(arr, "ABCDEFGHIJKLMNOPQRSTUVWXYZ");
    }
    int recv(char* buf, int len) {
        int tmp = pos;
        while (len-- && pos < 26)
            *buf++ = arr[pos++];

        return pos - tmp;
    }
    template <size_t N>
    int recv(char(&array)[N]) {
        return recv(array, N);
    }

private:
    int pos = 0;
    char arr[26+1];
};


int main() {
    test_recv test;
    char buffer[10];
    int bytes;
    while ((bytes = test.recv(buffer, 10)) != 0) {
        for (int i = 0; i < bytes; ++i)
            std::cout << buffer[i];
    }

    std::cout << '\n';
    test_recv test2;
    char buffer2[10];
    while ((bytes = test2.recv(buffer2)) != 0) {
        for (int i = 0; i < bytes; ++i)
            std::cout << buffer2[i];
    }
}

Answer 1

此功能称为 "template argument deduction" .有关详细信息，请参阅链接。

简短版本:如果在调用模板函数时，模板参数(类型，或者在您的情况下，数组大小)可以从调用函数的参数(在您的情况下，实际数组)推导出来，您不必明确指定它们。