模板代码返回类型重载无法编译。怎么了

Question

我正在尝试使用以下代码来重载一个简单的函数以适用于多种类型。但是，它无法编译。有人可以告诉我出了什么问题以及如何解决这个问题吗？

typedef struct str1_type
{
    int f1;
    int f2;
} STR1;

typedef struct str2_type
{
    char f1[100];
    char f2[100];
}STR2;

template <typename T1, typename T2>
T2 getFieldOffset(const T1& t, int i);

int main() {

    STR1 str1;
    STR2 str2;

    int i = getFieldOffset(str1,0);

    const char* test = getFieldOffset(str2,0);

}

template <typename T1, typename T2>
T2 getFieldOffset(const T1& t, int i)
{
    switch (i) {
        case 0:
            return t.f1;
        case 1:
            return t.f2;
        default:
        {
            cout << "Invalid index passed: i" << i << endl;
            return null;
        }
    }
}

这是错误消息：

test2.cpp：在函数“int main()”中：
test2.cpp:73: 错误：没有匹配的函数可用于调用“getFieldOffset(STR1&, int)”
test2.cpp:75: 错误：没有匹配的函数可用于调用“getFieldOffset(STR2&, int)”

test2.cpp：在函数“T2 getFieldOffset(const T1&, int)”中：
test2.cpp:90: 错误: 'null' 未在此范围内声明

Answer 1

template <typename T1, typename T2> 
T2 getFieldOffset(const T1& t, int i); 

只能从参数推导出模板参数 T1，因此在调用时必须在模板参数列表中显式提供模板参数 T2。

但是，如果您使用编写的函数模板，则必须为两个模板形参提供实参。您应该交换模板参数列表中 T1 和 T2 的位置，这样您只需指定 T2：

template <typename T2, typename T1> 
T2 getFieldOffset(const T1& t, int i);   

或者，使用更好的名称模板参数：

template <typename TReturn, typename T> 
TReturn getFieldOffset(const T& t, int i);  

现在您可以将其称为：

getFieldOffset<ReturnType>(str1,0); 

Answer 2

编译器无法推断返回类型。原因之一是 getFIeldOffset 可能返回一个不是 int 但可转换为 int 的值。您必须指定何时返回类型为：

getFieldOffset<STR2,int>(str2,0);

Answer 3

看起来你应该写 NULL 而不是 null 并且所有这些都会正常工作。

In function 'T2 getFieldOffset(const T1&, int)': test2.cpp:90: error: 'null' was not declared in this scope

问题在于模板实例化，编译器由于不正确的“null”而无法实例化模板，因此他不考虑使用模板作为函数调用的候选者的能力。

Answer 4

int i = getFieldOffset(str1,0);
const char* test = getFieldOffset(str2,0);

getFieldOffset 是一个函数模板，它采用两个类型参数。但在上面的代码中，您没有提供类型参数。您希望编译器推断它们。但编译器只能推断出函数参数类型，而不能推断出返回类型。因此出现了错误。

您必须提供两个类型参数：

int i = getFieldOffset<STR1, int>(str1,0);
const char* test = getFieldOffset<STR2, char*>(str2,0);

但是，如果您反转函数模板中类型的顺序为，

template <typename T1, typename T2>
T1 getFieldOffset(const T2& t, int i); //T1 (i.e 1st type) becomes returnType!!

那么在调用函数时您只能提供一种类型，即返回类型；另一种类型可以从函数参数推导出来：

int i = getFieldOffset<int>(str1,0);
const char* test = getFieldOffset<char*>(str2,0);