Question

根据我的理解，const指针函数参数应该能够接受const和非const指针。在后一种情况下，通过指针修改值是非法的。

假设我具有以下模板功能

template <typename T1, typename T2>
decltype(auto) plus(T1 a, T2 b) {
    return a + b;
}

template <typename T1, typename T2>
decltype(auto) plus(const T1* a, const T2* b) {
    return *a + *b;
}

int main() {

    int a {2}, b {3};
    std::cout << plus(a, b) << std::endl;

    int *first { new int {2} }, *second { new int {3} };

    // it seems here that the return type is deduced to be void*?

    std::cout << plus(first, second) << std::endl;
}

第二个函数调用正确调用plus模板函数，该模板函数接受指针参数，但将返回类型推导为void*

但是，如果我将模板签名更改为

template <typename T1, typename T2>
decltype(auto) plus(T1* a, T2* b) {
    return *a + *b;
}

这将产生正确的结果。

这是怎么回事？

Answer 1

plus(first, second)调用第一个模板重载，因为它是更好的匹配。

在推导模板参数（第一拳得T1 == T2 == int*，第二拳得T1 == T2 == int）之后，这两种重载都是可行的。但是，对于这两个参数中的每个参数，第一个重载仅需要从左值到右值的转换，而第二个重载则需要从左值到右值的转换，然后是限定符转换（添加const）。

因此，对于第一次重载，两个参数的隐式转换顺序更好，因此可以通过重载分辨率进行选择。甚至不考虑功能模板的部分排序。

但是用T1 == T2 == int*调用第一个函数模板的格式不正确，因为如果a + b和a都是指针类型，则不允许b。您的编译器应该已经在这里给您一个错误。

有了第二个模板重载的替代签名，就不需要上述附加的资格转换，并且两个重载的参数的隐式转换顺序将相同。

因此，将考虑使用功能模板的部分排序来决定要选择的重载，并且由于第二个模板比第一个更专业，因此将选择第二个。

使用T1 == T2 == int后，它将按预期工作，因为*a + *b添加了两个int而不是两个指针，产生了返回类型int，因为{{1} }是prvalue。

非常量指针类型的参数未调用带有常量指针模板类型参数的函数

1 个答案: