使用一个参数的模板函数时出错（与 2 一起使用）

Question

我正在编写一个模板函数来打印出 c 样式数组的第一个元素。如果有两个模板参数，则该函数可以工作，但如果只有一个参数，则该函数会失败。

以下代码有效。该函数正确计算 c 样式数组的大小。

template<typename dummy, typename T>
void printfunc(const T &c){
    std::cout << sizeof(c)/sizeof(c[0]) << std::endl;  //prints 5 as desired
}
int main() {

 int arr[] = {1,2,3,4,5};
 printfunc<int>(arr);
 return 0;
}

下面的代码没有。使用 g++2a 编译器出现编译错误

template<typename T>
void printfunc(const T &c){
    std::cout << sizeof(c)/sizeof(c[0]);   //Compile Error
}
int main() {

 int arr[] = {1,2,3,4,5};
 printfunc<int>(arr);
 return 0;
}

更令人困惑的是，我使用template<typename T> 得到的编译错误与我执行以下操作时不同：

void printfunc(const int &c){
    std::cout << sizeof(c)/sizeof(c[0]);  //compile error
}
int main() {

 int arr[] = {1,2,3,4,5};
 printfunc(arr);
 return 0;
}

我只是用调用int的函数替换了template，应该是等价的，但是编译器报错不一样。

发生了什么事？

Answer 1

发生的情况是您尝试使用_T=int，因此函数参数变为const int& c。 int（或int的引用）上没有[0]之类的东西。

（如果您希望 c[0] 工作，因为 const int* c 工作，请记住 引用不是指针。引用是事物的“其他名称”，用于单个对象；指针指向缓冲区零个或一个或多个对象。）

当你指定的参数被称为_dummy时，_T留给编译器推导，不会犯同样的错误（传递int而不是数组类型）。

要么取出显式参数<int>，要么在函数参数中正确使用它（例如const T(&c)[N]与std::size_t非类型模板参数）。

顺便说一句，you are not permitted to use the name _T。我建议你完全去掉下划线。

Answer 2

对于这个模板函数

template<typename _dummy, typename _T>
void printfunc(const _T &c){
    std::cout << sizeof(c)/sizeof(c[0]) << std::endl;  //prints 5 as desired
}
int main() {

 int arr[] = {1,2,3,4,5};
 printfunc<int>(arr);
 return 0;
}

编译器从调用中提供的参数推断出第二个模板参数的类型

printfunc<int>(arr)

类型为int( & )[5]。

对于第二个模板函数和第三个非模板函数

template<typename T>
void printfunc(const T &c){
    std::cout << sizeof(c)/sizeof(c[0]);   //Compile Error
}

和

void printfunc(const int &c){
    std::cout << sizeof(c)/sizeof(c[0]);  //compile error
}

编译器发出错误，因为您在此调用中为模板函数显式指定了类型模板参数int

printfunc<int>(arr);

但使用int[5] 类型的表达式作为函数参数。或者，非模板函数需要 int 类型的左值，但您传递了 int[5] 类型的对象，该对象隐式转换为 int * 类型。此外，您不能将下标运算符用于标量整数对象

错误消息可能不同，因为在第一种情况下编译器处理模板函数，而在第二种情况下处理非模板函数。

对于非模板函数，编译器可能会在解析函数定义时发出错误，其中对 int 类型的对象使用了下标运算符。